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
A propos de notre boutique
Nouveautés
Nouveautés
Assortiment et recherche
Préavis
Préavis
Par domaine juridique
Commentaires
Se connecter
S’enregistrer
Téléchargez 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 juillet 2025
Ajouter au panier
Informations bibliographiques
juillet 2025
,
Information Security and Cryptography
,
Anglais
Springer International Publishing
978-3-031-90935-1
Mots-clés
Informations bibliographiques
juillet 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
Fault-Tolerant Distributed Consensus in Synchronous Networks
Choudhury, Ashish
|
Patra, Arpita
Springer International Publishing
,
2025
978-3-031-80459-5
env. 157.00 CHF
disponible dès mai 2025
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
Cryptography in Constant Parallel Time
Applebaum, Benny
Springer Nature EN
,
2016
978-3-662-50713-1
70.00 CHF
livrable dans env. 20-45 jours
Autres titres sur ce thème
Emerging Information Security and Applications
5th International Conference, EISA 2024, Changzhou, China, October 18–19, 2024, Proceedings
Li, Wenjuan
|
Chen, Liqun
|
Lopez, Javier
Springer International Publishing
,
2025
978-3-031-80418-2
97.00 CHF
livrable dans env. 20-45 jours
Advances in Digital Forensics XX
20th IFIP WG 11.9 International Conference, New Delhi, India, January 4–5, 2024, Revised Selected Papers
Kurkowski, Elizabeth
|
Shenoi, Sujeet
Springer International Publishing
,
2025
978-3-031-71024-7
110.00 CHF
livrable dans env. 20-45 jours
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
Artificial Intelligence and Applications
26th International Conference, ICAI 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22–25, 2024, Revised Selected Papers
Arabnia, Hamid R.
|
Deligiannidis, Leonidas
|
Amirian, Soheyla
Springer International Publishing
,
2025
978-3-031-86622-7
env. 123.00 CHF
disponible dès avril 2025
Health Informatics and Medical Systems and Biomedical Engineering
10th International Conference, HIMS 2024, and 10th International Conference, BIOENG 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22–25, 2024, Revised Selected Papers
Alsadoon, Abeer
|
Shenavarmasouleh, Farzan
|
Amirian, Soheyla
Springer International Publishing
,
2025
978-3-031-85907-6
env. 123.00 CHF
disponible dès avril 2025
Artificial Intelligence in Practice
Theory and Application for Cyber Security and Forensics
Iyengar, S.S.
|
Nabavirazavi, Seyedsina
|
Hariprasad, Yashas
Springer International Publishing
,
2025
978-3-031-89326-1
env. 178.00 CHF
disponible dès mai 2025
Mathematical and Computational Modelling Across the Scales
Lecture Notes of the XX Jacques-Louis Lions Spanish-French School, Barcelona, Spain, July 3-7, 2023
Diez, Pedro
|
Giacomini, Matteo
Springer International Publishing
,
2025
978-3-031-84896-4
env. 188.00 CHF
disponible dès avril 2025
Artificial Intelligence in Computational Materials Science
Methods and Applications
Mishra, Amodini
|
Shukla, Sudheesh K.
|
Pandey, Akhilesh
Springer International Publishing
,
2025
978-3-031-88603-4
env. 236.00 CHF
disponible dès juin 2025
Security and Management and Wireless Networks
23rd International Conference, SAM 2024 and 23rd International Conference, ICWN 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22–25, 2024, Revised Selected Papers
Daimi, Kevin
|
Arabnia, Hamid R.
|
Deligiannidis, Leonidas
Springer International Publishing
,
2025
978-3-031-86636-4
env. 123.00 CHF
disponible dès avril 2025
Fortifying the Future
Harnessing AI for Transformative Cybersecurity Training
Rana, Shaila
|
Chicone, Rhonda
Springer International Publishing
,
2025
978-3-031-81779-3
70.00 CHF
livrable dans env. 20-45 jours
Human Privacy in Virtual and Physical Worlds
Multidisciplinary Perspectives
Lacity, Mary C.
|
Coon, Lynda
Springer International Publishing
,
2025
978-3-031-51065-6
env. 55.50 CHF
disponible dès juin 2025
Blockchain-Based Data Security in Heterogeneous Communications Networks
Liu, Dongxiao
|
Shen, Xuemin (Sherman)
Springer International Publishing
,
2025
978-3-031-52479-0
179.00 CHF
livrable dans env. 20-45 jours