Publication Details

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

OČENÁŠEK Pavel and MÍCHAL Luboš. Automation of Authentication and Key Distribution Schemes Design based on Trace Formulae. In: Proceedings of 2011 International Conference on Mechatronics and Applied Mechanics (ICMAM 2011). Hongkong: Trans Tech Publications Inc., 2012, pp. 870-873. ISBN 978-3-03785-380-1. ISSN 1660-9336.
Czech title
Automatizace návrhu schémat pro autentizaci a distribuci klíčů založeném na "trace formulae"
Type
conference paper
Language
english
Authors
Očenášek Pavel, Mgr. Ing., Ph.D. (DIFS FIT BUT)
Míchal Luboš, Bc. (FIT BUT)
Keywords

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

Abstract

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.

Published
2012
Pages
870-873
Journal
Applied Mechanics and Materials, vol. 157, no. 3, ISSN 1660-9336
Proceedings
Proceedings of 2011 International Conference on Mechatronics and Applied Mechanics (ICMAM 2011)
Conference
2011 International Conference on Mechatronics and Applied Mechanics, Hong Kong, HK
ISBN
978-3-03785-380-1
Publisher
Trans Tech Publications Inc.
Place
Hongkong, HK
DOI
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB9855,
   author = "Pavel O\v{c}en\'{a}\v{s}ek and Lubo\v{s} M\'{i}chal",
   title = "Automation of Authentication and Key Distribution Schemes Design based on Trace Formulae",
   pages = "870--873",
   booktitle = "Proceedings of 2011 International Conference on Mechatronics and Applied Mechanics (ICMAM 2011)",
   journal = "Applied Mechanics and Materials",
   volume = 157,
   number = 03,
   year = 2012,
   location = "Hongkong, HK",
   publisher = "Trans Tech Publications Inc.",
   ISBN = "978-3-03785-380-1",
   ISSN = "1660-9336",
   doi = "10.4028/www.scientific.net/AMM.157-158.870",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9855"
}
Back to top