Detail publikačního výsledku

Automation of Authentication and Key Distribution Schemes Design based on Trace Formulae

OČENÁŠEK, P.; MÍCHAL, L.

Originální název

Automation of Authentication and Key Distribution Schemes Design based on Trace Formulae

Anglický název

Automation of Authentication and Key Distribution Schemes Design based on Trace Formulae

Druh

Článek recenzovaný mimo WoS a Scopus

Originální abstrakt

The security protocols are widely used for providing safe communication. They are used for creating private communication channels in unsecured area. This paper deals with the concept of design of such protocols and their properties. The paper starts with the properties and requirements of designed protocol, followed by the description of the design concept based on the trace formula and the process of its automation within the design library. The presented library supports both the handling of protocol properties and protocol design. The paper concludes with some examples of generated protocols.

Anglický abstrakt

The security protocols are widely used for providing safe communication. They are used for creating private communication channels in unsecured area. This paper deals with the concept of design of such protocols and their properties. The paper starts with the properties and requirements of designed protocol, followed by the description of the design concept based on the trace formula and the process of its automation within the design library. The presented library supports both the handling of protocol properties and protocol design. The paper concludes with some examples of generated protocols.

Klíčová slova

Authentication Scheme, Key Distribution Scheme, Trace Formulae, Design, Automation

Klíčová slova v angličtině

Authentication Scheme, Key Distribution Scheme, Trace Formulae, Design, Automation

Autoři

OČENÁŠEK, P.; MÍCHAL, L.

Rok RIV

2013

Vydáno

27.02.2012

ISSN

1660-9336

Periodikum

Applied Mechanics and Materials

Svazek

2012

Číslo

157

Stát

Švýcarská konfederace

Strany od

870

Strany do

873

Strany počet

4

BibTex

@article{BUT96967,
  author="Pavel {Očenášek} and Luboš {Míchal}",
  title="Automation of Authentication and Key Distribution Schemes Design based on Trace Formulae",
  journal="Applied Mechanics and Materials",
  year="2012",
  volume="2012",
  number="157",
  pages="870--873",
  issn="1660-9336"
}