Tous les ebooks de David Basin en PDF


1  résultat(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...

Parution : 2025-08-28
Format(s) : PDF
Éditeur : Springer
J'achète
58,01

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés