Publication Details

Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison

OČENÁŠEK Pavel and 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-Technical University of Ostrava, 2006, pp. 401-404. ISBN 80-248-1066-2.
Czech title
Modální logiky používané pro analýzu autentizačních protokolů: přehled a srovnání
Type
conference paper
Language
english
Authors
Očenášek Pavel, Mgr. Ing., Ph.D. (DIFS FIT BUT)
Trchalík Roman, Mgr., Ph.D. (DIFS FIT BUT)
URL
Keywords

authentication protocol, modal logic, design, verification

Abstract

Weaknesses in authentication protocols (AP) are hard to identify, as they can be the result of subtle design flaws. The formal verification of authentication protocols may be done in two ways. One possibility is to use a modal logic of authentication. The other possibility is to use general purpose formal methods. This paper provides a survey through the world of modal logics used in AP and gives a comparison of different variants of modal logics and their target areas of application.

Published
2006
Pages
401-404
Proceedings
Proceedings of the 7th International Carpathian Control Conference
Conference
7th International Carpathian Control Conference: ICCC 2006, Rožnov pod Radhoštěm, CZ
ISBN
80-248-1066-2
Publisher
VŠB-Technical University of Ostrava
Place
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"
}
Back to top