Ebooks de David Basin en PDF

1 Livre(s)
Télécharger le livre : Modeling and Analyzing Security Protocols with Tamarin
Ajouter à ma liste d'envies
Modeling and Analyzing Security Protocols with Tamarin
David Basin , Cas Cremers , Jannik Dreier , Ralf Sasse
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. Tamarin...

Editeur : Springer
Parution : 2025-08-28

PDF

58,01 €