Detail publikace

Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison

OČENÁŠEK Pavel a TRCHALÍK Roman. Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison. In: Proceedings of the 7th International Carpathian Control Conference. Ostrava: VŠB Technická univerzita Ostrava, 2006, s. 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
angličtina
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (UIFS FIT VUT)
Trchalík Roman, Mgr., Ph.D. (UIFS FIT VUT)
URL
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
Konference
7th International Carpathian Control Conference: ICCC 2006, Rožnov pod Radhoštěm, CZ
ISBN
80-248-1066-2
Vydavatel
VŠB Technická univerzita Ostrava
Místo
Ostrava, CZ
BibTeX 
@INPROCEEDINGS{FITPUB8023,
   author = "Pavel O\v{c}en\'{a}\v{s}ek and Roman Trchal\'{i}k",
   title = "Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison",
   pages = "401--404",
   booktitle = "Proceedings of the 7th International Carpathian Control Conference",
   year = 2006,
   location = "Ostrava, CZ",
   publisher = "V\v{S}B-Technical University of Ostrava",
   ISBN = "80-248-1066-2",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8023"
}
Nahoru