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

English Title

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

Type

conference paper

Language

en

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.

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

RIV year

2011

Released

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

LNCS 6771

Edition number

NEUVEDEN

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",
  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="LNCS 6771",
  howpublished="print",
  institution="Springer Verlag",
  year="2011",
  month="march",
  pages="374--378",
  publisher="Springer Verlag",
  type="conference paper"
}