Detail publikačního výsledku

Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison

OČENÁŠEK, P.; TRCHALÍK, R.

Originální název

Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison

Anglický název

Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison

Druh

Stať ve sborníku mimo WoS a Scopus

Originální 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.

Anglický 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

Klíčová slova v angličtině

authentication protocol,modal logic, design, verification

Autoři

OČENÁŠEK, P.; TRCHALÍK, R.

Vydáno

28.05.2006

Nakladatel

VŠB-Technical University of Ostrava

Místo

Ostrava

ISBN

80-248-1066-2

Kniha

Proceedings of the 7th International Carpathian Control Conference

Strany od

401

Strany do

404

Strany počet

4

URL

http://www.icc-conf.cz/conference/iccc2006/RegForm/PaperFree.asp?Unit=3&IDPaper=1474

Plný text v Digitální knihovně

http://hdl.handle.net/

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"
}