Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
MATOUŠEK, P.
Originální název
Tools for Verification of Security Protocols
Typ
přednáška
Jazyk
angličtina
Originální abstrakt
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.
Klíčová slova
security protocols, static analysis, verification, LySa, OFMC, cryptography
Autoři
Vydáno
4. 12. 2006
Místo
Brno
Strany počet
29
URL
http://www.fit.vutbr.cz/~matousp/doc/2006/sec_protocols.pdf
BibTex
@misc{BUT64737, author="Petr {Matoušek}", title="Tools for Verification of Security Protocols", year="2006", pages="29", address="Brno", url="http://www.fit.vutbr.cz/~matousp/doc/2006/sec_protocols.pdf", note="lecture" }