Lecture

MATOUŠEK Petr. Tools for Verification of Security Protocols. Brno, 2006.
Publication language:english
Original title:Nástroje pro analýzu bezpečnostních protokolů
Title (cs):Nástroje pro analýzu bezpečnostních protokolů
Pages:29
Place:Brno, CZ
Year:2006
URL:http://www.fit.vutbr.cz/~matousp/doc/2006/sec_protocols.pdf [PDF]
Keywords
security protocols, static analysis, verification, LySa, OFMC, cryptography
Annotation
Security Protocols are communication sequences for data exchange between entities that need to verify their identity, exchange keys etc. Design of a security protocol must be correct and attack-proof. In our talk we introduce different ways how to describe and analyse security protocols. An example of model checker OFMS/AVISPA will be demonstrated.

Your IPv4 address: 3.226.251.81
Switch to https