Security Protocols

Verification and Design Automation

von Pavel Ocenasek

112 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Themen: Informatik und Informationstechnologie Computernetzwerke und maschinelle Kommunikation
• ISBN: 9783838360409
• Sprache: Englisch
• Erscheinungsdatum: 07.11.2010
• Größe: 220 x 150 mm
• Verlag: LAP LAMBERT Academic Publishing