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
10%
67,58€
60,82€
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.

Coleções

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

10% cartão
portes grátis
Applied Information Security
54,06€

poupe 5,41€

Applied Information Security

de David Basin, Michael Schlapfer e Patrick Schaller 

(0)
10% cartão
portes grátis
The Complete Guide To Scion
108,14€

poupe 10,81€

The Complete Guide To Scion

de Laurent Chuat, Markus Legner, David Basin, (...) 

(0)
10% cartão
portes grátis
The Complete Guide To Scion
148,70€

poupe 14,87€

The Complete Guide To Scion

de Markus Legner, David Basin, David Hausheer, (...) 

(0)
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.