Detail výsledku

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

OČENÁŠEK, P.; MÍCHAL, L. 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). Applied Mechanics and Materials. Hongkong: Trans Tech Publications Inc., 2012. no. 03, p. 870-873. ISBN: 978-3-03785-380-1. ISSN: 1660-9336.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D., UIFS (FIT)
Míchal Luboš, Bc.
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

Rok
2012
Strany
870–873
Časopis
Applied Mechanics and Materials, roč. 157, č. 03, ISSN 1660-9336
Sborník
Proceedings of 2011 International Conference on Mechatronics and Applied Mechanics (ICMAM 2011)
Konference
2011 International Conference on Mechatronics and Applied Mechanics
ISBN
978-3-03785-380-1
Vydavatel
Trans Tech Publications Inc.
Místo
Hongkong
DOI
10.4028/www.scientific.net/AMM.157-158.870
EID Scopus
2-s2.0-84858130167
BibTeX 
@inproceedings{BUT91116,
  author="Pavel {Očenášek} and Luboš {Míchal}",
  title="Automation of Authentication and Key Distribution Schemes Design based on Trace Formulae",
  booktitle="Proceedings of 2011 International Conference on Mechatronics and Applied Mechanics (ICMAM 2011)",
  year="2012",
  journal="Applied Mechanics and Materials",
  volume="157",
  number="03",
  pages="870--873",
  publisher="Trans Tech Publications Inc.",
  address="Hongkong",
  doi="10.4028/www.scientific.net/AMM.157-158.870",
  isbn="978-3-03785-380-1",
  issn="1660-9336"
}
Projekty
Pokročilé bezpečné, spolehlivé a adaptivní IT, VUT, Vnitřní projekty VUT, FIT-S-11-1, zahájení: 2011-01-01, ukončení: 2013-12-31, ukončen
SCADA systém pro řízení a monitorování procesů v reálném čase, TAČR, Program aplikovaného výzkumu a experimentálního vývoje ALFA, TA01010632, zahájení: 2011-01-01, ukončení: 2013-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
NES@FIT - Výzkumná skupina počítačové sítě (VZ NES@FIT)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru