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

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F12%3APU101792" target="_blank" >RIV/00216305:26230/12:PU101792 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

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

Original language description

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 protocolproperties and protocol design. The paper concludes with some examples of generated protocols.

Czech name

—

Czech description

—

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

IN - Informatics

OECD FORD branch

—

Project

Result was created during the realization of more than one project. More information in the Projects tab.

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach

Publication year

2012

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Applied Mechanics and Materials

ISSN

1660-9336

e-ISSN

—

Volume of the periodical

2012

Issue of the periodical within the volume

157

Country of publishing house

CH - SWITZERLAND

Number of pages

4

Pages from-to

870-873

UT code for WoS article

—

EID of the result in the Scopus database

—