Detail publikačního výsledku

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

OČENÁŠEK, P.

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

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

  1. 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.

Anglický abstrakt

  1. 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.

Klíčová slova

Zero knowledge, Security Protocol, Automation, Implementation.

Klíčová slova v angličtině

Zero knowledge, Security Protocol, Automation, Implementation.

Autoři

OČENÁŠEK, P.

Rok RIV

2012

Vydáno

02.03.2011

Nakladatel

Springer Verlag

Místo

Berlin Heidelberg

ISBN

978-3-642-21792-0

Kniha

Human Interface and the Management of Information. Interacting with Information

Edice

Lecture Notes in Computer Science

Svazek

6771

Strany od

374

Strany do

378

Strany počet

5

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