Focus
Publications
Services
Auteurs
Éditions
Shop
Promotion de Pâques : Jusqu’au 30.4.2025, profitez d'une réduction de 20 % sur les produits suivants. Code: NEST25
Modeling and Analyzing Security Protocols with Tamarin

Modeling and Analyzing Security Protocols with Tamarin

A Comprehensive Guide

Informations bibliographiques

octobre 2025, Information Security and Cryptography, Anglais
Springer International Publishing
978-3-031-90935-1

Mots-clés

Autres titres de la collection: Information Security and Cryptography

Afficher tout

Autres titres sur ce thème