Ergebnisse filtern
-
- 61
- 15
-
- 1
- 64
- 9
- 2
-
- 47
- 29
-
- 76
-
- 73
- 3
-
- 76
-
Cremers / Mauw Operational Semantics and Verification of Security Protocols
Erscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-43053-4Medium: Buch53,45 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Basin / Cremers / Dreier Modeling and Analyzing Security Protocols with Tamarin
A Comprehensive GuideErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-90935-1Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Basin / Cremers / Dreier Modeling and Analyzing Security Protocols with Tamarin
A Comprehensive Guide1. Auflage 2025Verlag: Springer International PublishingISBN: 978-3-031-90936-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark58,84 € (inkl. MwSt.)
sofort verfügbar -
Cremers / Mauw Operational Semantics and Verification of Security Protocols
1. Auflage 2012Verlag: SpringerISBN: 978-3-540-78635-1Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Yekhanin Locally Decodable Codes and Private Information Retrieval Schemes
1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-14357-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Yekhanin Locally Decodable Codes and Private Information Retrieval Schemes
1. Auflage 2013Verlag: SpringerISBN: 978-3-642-26577-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bella Formal Correctness of Security Protocols
1. Auflage. Softcover version of original hardcover Auflage 2007Verlag: SpringerISBN: 978-3-642-08782-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bella Formal Correctness of Security Protocols
1. Auflage 2007Verlag: SpringerISBN: 978-3-540-68134-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mittelbach / Fischlin The Theory of Hash Functions and Random Oracles
An Approach to Modern Cryptography1. Auflage 2021Verlag: SpringerISBN: 978-3-030-63286-1Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mittelbach / Fischlin The Theory of Hash Functions and Random Oracles
An Approach to Modern CryptographyErscheinungsjahr 2021Verlag: Springer International PublishingISBN: 978-3-030-63287-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark69,54 € (inkl. MwSt.)
sofort verfügbar -
Mittelbach / Fischlin The Theory of Hash Functions and Random Oracles
An Approach to Modern Cryptography1. Auflage 2021Verlag: SpringerISBN: 978-3-030-63289-2Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Alvim / Chatzikokolakis / McIver The Science of Quantitative Information Flow
1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-319-96131-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark64,19 € (inkl. MwSt.)
sofort verfügbar -
Alvim / Chatzikokolakis / McIver The Science of Quantitative Information Flow
1. Auflage 2020Verlag: SpringerISBN: 978-3-319-96129-3Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Patarin / Volte / Cogliati Guide to Feistel Ciphers
Security Proofs and Cryptanalysis2. Auflage 2026Verlag: SpringerISBN: 978-3-031-99849-2Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Giustolisi Modelling and Verification of Secure Exams
1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-67107-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Giustolisi Modelling and Verification of Secure Exams
Softcover Nachdruck of the original 1. Auflage 2018Verlag: SpringerISBN: 978-3-030-09789-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Giustolisi Modelling and Verification of Secure Exams
1. Auflage 2018Verlag: SpringerISBN: 978-3-319-67106-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Boyd / Mathuria / Stebila Protocols for Authentication and Key Establishment
2. Auflage 2020Verlag: SpringerISBN: 978-3-662-58146-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark128,39 € (inkl. MwSt.)
sofort verfügbar -
Boyd / Mathuria / Stebila Protocols for Authentication and Key Establishment
2. Auflage 2020Verlag: SpringerISBN: 978-3-662-58145-2Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ciampi / Siniscalchi Round and Computational Efficiency of Multi-party Protocols
Erscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-92373-9Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lin Novel Techniques in Recovering, Embedding, and Enforcing Policies for Control-Flow Integrity
1. Auflage 2021Verlag: SpringerISBN: 978-3-030-73140-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nguyen / Vallée The LLL Algorithm
Survey and Applications1. Auflage 2012Verlag: SpringerISBN: 978-3-642-26164-0Medium: Buch246,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hazay / Lindell Efficient Secure Two-Party Protocols
Techniques and Constructions1. Auflage 2013Verlag: SpringerISBN: 978-3-642-26576-1Medium: Buch181,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nguyen / Vallée The LLL Algorithm
Survey and ApplicationsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02294-4Medium: Buch246,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hazay / Lindell Efficient Secure Two-Party Protocols
Techniques and Constructions1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-14302-1Medium: Buch181,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort