10% de desconto

Modeling And Analyzing Security Protocols With Tamarin

A Comprehensive Guide

de David Basin, Jannik Dreier, Ralf Sasse e Cas Cremers
idioma: inglês
Editor: Springer International Publishing AG, julho de 2025 ‧
67,58€
60,82€
10% DESCONTO IMEDIATO
portes grátis
Venda o seu livro
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.

Modeling And Analyzing Security Protocols With Tamarin

A Comprehensive Guide

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

Propriedade Descrição
ISBN: 9783031909351
Editor: Springer International Publishing AG
Data de Lançamento: julho de 2025
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 em Inglês > Informática > Programação
EAN: 9783031909351

LIVROS DA MESMA COLEÇÃO