Článek ve sborníku konference

OČENÁŠEK Pavel. Analysis of Authentication Protocols with Scyter: Case Study. In: Human Interface and the Management of Information. Interacting with Information. Berlin Heidelberg: Springer Verlag, 2011, s. 359-365. ISBN 978-3-642-21792-0.
Jazyk publikace:angličtina
Název publikace:Analysis of Authentication Protocols with Scyter: Case Study
Název (cs):Analýza autentizačních protokolů pomocí Scyter: případová studie
Strany:359-365
Sborník:Human Interface and the Management of Information. Interacting with Information
Konference:HCII 2011
Řada knih:LNCS 6771
Místo vydání:Berlin Heidelberg, DE
Rok:2011
ISBN:978-3-642-21792-0
Vydavatel:Springer Verlag
Klíčová slova
Analysis, authentication protocol, Scyter, case study
Anotace
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.
BibTeX:
@INPROCEEDINGS{
   author = {Pavel Očenáš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 = {LNCS 6771},
   year = {2011},
   location = {Berlin Heidelberg, DE},
   publisher = {Springer Verlag},
   ISBN = {978-3-642-21792-0},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=9497}
}

Vaše IPv4 adresa: 23.23.8.131
Přepnout na IPv6 spojení

DNSSEC [dnssec]