Security Protocols: Verification and Design Automation - Pavel Ocenasek - Livros - LAP LAMBERT Academic Publishing - 9783838360409 - 7 de novembro de 2010
Caso a capa e o título não sejam correspondentes, considere o título como correto

Pavel Ocenasek
Security Protocols: Verification and Design Automation

Preço
€ 42,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 16 - 24 de nov
Presentes de Natal podem ser trocados até 31 de janeiro
Receba avisos sobre novos lançamentos de Pavel Ocenasek

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

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.

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 7 de novembro de 2010
ISBN13 9783838360409
Editoras LAP LAMBERT Academic Publishing
Páginas 112
Dimensões 226 × 7 × 150 mm   ·   185 g
Idioma Alemão  

Ver tudo de Pavel Ocenasek