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
Očenášek Pavel, Mgr. Ing., Ph.D. (DIFS)
Keywords

Zero knowledge, Security Protocol, Automation, Implementation.

Abstract
  1. The paper deals with automated methods for the design of securityprotocols and their design using zero knowledge protocols, or protocols, whereit is possible to use zero knowledge protocols such as subprotocols.. Specificemphasis is placed on the use of compositional method. The paper also includethe 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
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