Publication Details

An Approach for Security Protocol Design Based on Zero-knowledge Primitives Composition

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. Lecture Notes in Computer Science, vol. 6771. Berlin Heidelberg: Springer Verlag, 2011, pp. 374-378. ISBN 978-3-642-21792-0.
Czech title
Přístup pro návrh bezpečnostních protokolů založený na zero-knowledge protokolech
Type
conference paper
Language
english
Authors
Keywords

Zero knowledge, Security Protocol, Automation, Implementation.

Abstract
  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.
Published
2011
Pages
374-378
Proceedings
Human Interface and the Management of Information. Interacting with Information
Series
Lecture Notes in Computer Science
Volume
6771
Conference
HCII 2011, Orlando, US
ISBN
978-3-642-21792-0
Publisher
Springer Verlag
Place
Berlin Heidelberg, DE
BibTeX
@INPROCEEDINGS{FITPUB9496,
   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 = "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/9496"
}
Back to top