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"
}