Publication Details

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

OČENÁŠEK, P. An Approach for Security Protocol Design Based on Zero-knowledge Primitives Composition. Human Interface and the Management of Information. Interacting with Information. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2011. p. 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
ISBN
978-3-642-21792-0
Publisher
Springer Verlag
Place
Berlin Heidelberg
BibTeX
@inproceedings{BUT76279,
  author="Pavel {Očenášek}",
  title="An Approach for Security Protocol Design Based on Zero-knowledge Primitives Composition",
  booktitle="Human Interface and the Management of Information. Interacting with Information",
  year="2011",
  series="Lecture Notes in Computer Science",
  volume="6771",
  pages="374--378",
  publisher="Springer Verlag",
  address="Berlin Heidelberg",
  isbn="978-3-642-21792-0"
}
Back to top