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

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F11%3APU97856" target="_blank" >RIV/00216305:26230/11:PU97856 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

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

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

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

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/TA01010632" target="_blank" >TA01010632: SCADA systém pro řízení a monitorování procesů v reálném čase.</a><br>

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2011

Kód důvěrnosti údajů

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

Název statě ve sborníku

Proceedings of 2011 International Conference on Mechatronics and Applied Mechanics (ICMAM 2011)

ISBN

978-3-03785-380-1

ISSN

—

e-ISSN

—

Počet stran výsledku

4

Strana od-do

1-4

Název nakladatele

Trans Tech Publications Inc.

Místo vydání

Hongkong

Místo konání akce

Hong Kong

Datum konání akce

27. 12. 2011

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—