Conference paperOČ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 |
---|
- 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}
} |
|