Kennen Sie schon unseren Geschäftskundenservice? Wir beraten Sie gerne.
Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
SachbuchLOKISemaphor
Logo
DE | FR
cover
Modeling and Analyzing Security Protocols with Tamarin

Modeling and Analyzing Security Protocols with Tamarin

A Comprehensive Guide
Buch (gebunden)ca. 76.00 CHF
erhältlich ab Juli 2025

Bibliografische Angaben

Juli 2025, Information Security and Cryptography, Englisch
Springer International Publishing
978-3-031-90935-1

Schlagworte

Weitere Titel der Reihe: Information Security and Cryptography

Alle anzeigen
Lattice-Based Cryptography
From Theory to Practice
Springer International Publishing, 2026
978-3-031-59917-0
ca. 215.00 CHF
erhältlich ab Januar 2026
Fault-Tolerant Distributed Consensus in Synchronous Networks
Springer International Publishing, 2025
978-3-031-80459-5
ca. 157.00 CHF
erhältlich ab Mai 2025
The Theory of Hash Functions and Random Oracles
An Approach to Modern Cryptography
Springer Nature EN, 2021
978-3-030-63286-1
117.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Protocols for Authentication and Key Establishment
Springer Nature EN, 2019
978-3-662-58145-2
147.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Modelling and Verification of Secure Exams
Springer Nature EN, 2019
978-3-030-09789-9
70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
SCION: A Secure Internet Architecture
Springer Nature EN, 2018
978-3-319-88374-8
70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Tutorials on the Foundations of Cryptography
Dedicated to Oded Goldreich
Springer Nature EN, 2018
978-3-319-86064-0
90.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Secure Data Deletion
Springer Nature EN, 2018
978-3-319-80422-4
169.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Modelling and Verification of Secure Exams
Springer Nature EN, 2018
978-3-319-67106-2
70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Tutorials on the Foundations of Cryptography
Dedicated to Oded Goldreich
Springer Nature EN, 2017
978-3-319-57047-1
124.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
The Hash Function BLAKE
Springer Nature EN, 2016
978-3-662-52597-5
117.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Cryptography in Constant Parallel Time
Springer Nature EN, 2016
978-3-662-50713-1
70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen

Weitere Titel zum Thema

16th Chaotic Modeling and Simulation International Conference
Springer International Publishing, 2025
978-3-031-60906-0
332.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Structural Decision Diagrams in Digital Test
Theory and Applications
Springer International Publishing, 2025
978-3-031-44736-5
261.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
The AI Act and The Agile Safety Plan
Springer International Publishing, 2025
978-3-031-80503-5
70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Human Privacy in Virtual and Physical Worlds
Multidisciplinary Perspectives
Springer International Publishing, 2025
978-3-031-51065-6
ca. 55.50 CHF
erhältlich ab Juni 2025
Artificial Intelligence in Computational Materials Science
Methods and Applications
Springer International Publishing, 2025
978-3-031-88603-4
ca. 236.00 CHF
erhältlich ab Juni 2025
Lattice-Based Cryptography
From Theory to Practice
Springer International Publishing, 2026
978-3-031-59917-0
ca. 215.00 CHF
erhältlich ab Januar 2026
Convergence of AI, Federated Learning, and Blockchain for Sustainable ...
Springer International Publishing, 2025
978-3-031-80948-4
ca. 260.00 CHF
erhältlich ab Mai 2025