Result 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.
Type
conference paper
Language
English
Authors
Očenášek Pavel, Mgr. Ing., Ph.D., DIFS (FIT)
Abstract
- 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.
Keywords
Zero knowledge, Security Protocol, Automation, Implementation.
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
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"
}
Projects
Advanced recognition and presentation of multimedia data, BUT, Vnitřní projekty VUT, FIT-S-11-2, start: 2011-01-01, end: 2013-12-31, completed
Advanced secured, reliable and adaptive IT, BUT, Vnitřní projekty VUT, FIT-S-11-1, start: 2011-01-01, end: 2013-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Advanced secured, reliable and adaptive IT, BUT, Vnitřní projekty VUT, FIT-S-11-1, start: 2011-01-01, end: 2013-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Departments