Detail publikace

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.
Název česky
Použití modálních logik při analýze bezepčnostních protokolů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (FIT)
Trchalík Roman, Mgr., Ph.D. (CK-SZZ)
Klíčová slova

Modal Logic, Security Protocol, Analysis

Abstrakt

Práce se zabývá použitím modálních logik při analýze bezpečnostních protokolů.

Rok
2006
Strany
395–399
Sborník
Proceedings of the 12th Conference STUDENT EEICT 2006
ISBN
80-214-3163-6
Vydavatel
Faculty of Electrical Engineering and Communication BUT
Místo
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"
}
Nahoru