Detail výsledku

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. Proceedings of the 7th International Carpathian Control Conference. Ostrava: VŠB-Technical University of Ostrava, 2006. p. 401-404. ISBN: 80-248-1066-2.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D., UIFS (FIT)
Trchalík Roman, Mgr., Ph.D., UIFS (FIT)
Abstrakt

Weaknesses inauthentication protocols (AP) are hard to identify, as they can be the resultof subtle design flaws. The formal verification of authentication protocols maybe 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 providesa survey through the world of modal logics used in AP and gives a comparison ofdifferent variants of modal logics and their target areas of application.

Klíčová slova

authentication protocol,modal logic, design, verification

URL
Rok
2006
Strany
401–404
Sborník
Proceedings of the 7th International Carpathian Control Conference
Konference
7th International Carpathian Control Conference: ICCC 2006
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",
  url="http://www.icc-conf.cz/conference/iccc2006/RegForm/PaperFree.asp?Unit=3&IDPaper=1474"
}
Projekty
Architektury sítí pro vestavěné systémy, GAČR, Standardní projekty, GA102/05/0467, zahájení: 2005-01-01, ukončení: 2007-12-31, ukončen
Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů, GAČR, Doktorské granty, GD102/05/H050, zahájení: 2005-01-01, ukončení: 2008-12-31, ukončen
Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů, GAČR, Standardní projekty, GA102/05/0723, zahájení: 2005-01-01, ukončení: 2007-12-31, ukončen
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