An approach for security protocol design based on zero-knowledge primitives composition

  • Authors:

  • Očenášek Pavel

  • Affiliations:

  • Faculty of Information Technology, Brno University of Technology, Brno, Czech Republic

  • Venue:
  • HI'11 Proceedings of the 2011 international conference on Human interface and the management of information - Volume Part I
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.