Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
OČENÁŠEK, P. TRCHALÍK, R.
Originální název
The Use of Modal Logics in the Security Protocols Analysis
Typ
článek ve sborníku ve WoS nebo Scopus
Jazyk
angličtina
Originální abstrakt
Traditionally, security protocols have been designed and verified using various techniques. Formal logics have been used to identify a number of flaws in protocols previously considered to be secure. The selection of proper modal logic is a crucial goal in the protocol analysis process. This paper gives a comparative study of modal logics, which are widely used in modeling of security protocols.
Klíčová slova
Modal Logic, Security Protocol, Analysis
Autoři
OČENÁŠEK, P.; TRCHALÍK, R.
Rok RIV
2006
Vydáno
27. 4. 2006
Nakladatel
Faculty of Electrical Engineering and Communication BUT
Místo
Brno
ISBN
80-214-3163-6
Kniha
Proceedings of the 12th Conference STUDENT EEICT 2006
Strany od
395
Strany do
399
Strany počet
5
BibTex
@inproceedings{BUT22192, author="Pavel {Očenášek} and Roman {Trchalík}", title="The Use of Modal Logics in the Security Protocols Analysis", booktitle="Proceedings of the 12th Conference STUDENT EEICT 2006", year="2006", pages="395--399", publisher="Faculty of Electrical Engineering and Communication BUT", address="Brno", isbn="80-214-3163-6" }