Detail publikace

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.
Název česky
Nástroje pro analýzu bezpečnostních protokolů
Typ
přednáška
Jazyk
anglicky
Autoři
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS)
URL
Klíčová slova

bezpečnostní protokol, statická analýza, verifikace, LySa, OFMC, kryptografie

Abstrakt

Bezpečností protokoly jsou komunikační sekvence, ktere slouží k výměnědat mezi entitami za účelem ověření identity, vyměny šifrovacího klíčeapod. Při návrhu těchto protokolů je potřeba ověřit, zda výměna dat jekorektní a odolná proti různým útokům (podvržení dat, zachycení paketu,předstírání identity). V semináři představíme způsoby formálního popisubezpečnostních protokolů a možnosti analýzy návrhů. Ukážeme také některéverifikační nástroje (např. model checker OFMC/AVISPA).

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",
  note="lecture"
}
Nahoru