Publication Details

The Use of Modal Logics in the Security Protocols Analysis

OČENÁŠEK, P.; TRCHALÍK, R. The Use of Modal Logics in the Security Protocols Analysis. In Proceedings of the 12th Conference STUDENT EEICT 2006. Brno: Faculty of Electrical Engineering and Communication BUT, 2006. p. 395-399. ISBN: 80-214-3163-6.

Czech title

Použití modálních logik při analýze bezepčnostních protokolů

Type

conference paper

Language

English

Authors

Očenášek Pavel, Mgr. Ing., Ph.D. (DIFS)
Trchalík Roman, Mgr., Ph.D. (CM-SFE)

Keywords

Modal Logic, Security Protocol, Analysis

Abstract

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.

Published

2006

Pages

395–399

Proceedings

Proceedings of the 12th Conference STUDENT EEICT 2006

ISBN

80-214-3163-6

Publisher

Faculty of Electrical Engineering and Communication BUT

Place

Brno

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