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

Abstract:

The authentication and key distribution schemes 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 schemes (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.

• Periodical: Applied Mechanics and Materials (Volumes 157-158)
• Pages: 870-873
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.157-158.870
• Online since: February 2012
• Authors: Pavel Ocenasek, Lubos Michal
• Keywords: Authentication Scheme, Automation, Design, Key Distribution Scheme, Trace Formulae

References

[1] R. Corin, A. Durante, S. Etalle, P. Hartel, Using Trace Formulae for Security Protocol Design, Enschede, Rome, Amsterdam.

[2] L. Michal, Methods of the Security Protocol Design, Brno University of Technology, Faculty of Information Technology, Brno, CZ (2010).