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
Matoušek Petr, doc. Ing., Ph.D., M.A., DIFS (FIT)
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
NES@FIT - Networks and distributed systems research group (RG NES@FIT)
Departments
Department of Information Systems (DIFS)
Back to top