Operational Semantics and Verification of Security Protocols - Information Security and Cryptography - Cas Cremers - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642430534 - 9 de novembro de 2014
Caso a capa e o título não sejam correspondentes, considere o título como correto

Cas Cremers
Operational Semantics and Verification of Security Protocols - Information Security and Cryptography

Preço
€ 50,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 19 - 27 de nov
Presentes de Natal podem ser trocados até 31 de janeiro
Receba avisos sobre novos lançamentos de Cas Cremers

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

Também disponível como:

This account of an effective methodology for defining and verifying security protocols in network communication includes an accompanying tool set that will be of great interest to researchers and advanced professionals working on critical security protocols.

174 pages, black & white illustrations, bibliography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 9 de novembro de 2014
Data do lançamento original 2011
ISBN13 9783642430534
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 174
Dimensões 155 × 235 × 10 mm   ·   295 g
Idioma Alemão  

Mais da mesma editora

Ver tudo de Cas Cremers