Security Protocols

This book gives the state of the art of the design and verification of security protocols and presents the evolutionary approach used for the automatic design of protocols for authentication and/or key distribution. The presented approach is based on natural evolution and employs the grammar-based generation of communication schemes according to the design and security requirements. Selected heuristic strategies are also considered to satisfy some design expectations.

Autorentext

Pavel Ocenasek received his MSc. degree in Computer science and Engineering in 2003 from the Brno University of Technology, Czech Republic. He also received his PhD. degree in Information Technology in 2010 from the same University. Now he is working there as an assistant professor and gives lectures on network security and networking.