Detail výsledku

Verifikace bezpečnostních protokolů

OČENÁŠEK, P. Verifikace bezpečnostních protokolů. Proceedings of the 9th Conference and Competition STUDENT EEICT 2003. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2003. s. 211-213. ISBN: 80-214-2377-3.
Název anglicky
Verification of Security Protocols
Typ
článek ve sborníku konference
Jazyk
česky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D.
Abstrakt

Práce se zabývá analýzou metod používaných k verifikaci bezpečnostních protokolů.

Abstrakt anglicky

Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified in detail, we cannot be certain what constitutes a flaw. The paper attempts to draw some general lessons on the use of formalism. It outlines the problem area, emphasizing the notion of freshness. It describes how a protocol can be specified using several formal methods.

Klíčová slova

formální verifikace, bezpečnostní protokoly

Klíčová slova anglicky

formal verification, security protocols

Rok
2003
Strany
211–213
Sborník
Proceedings of the 9th Conference and Competition STUDENT EEICT 2003
Konference
Student EEICT 2003
ISBN
80-214-2377-3
Vydavatel
Fakulta elektrotechniky a komunikačních technologií VUT v Brně
Místo
Brno
BibTeX 
@inproceedings{BUT14207,
  author="Pavel {Očenášek}",
  title="Verifikace bezpečnostních protokolů",
  booktitle="Proceedings of the 9th Conference and Competition STUDENT EEICT 2003",
  year="2003",
  pages="211--213",
  publisher="Fakulta elektrotechniky a komunikačních technologií VUT v Brně",
  address="Brno",
  isbn="80-214-2377-3"
}
Výzkumné skupiny
NES@FIT - Výzkumná skupina počítačové sítě (VZ NES@FIT)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru