Publication detail

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

MATOUŠEK, P.

Original Title

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

Type

lecture

Language

English

Original Abstract

Security Protocols are communication sequences for data exchangebetween entities that need to verify their identity, exchange keys etc.Design of a security protocol must be correct and attack-proof. In ourtalk we introduce different ways how to describe and analyse securityprotocols. An example of model checker OFMS/AVISPA will be demonstrated.

Keywords

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

Authors

MATOUŠEK, P.

Released

4. 12. 2006

Location

Brno

Pages count

29

URL

http://www.fit.vutbr.cz/~matousp/doc/2006/sec_protocols.pdf

BibTex

@misc{BUT64737,
  author="Petr {Matoušek}",
  title="Nástroje pro analýzu bezpečnostních protokolů",
  year="2006",
  pages="29",
  address="Brno",
  url="http://www.fit.vutbr.cz/~matousp/doc/2006/sec_protocols.pdf",
  note="lecture"
}