Focus
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisésLOKISemaphor
Logo
DE | FR
Promotion de Pâques : Jusqu’au 30.4.2025, profitez d'une réduction de 20 % sur les produits suivants. Code: NEST25
cover
Modeling and Analyzing Security Protocols with Tamarin

Modeling and Analyzing Security Protocols with Tamarin

A Comprehensive Guide
Livre (relié)env. 76.00 CHF
disponible dès octobre 2025

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
Lattice-Based Cryptography
From Theory to Practice
Springer International Publishing, 2026
978-3-031-59917-0
env. 215.00 CHF
disponible dès janvier 2026
Round and Computational Efficiency of Multi-party Protocols
Springer International Publishing, 2025
978-3-031-92373-9
env. 236.00 CHF
disponible dès juillet 2025
Fault-Tolerant Distributed Consensus in Synchronous Networks
Springer International Publishing, 2025
978-3-031-80459-5
158.00 CHF
livrable dans env. 20-45 jours
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
livrable dans env. 20-45 jours
Protocols for Authentication and Key Establishment
Springer Nature EN, 2019
978-3-662-58145-2
147.00 CHF
livrable dans env. 20-45 jours
Modelling and Verification of Secure Exams
Springer Nature EN, 2019
978-3-030-09789-9
70.00 CHF
livrable dans env. 20-45 jours
SCION: A Secure Internet Architecture
Springer Nature EN, 2018
978-3-319-88374-8
70.00 CHF
livrable dans env. 20-45 jours
Tutorials on the Foundations of Cryptography
Dedicated to Oded Goldreich
Springer Nature EN, 2018
978-3-319-86064-0
90.00 CHF
livrable dans env. 20-45 jours
Secure Data Deletion
Springer Nature EN, 2018
978-3-319-80422-4
169.00 CHF
livrable dans env. 20-45 jours
Modelling and Verification of Secure Exams
Springer Nature EN, 2018
978-3-319-67106-2
70.00 CHF
livrable dans env. 20-45 jours
Tutorials on the Foundations of Cryptography
Dedicated to Oded Goldreich
Springer Nature EN, 2017
978-3-319-57047-1
124.00 CHF
livrable dans env. 20-45 jours
The Hash Function BLAKE
Springer Nature EN, 2016
978-3-662-52597-5
117.00 CHF
livrable dans env. 20-45 jours

Autres titres sur ce thème

Foundations of Robotics
Springer International Publishing, 2025
978-3-031-85522-1
env. 157.00 CHF
disponible dès juillet 2025
IT-Prüfung, Datenschutzmanagement und KI-Audit
Neue Ansätze für die IT-Revision
Springer Fachmedien Wiesbaden GmbH, 2025
978-3-658-46036-5
env. 58.50 CHF
disponible dès novembre 2025
Adaptive and Scalable Blockchain Systems
Springer International Publishing, 2025
978-3-031-90810-1
env. 178.00 CHF
disponible dès octobre 2025
Structural Decision Diagrams in Digital Test
Theory and Applications
Springer International Publishing, 2025
978-3-031-44736-5
261.00 CHF
livrable dans env. 20-45 jours
Wirtschaftsspionage
Phänomenologie – Erklärungsansätze – Handlungsoptionen
Vieweg + Teubner, 2025
978-3-658-41173-2
env. 43.90 CHF
disponible dès mars 2025
Efficient Algorithms for Elliptic Curve Cryptosystems using Endomorphisms
Springer Nature EN, 2025
978-4-431-55347-2
env. 168.00 CHF
disponible dès avril 2025