Modeling and Analyzing Security Protocols with Tamarin
A Comprehensive Guide
Springer
ISBN 978-3-031-90935-1
Standardpreis
Bibliografische Daten
Fachbuch
Buch. Hardcover
2025
Umfang: xiv, 325 S.
Format (B x L): 15,5 x 23,5 cm
Verlag: Springer
ISBN: 978-3-031-90935-1
Weiterführende bibliografische Daten
Das Werk ist Teil der Reihe: Information Security and Cryptography
Autorinnen und Autoren
Produktsicherheit
Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com