Connaissez-vous déjà notre service clients professionnels ? Nous nous ferons un plaisir de vous conseiller.
Focus
Publications
Services
Auteurs
Éditions
Shop
Modeling and Analyzing Security Protocols with Tamarin

Modeling and Analyzing Security Protocols with Tamarin

A Comprehensive Guide

Informations bibliographiques

juillet 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