Detail publikace

An Approach for Security Protocol Design Based on Zero-knowledge Primitives Composition

Originální název

An Approach for Security Protocol Design Based on Zero-knowledge Primitives Composition

Anglický název

An Approach for Security Protocol Design Based on Zero-knowledge Primitives Composition

Jazyk

en

Originální abstrakt

  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.

Anglický abstrakt

  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.

BibTex


@inproceedings{BUT76279,
  author="Pavel {Očenášek}",
  title="An Approach for Security Protocol Design Based on Zero-knowledge Primitives Composition",
  annote="  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.",
  address="Springer Verlag",
  booktitle="Human Interface and the Management of Information. Interacting with Information",
  chapter="76279",
  edition="Lecture Notes in Computer Science",
  howpublished="print",
  institution="Springer Verlag",
  year="2011",
  month="march",
  pages="374--378",
  publisher="Springer Verlag",
  type="conference paper"
}