Publication Details

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

MATOUŠEK, P. Nástroje pro analýzu bezpečnostních protokolů. Brno: 2006. p. 0-0.

Czech title

Type

lecture

Language

English

Authors

Matoušek Petr, doc. Ing., Ph.D., M.A. (DIFS)

URL

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

Keywords

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

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.

Published

2006

Pages

Place

Brno

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