Publication Details

Nástroje pro analýzu bezpečnostních protokolů

MATOUŠEK Petr. Tools for Verification of Security Protocols. Brno, 2006.
Czech title
Nástroje pro analýzu bezpečnostních protokolů
Type
lecture
Language
english
Authors
Matoušek Petr, doc. Ing., Ph.D., M.A. (DIFS FIT BUT)
URL
Keywords

security protocols, static analysis, verification, LySa, OFMC, cryptography

Abstract

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.

Published
2006
Pages
29
Place
Brno, CZ
Back to top