Conference paper

OČENÁŠEK Pavel and TRCHALÍK Roman. 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, pp. 395-399. ISBN 80-214-3163-6.
Publication language:english
Original title:The Use of Modal Logics in the Security Protocols Analysis
Title (cs):Použití modálních logik při analýze bezepčnostních protokolů
Pages:395-399
Proceedings:Proceedings of the 12th Conference STUDENT EEICT 2006
Conference:Student EEICT 2006
Place:Brno, CZ
Year:2006
ISBN:80-214-3163-6
Publisher:Faculty of Electrical Engineering and Communication BUT
Keywords
Modal Logic, Security Protocol, Analysis
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=8053}
}

Your IPv4 address: 3.227.233.6
Switch to https