Detail výsledku

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.
Typ
přednáška
Jazyk
anglicky
Autoři
Matoušek Petr, doc. Ing., Ph.D., M.A., UIFS (FIT)
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

URL
Rok
2006
Strany
29
Místo
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"
}
Projekty
Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů, GAČR, Standardní projekty, GA102/05/0723, zahájení: 2005-01-01, ukončení: 2007-12-31, ukončen
Výzkumné skupiny
NES@FIT - Výzkumná skupina počítačové sítě (VZ NES@FIT)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru