Conference paper

OČENÁŠEK Pavel. An Approach for Security Protocol Design Based on Zero-knowledge Primitives Composition. In: Human Interface and the Management of Information. Interacting with Information. Berlin Heidelberg: Springer Verlag, 2011, pp. 374-378. ISBN 978-3-642-21792-0.
Publication language:english
Original title:An Approach for Security Protocol Design Based on Zero-knowledge Primitives Composition
Title (cs):Přístup pro návrh bezpečnostních protokolů založený na zero-knowledge protokolech
Pages:374-378
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
Zero knowledge, Security Protocol, Automation, Implementation.
Annotation
  1. The paper deals with automated methods for the design of security protocols and their design using zero knowledge protocols, or protocols, where it is possible to use zero knowledge protocols such as subprotocols.. Specific emphasis is placed on the use of compositional method. The paper also include the example of protocol design.
BibTeX:
@INPROCEEDINGS{
   author = {Pavel O{\v{c}}en{\'{a}}{\v{s}}ek},
   title = {An Approach for Security Protocol Design Based on
	Zero-knowledge Primitives Composition},
   pages = {374--378},
   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=9496}
}

Your IPv4 address: 34.229.24.100
Switch to https