Kennen Sie schon unseren Geschäftskundenservice? Wir beraten Sie gerne.
Fokusthemen
Publikationen
Services
Dienstleistungen für
Corporate Books
Publishing Lösungen
Aktuelles
Autorinnen/Autoren
Verlag
Shop
Schweizer Recht
Ausländisches Recht
Über unseren Shop
Modeling and Analyzing Security Protocols with Tamarin
Modeling and Analyzing Security Protocols with Tamarin
A Comprehensive Guide
Bibliografische Angaben
Oktober 2025, Information Security and Cryptography, Englisch
Springer International Publishing
978-3-031-90935-1
Schlagworte
Bibliografische Angaben
Oktober 2025, Information Security and Cryptography, Englisch
Springer International Publishing
978-3-031-90935-1
Schlagworte
Weitere Titel der Reihe: Information Security and Cryptography
Alle anzeigenLattice-Based Cryptography
From Theory to Practice
Springer International Publishing, 2026
978-3-031-59917-0
ca. 215.00 CHF
erhältlich ab Januar 2026
Round and Computational Efficiency of Multi-party Protocols
Springer International Publishing, 2025
978-3-031-92373-9
ca. 238.00 CHF
erhältlich ab August 2025
Fault-Tolerant Distributed Consensus in Synchronous Networks
Springer International Publishing, 2025
978-3-031-80459-5
159.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
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
Weitere Titel zum Thema
Computer Vision and Image Processing
9th International Conference, CVIP 2024, Chennai, India, December 19–21, 2024, Revised Selected Papers, Part IV
Springer International Publishing, 2025
978-3-031-93696-8
ca. 188.00 CHF
erhältlich ab Juli 2025
Enabling Privacy Preserving Data Analytics
Springer International Publishing, 2025
978-3-031-93905-1
ca. 238.00 CHF
erhältlich ab Juli 2025
Digitale Identitäten und Nachweise
Lösungsansätze für vertrauenswürdige Interaktionen zwischen Menschen, Unternehmen und Verwaltung
Springer Fachmedien Wiesbaden GmbH, 2025
978-3-658-47707-3
ca. 69.00 CHF
erhältlich ab Juli 2025
Efficient Algorithms for Elliptic Curve Cryptosystems using Endomorphisms
Springer Nature EN, 2025
978-4-431-55347-2
ca. 168.00 CHF
erhältlich ab April 2025
Network Games, Artificial Intelligence, Control and Optimization
11th International Conference, NETGCOOP 2024, Lille, France, October 9–11, 2024, Proceedings
Springer International Publishing, 2025
978-3-031-78599-3
159.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Expanding Senses using Neurotechnology
Volume 2 ‒ Brain Computer Interfaces and their Applications
Springer Nature EN, 2025
978-3-031-78990-8
125.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Advanced Network Technologies and Intelligent Computing
4th International Conference, ANTIC 2024, Varanasi, India, December 19–21, 2024, Proceedings, Part III
Springer International Publishing, 2025
978-3-031-83792-0
124.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
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
Tokenizing the Future
A Guide to Web 3.0 and the Metaverse
Springer International Publishing, 2025
978-3-031-91404-1
ca. 109.00 CHF
erhältlich ab August 2025
Computer Vision and Image Processing
9th International Conference, CVIP 2024, Chennai, India, December 19–21, 2024, Revised Selected Papers, Part VI
Springer International Publishing, 2025
978-3-031-93702-6
ca. 123.00 CHF
erhältlich ab Juli 2025
Computer Vision and Image Processing
9th International Conference, CVIP 2024, Chennai, India, December 19–21, 2024, Revised Selected Papers, Part V
Springer International Publishing, 2025
978-3-031-93708-8
ca. 123.00 CHF
erhältlich ab Juli 2025