Detail publikace

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

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

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.

Klíčová slova

Zero knowledge, Security Protocol, Automation, Implementation.

Autoři

OČENÁŠEK, P.

Rok RIV

2011

Vydáno

2. 3. 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

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