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%2F11%3APU97856" target="_blank" >RIV/00216305:26230/11:PU97856 - 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
—

Project
<a href="/en/project/TA01010632" target="_blank" >TA01010632: SCADA System for Real-time Control and Monitoring of Processes</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach

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

Article name in the collection
Proceedings of 2011 International Conference on Mechatronics and Applied Mechanics (ICMAM 2011)
ISBN
978-3-03785-380-1
ISSN
—
e-ISSN
—
Number of pages
4
Pages from-to
1-4
Publisher name
Trans Tech Publications Inc.
Place of publication
Hongkong
Event location
Hong Kong
Event date
Dec 27, 2011
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)