Formal Models and Techniques for Analyzing Security Protocols: A Tutorial - Foundations and Trends (R) in Programming Languages - Veronique Cortier - Livros - now publishers Inc - 9781601989024 - 13 de novembro de 2014
Caso a capa e o título não sejam correspondentes, considere o título como correto

Formal Models and Techniques for Analyzing Security Protocols: A Tutorial - Foundations and Trends (R) in Programming Languages

Veronique Cortier

Preço
R 1.739,46

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 7 - 16 de jul

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

Formal Models and Techniques for Analyzing Security Protocols: A Tutorial - Foundations and Trends (R) in Programming Languages

Provides the reader with a tutorial on some modern techniques to model and automatically analyse security protocols. Given the large body of work in this area, it does not aim to be exhaustive so the focus is on some selected methods and results.

134 pages

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 13 de novembro de 2014
ISBN13 9781601989024
Editoras now publishers Inc
Páginas 134
Dimensões 156 × 234 × 7 mm   ·   199 g
Idioma English  

Ver tudo de Veronique Cortier ( por exemplo Paperback Book )