Detail publikace

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

MATOUŠEK, P.

Originální název

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

Typ

přednáška

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

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

Autoři

MATOUŠEK, P.

Vydáno

4. 12. 2006

Místo

Brno

Strany počet

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