Result Details

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

MATOUŠEK, P. Nástroje pro analýzu bezpečnostních protokolů. Brno: 2006. 29 p.
Type
lecture
Language
English
Authors
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

URL
Published
2006
Pages
29
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"
}
Projects
A Framework for Formal Specifications and Prototyping of Information System's Network Applications, GACR, Standardní projekty, GA102/05/0723, start: 2005-01-01, end: 2007-12-31, completed
Research groups
Departments
Back to top