Detail publikace

Analysis of Authentication Protocols with Scyter: Case Study

OČENÁŠEK Pavel. Analysis of Authentication Protocols with Scyter: Case Study. In: Human Interface and the Management of Information. Interacting with Information. Lecture Notes in Computer Science, roč. 6771. Berlin Heidelberg: Springer Verlag, 2011, s. 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
angličtina
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (UIFS FIT VUT)
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
Konference
HCII 2011, Orlando, US
ISBN
978-3-642-21792-0
Vydavatel
Springer Verlag
Místo
Berlin Heidelberg, DE
BibTeX 
@INPROCEEDINGS{FITPUB9497,
   author = "Pavel O\v{c}en\'{a}\v{s}ek",
   title = "Analysis of Authentication Protocols with Scyter: Case Study",
   pages = "359--365",
   booktitle = "Human Interface and the Management of Information. Interacting with Information",
   series = "Lecture Notes in Computer Science",
   volume = 6771,
   year = 2011,
   location = "Berlin Heidelberg, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-642-21792-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9497"
}
Nahoru