Conference paper

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, pp. 359-365. ISBN 978-3-642-21792-0.
Publication language:english
Original title:Analysis of Authentication Protocols with Scyter: Case Study
Title (cs):Analýza autentizačních protokolů pomocí Scyter: případová studie
Pages:359-365
Proceedings:Human Interface and the Management of Information. Interacting with Information
Conference:HCII 2011
Series:LNCS 6771
Place:Berlin Heidelberg, DE
Year:2011
ISBN:978-3-642-21792-0
Publisher:Springer Verlag
Keywords
Analysis, authentication protocol, Scyter, case study
Annotation
The paper deals with the authentication protocol analysis using Scyter. The paper also includes a case-study that shows the analysis process step-by-step.
BibTeX:
@INPROCEEDINGS{
   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 = {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.en.iso-8859-2?id=9497}
}

Your IPv4 address: 54.167.202.184
Switch to IPv6 connection

DNSSEC [dnssec]