Programação

Modeling And Analyzing Security Protocols With Tamarin

A Comprehensive Guide

de David Basin, Ralf Sasse, Jannik Dreier e Cas Cremers 

Bertrand.pt - Modeling And Analyzing Security Protocols With Tamarin
idioma: Inglês
Editor: Springer International Publishing AG
Edição: julho de 2025
Portes
Grátis
20%
67,58€
Poupe 13,52€ (20%) Cartão Leitor Bertrand
RESERVAR NA LIVRARIA Livrarias

The Tamarin prover is an open-source analysis tool for cryptographic protocols. Given a specification of a protocol, possible adversaries, and the desired security properties, Tamarin either verifies the protocol or provides counter examples witnessing attacks.

Da mesma coleção

ver +
Introduction To Security Science
20%
portes grátis
20% Cartão Leitor Bertrand
74,34€
Poupe 14,87€
Springer Nature Switzerland AG
Fault-Tolerant Distributed Consensus In Synchronous Networks
20%
portes grátis
20% Cartão Leitor Bertrand
148,70€
Poupe 29,74€
Springer International Publishing AG
Modeling And Analyzing Security Protocols With Tamarin
A Comprehensive Guide
de David Basin, Ralf Sasse, Jannik Dreier e Cas Cremers 
ISBN:
9783031909351
Ano de edição:
07-2025
Editor:
Springer International Publishing AG
Idioma:
Inglês
Dimensões:
155 x 235 x 20 mm
Encadernação:
Capa dura
Páginas:
325
Tipo de Produto:
Livro
Coleção:
Information Security And Cryptography
Classificação Temática:
Livros  >  Livros em Inglês  >  Informática  >  Programação

EAN:
9783031909351

Dos mesmos autores

Applied Information Security
20%
portes grátis
20% Cartão Leitor Bertrand
54,06€
Poupe 10,81€
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
The Complete Guide To Scion
20%
portes grátis
20% Cartão Leitor Bertrand
108,14€
Poupe 21,63€
Springer International Publishing AG
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.