Detail publikace

Analysis of Authentication Protocols with Scyter: Case Study

OČENÁŠEK, P. Analysis of Authentication Protocols with Scyter: Case Study. Human Interface and the Management of Information. Interacting with Information. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2011. p. 359-365. ISBN: 978-3-642-21792-0.
Název česky
Analýza autentizačních protokolů pomocí Scyter: případová studie
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (UIFS)
Klíčová slova

Analysis, authentication protocol, Scyter, case study

Abstrakt

Tento článek se zabývá možnostmi analýzy autentizačních protokolů pomocí nástroje Scyter. Obsahuje také případovou studii, na které jsou ukázány jednotlivé možnosti analýzy.

Rok
2011
Strany
359–365
Sborník
Human Interface and the Management of Information. Interacting with Information
Řada
Lecture Notes in Computer Science
Svazek
6771
ISBN
978-3-642-21792-0
Vydavatel
Springer Verlag
Místo
Berlin Heidelberg
BibTeX 
@inproceedings{BUT76280,
  author="Pavel {Očenášek}",
  title="Analysis of Authentication Protocols with Scyter: Case Study",
  booktitle="Human Interface and the Management of Information. Interacting with Information",
  year="2011",
  series="Lecture Notes in Computer Science",
  volume="6771",
  pages="359--365",
  publisher="Springer Verlag",
  address="Berlin Heidelberg",
  isbn="978-3-642-21792-0"
}
Nahoru