Detail publikace

Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison

OČENÁŠEK, P.; TRCHALÍK, R. Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison. In Proceedings of the 7th International Carpathian Control Conference. Ostrava: VŠB-Technical University of Ostrava, 2006. p. 401-404. ISBN: 80-248-1066-2.
Název česky
Modální logiky používané pro analýzu autentizačních protokolů: přehled a srovnání
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (FIT)
Trchalík Roman, Mgr., Ph.D. (CK-SZZ)
URL
Klíčová slova

authentication protocol, modal logic, design, verification

Abstrakt

Článek pojednává o modálních logikách používaných pro analýzu bezpečnostních protokolů.

Rok
2006
Strany
401–404
Sborník
Proceedings of the 7th International Carpathian Control Conference
ISBN
80-248-1066-2
Vydavatel
VŠB-Technical University of Ostrava
Místo
Ostrava
BibTeX 
@inproceedings{BUT22182,
  author="Pavel {Očenášek} and Roman {Trchalík}",
  title="Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison",
  booktitle="Proceedings of the 7th International Carpathian Control Conference",
  year="2006",
  pages="401--404",
  publisher="VŠB-Technical University of Ostrava",
  address="Ostrava",
  isbn="80-248-1066-2"
}
Nahoru