Papers

Očenášek, P.: Analysis of Authentication Protocols with Scyter: Case Study, In: Human Interface and the Management of Information. Interacting with Information, Berlin Heidelberg, DE, Springer, 2011, p. 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č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?id=9497}
}

Your IPv4 address: 50.16.166.175
Switch to IPv6 connection

DNSSEC [dnssec]