Publication detail

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

OČENÁŠEK, P.

Original Title

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

Type

article in a collection out of WoS and Scopus

Language

English

Original Abstract

  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.

Keywords

Zero knowledge, Security Protocol, Automation, Implementation.

Authors

OČENÁŠEK, P.

RIV year

2011

Released

2. 3. 2011

Publisher

Springer Verlag

Location

Berlin Heidelberg

ISBN

978-3-642-21792-0

Book

Human Interface and the Management of Information. Interacting with Information

Edition

Lecture Notes in Computer Science

Pages from

374

Pages to

378

Pages count

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