Connaissez-vous déjà notre
service clients professionnels ?
Nous nous ferons un plaisir de vous conseiller
.
Focus
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisés
LOKI
Semaphor
DE
|
FR
Se connecter
S’enregistrer
LEXIA
Revues
Livres spécialisés
LOKI
Semaphor
DE
|
FR
Focus
Domaines
Étudier le droit
Droit du travail
Études
Droit de la famille
Droit des assurances sociales
Droit pénal
Publications
Littérature
Modules en ligne LEXIA
Livres
Collections
Revues
Bases de données
recht.ch
Littérature pour les études
Services
Services pour
Corporate Books
Solutions d'édition
Actualités
Professionnels
Corporate Publishing
Content solutions
Librairies
Événements
Presse
Enseignants
Étudiants
Annonceurs
Newsletter
Blog
Auteurs
Nos Auteurs
Aide
Liste
Espace des auteurs
Publier chez nous
Témoignages
Éditions
Qui sommes-nous?
Thèmes
En savoir plus
Collaborateurs
Durabilité
Newsletter
Histoire
Open Access
Vision et mission
Carrière
Notre magazine
Culture d'entreprise
Partenaires
Contact
Shop
Droit suisse
Droit étranger
À propos de notre boutique
Nouveautés
Nouveautés
Assortiment et recherche
À paraître
À paraître
Par domaine juridique
Commentaires
Se connecter
S’enregistrer
Télécharger la couverture
Modeling and Analyzing Security Protocols with Tamarin
Modeling and Analyzing Security Protocols with Tamarin
A Comprehensive Guide
De:
Basin, David
|
Cremers, Cas
|
Dreier, Jannik
, et al.
Livre (relié)
env. 76.00 CHF
disponible dès octobre 2025
Ajouter au panier
Informations bibliographiques
octobre 2025
,
Information Security and Cryptography
,
Anglais
Springer International Publishing
978-3-031-90935-1
Mots-clés
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
O'Neill, Máire
|
Regazzoni, Francesco
|
Güneysu, Tim
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
Ciampi, Michele
|
Siniscalchi, Luisa
Springer International Publishing
,
2025
978-3-031-92373-9
env. 238.00 CHF
disponible dès août 2025
Fault-Tolerant Distributed Consensus in Synchronous Networks
Choudhury, Ashish
|
Patra, Arpita
Springer International Publishing
,
2025
978-3-031-80459-5
159.00 CHF
livrable dans env. 20-45 jours
The Theory of Hash Functions and Random Oracles
An Approach to Modern Cryptography
Mittelbach, Arno
|
Fischlin, Marc
Springer Nature EN
,
2021
978-3-030-63286-1
117.00 CHF
livrable dans env. 20-45 jours
Protocols for Authentication and Key Establishment
Boyd, Colin
|
Mathuria, Anish
|
Stebila, Douglas
Springer Nature EN
,
2019
978-3-662-58145-2
147.00 CHF
livrable dans env. 20-45 jours
Modelling and Verification of Secure Exams
Giustolisi, Rosario
Springer Nature EN
,
2019
978-3-030-09789-9
70.00 CHF
livrable dans env. 20-45 jours
SCION: A Secure Internet Architecture
Perrig, Adrian
|
Szalachowski, Pawel
|
Reischuk, Raphael M.
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
Lindell, Yehuda
Springer Nature EN
,
2018
978-3-319-86064-0
90.00 CHF
livrable dans env. 20-45 jours
Secure Data Deletion
Reardon, Joel
Springer Nature EN
,
2018
978-3-319-80422-4
169.00 CHF
livrable dans env. 20-45 jours
Modelling and Verification of Secure Exams
Giustolisi, Rosario
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
Lindell, Yehuda
Springer Nature EN
,
2017
978-3-319-57047-1
124.00 CHF
livrable dans env. 20-45 jours
The Hash Function BLAKE
Aumasson, Jean-Philippe
|
Meier, Willi
|
Phan, Raphael C.-W.
Springer Nature EN
,
2016
978-3-662-52597-5
117.00 CHF
livrable dans env. 20-45 jours
Autres titres sur ce thème
Computer Vision and Image Processing
9th International Conference, CVIP 2024, Chennai, India, December 19–21, 2024, Revised Selected Papers, Part I
Kakarla, Jagadeesh
|
Balasubramanian, R.
|
Murala, Subrahmanyam
Springer International Publishing
,
2025
978-3-031-93687-6
env. 188.00 CHF
disponible dès juillet 2025
Network Games, Artificial Intelligence, Control and Optimization
11th International Conference, NETGCOOP 2024, Lille, France, October 9–11, 2024, Proceedings
Le Cadre, Hélène
|
Hayel, Yezekael
|
Tuffin, Bruno
Springer International Publishing
,
2025
978-3-031-78599-3
159.00 CHF
livrable dans env. 20-45 jours
Handbook of Blockchain Analytics
Chen, Cathy Yi-Hsuan
|
Härdle, Wolfgang Karl
|
Lu, Henry Horng-Shing
Springer International Publishing
,
2026
978-3-031-95417-7
env. 297.00 CHF
disponible dès janvier 2026
Lattice-Based Cryptography
From Theory to Practice
O'Neill, Máire
|
Regazzoni, Francesco
|
Güneysu, Tim
Springer International Publishing
,
2026
978-3-031-59917-0
env. 215.00 CHF
disponible dès janvier 2026
Die ultimative QNAP NAS Bibel - 2. Auflage - Sonderauflage
Das Praxisbuch - mit vielen Insider Tipps und Tricks - komplett in Farbe
Gieseke, Wolfram
Markt + Technik
,
2025
978-3-98810-067-2
env. 14.50 CHF
disponible dès mars 2025
Computer Vision and Image Processing
9th International Conference, CVIP 2024, Chennai, India, December 19–21, 2024, Revised Selected Papers, Part III
Kakarla, Jagadeesh
|
Balasubramanian, R.
|
Murala, Subrahmanyam
Springer International Publishing
,
2025
978-3-031-93693-7
env. 188.00 CHF
disponible dès juillet 2025
Computer Vision and Image Processing
9th International Conference, CVIP 2024, Chennai, India, December 19–21, 2024, Revised Selected Papers, Part V
Kakarla, Jagadeesh
|
Balasubramanian, R.
|
Murala, Subrahmanyam
Springer International Publishing
,
2025
978-3-031-93708-8
env. 123.00 CHF
disponible dès juillet 2025
Digitale Identitäten und Nachweise
Lösungsansätze für vertrauenswürdige Interaktionen zwischen Menschen, Unternehmen und Verwaltung
Anke, Jürgen
|
Kubach, Michael
|
Sürmeli, Jan
Springer Fachmedien Wiesbaden GmbH
,
2025
978-3-658-47707-3
env. 69.00 CHF
disponible dès juillet 2025
Computer Security. ESORICS 2024 International Workshops
SECAI, DisA, CPS4CIP, and SecAssure, Bydgoszcz, Poland, September 16–20, 2024, Revised Selected Papers, Part II
Garcia-Alfaro, Joaquin
|
Kalutarage, Harsha
|
Yanai, Naoto
Springer International Publishing
,
2025
978-3-031-82361-9
113.00 CHF
livrable dans env. 20-45 jours
Modern Cryptography
From RSA to Zero-Knowledge and Beyond
Beutelspacher, Albrecht
|
Schwenk, Jörg
|
Wolfenstetter, Klaus-Dieter
Springer
,
2026
978-3-662-67442-0
env. 96.00 CHF
disponible dès mai 2026
IT-Prüfung, Datenschutzmanagement und KI-Audit
Neue Ansätze für die IT-Revision
Sowa, Aleksandra
Springer Fachmedien Wiesbaden GmbH
,
2026
978-3-658-46036-5
env. 58.50 CHF
disponible dès janvier 2026
Computer Aided Systems Theory – EUROCAST 2024
19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part III
Quesada-Arencibia, Alexis
|
Affenzeller, Michael
|
Moreno - DÍaz, Roberto
Springer International Publishing
,
2025
978-3-031-83884-2
env. 91.00 CHF
disponible dès mars 2025