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. 236.00 CHF
disponible dès juillet 2025
Fault-Tolerant Distributed Consensus in Synchronous Networks
Choudhury, Ashish
|
Patra, Arpita
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
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
Structural Decision Diagrams in Digital Test
Theory and Applications
Ubar, Raimund
|
Raik, Jaan
|
Jenihhin, Maksim
Springer International Publishing
,
2025
978-3-031-44736-5
261.00 CHF
livrable dans env. 20-45 jours
Product Lifecycle Management. Integrating Digital Technologies for ...
21st IFIP WG 5.1 International Conference, PLM 2024, Bangkok, Thailand, July 7–10, 2024, Revised Selected Papers, Part I
Sureephong, Pradorn
|
Danjou, Christophe
Springer International Publishing
,
2025
978-3-031-93318-9
env. 215.00 CHF
disponible dès août 2025
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
Fundamentals of Digital Forensics
A Guide to Theory, Research and Applications
Kävrestad, Joakim
|
Birath, Marcus
|
Clarke, Nathan
Springer International Publishing
,
2025
978-3-031-53909-1
env. 83.00 CHF
disponible dès juillet 2025
Round and Computational Efficiency of Multi-party Protocols
Ciampi, Michele
|
Siniscalchi, Luisa
Springer International Publishing
,
2025
978-3-031-92373-9
env. 236.00 CHF
disponible dès juillet 2025
Neurorights and the Era of Neurotechnologies
An Analysis of the Brazilian Constitutional Law and the Need for New Fundamental Rights
Possa, Alisson Alexsandro
Springer International Publishing
,
2025
978-3-031-92001-1
env. 134.00 CHF
disponible dès juillet 2025
Adaptive and Scalable Blockchain Systems
Xu, Jie
|
Jia, Xiaohua
Springer International Publishing
,
2025
978-3-031-90810-1
env. 178.00 CHF
disponible dès octobre 2025
Human-Centered Design, Operation and Evaluation of Mobile Communications
6th International Conference, MOBILE 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part I
Wei, June
|
Margetis, George
Springer International Publishing
,
2025
978-3-031-93060-7
env. 112.00 CHF
disponible dès juin 2025
Human-Centered Design, Operation and Evaluation of Mobile Communications
6th International Conference, MOBILE 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part II
Wei, June
|
Margetis, George
Springer International Publishing
,
2025
978-3-031-93063-8
env. 69.00 CHF
disponible dès juin 2025
Collaborative Computing: Networking, Applications and Worksharing
20th EAI International Conference, CollaborateCom 2024, Wuzhen, China, November 16–17, 2024, Proceedings, Part II
Gao, Honghao
|
Wang, Xinheng
Springer International Publishing
,
2025
978-3-031-93253-3
env. 123.00 CHF
disponible dès octobre 2025
Computational Intelligence, Cyber Security and Computational Models. Emerging ...
6th International Conference, ICC3 2023, Coimbatore, India, December 14–16, 2023, Revised Selected Papers
Sheen, Shina
|
R., Latha
|
U. K., Sridevi
Springer International Publishing
,
2025
978-3-031-88296-8
env. 83.00 CHF
disponible dès mai 2025
Efficient Algorithms for Elliptic Curve Cryptosystems using Endomorphisms
Hakuta, Keisuke
Springer Nature EN
,
2025
978-4-431-55347-2
env. 168.00 CHF
disponible dès avril 2025