Security Protocols: Verification and Design Automation - Pavel Ocenasek - Boeken - LAP LAMBERT Academic Publishing - 9783838360409 - 7 november 2010
Indien omslag en titel niet overeenkomen, is de titel correct

Pavel Ocenasek
Security Protocols: Verification and Design Automation

Prijs
€ 42,99

Besteld in een afgelegen magazijn

Verwachte levering 16 - 24 nov.
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Ontvang meldingen over nieuwe releases van Pavel Ocenasek

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

Nog niet beoordeeld

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 Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 7 november 2010
ISBN13 9783838360409
Uitgevers LAP LAMBERT Academic Publishing
Pagina's 112
Afmetingen 226 × 7 × 150 mm   ·   185 g
Taal en grammatica Duits  

Bekijk alles van Pavel Ocenasek