Detail publikace

The Use of Modal Logics in the Security Protocols Analysis

OČENÁŠEK Pavel a TRCHALÍK Roman. The Use of Modal Logics in the Security Protocols Analysis. In: Proceedings of the 12th Conference STUDENT EEICT 2006. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2006, s. 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
angličtina
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (UIFS FIT VUT)
Trchalík Roman, Mgr., Ph.D. (UIFS FIT VUT)
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
Konference
Student EEICT 2006, Brno, CZ
ISBN
80-214-3163-6
Vydavatel
Fakulta elektrotechniky a komunikačních technologií VUT v Brně
Místo
Brno, CZ
BibTeX 
@INPROCEEDINGS{FITPUB8053,
   author = "Pavel O\v{c}en\'{a}\v{s}ek and Roman Trchal\'{i}k",
   title = "The Use of Modal Logics in the Security Protocols Analysis",
   pages = "395--399",
   booktitle = "Proceedings of the 12th Conference STUDENT EEICT 2006",
   year = 2006,
   location = "Brno, CZ",
   publisher = "Faculty of Electrical Engineering and Communication BUT",
   ISBN = "80-214-3163-6",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8053"
}
Nahoru