Publication detail

Tools for Verification of Security Protocols

MATOUŠEK, P.

Original Title

Tools for Verification of Security Protocols

Type

lecture

Language

English

Original 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.

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="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"
}