Článek ve sborníku konference

 
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, CZ, VŠB TU, 2006, s. 401-404, ISBN 80-248-1066-2
Jazyk publikace:angličtina
Název publikace:Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison
Název (cs):Modální logiky používané pro analýzu autentizačních protokolů: přehled a srovnání
Strany:401-404
Sborník:Proceedings of the 7th International Carpathian Control Conference
Konference:7th International Carpathian Control Conference: ICCC 2006
Místo vydání:Ostrava, CZ
Rok:2006
ISBN:80-248-1066-2
Vydavatel:VŠB Technická univerzita Ostrava
URL:http://www.icc-conf.cz/conference/iccc2006/RegForm/PaperFree.asp?Unit=3&IDPaper=1474 [HTML]
Klíčová slova
authentication protocol, modal logic, design, verification
Anotace
Článek pojednává o modálních logikách používaných pro analýzu bezpečnostních protokolů.
BibTeX:
@INPROCEEDINGS{
   author = {Pavel Očenášek and Roman Trchalí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ŠB-Technical University of Ostrava},
   ISBN = {80-248-1066-2},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8023}
}