Detail publikačního výsledku

Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison

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

Original Title

Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison

English Title

Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

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.

English abstract

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.

Keywords

authentication protocol,modal logic, design, verification

Key words in English

authentication protocol,modal logic, design, verification

Authors

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

Released

28.05.2006

Publisher

VŠB-Technical University of Ostrava

Location

Ostrava

ISBN

80-248-1066-2

Book

Proceedings of the 7th International Carpathian Control Conference

Pages from

401

Pages to

404

Pages count

4

URL

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

Full text in the Digital Library

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