Security Protocols: Verification and Design Automation - Pavel Ocenasek - Books - LAP LAMBERT Academic Publishing - 9783838360409 - November 7, 2010
In case cover and title do not match, the title is correct

Pavel Ocenasek
Security Protocols: Verification and Design Automation

Price
HK$ 370
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 7 - 13

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released November 7, 2010
ISBN13 9783838360409
Publishers LAP LAMBERT Academic Publishing
Pages 112
Dimensions 226 × 7 × 150 mm   ·   185 g
Language German  

See all of Pavel Ocenasek ( e.g. Paperback Book )