- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
0387953876
- Maße
-
24 cm
- Umfang
-
XVIII, 320 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Schlagwort
-
Computersicherheit
Kryptologie
Softwarearchitektur
Computerarchitektur
CASHE
Verifikation
- Ereignis
-
Veröffentlichung
- (wo)
-
New York, Berlin, Heidelberg, Hong Kong, London, Milan, Paris, Tokyo
- (wer)
-
Springer
- (wann)
-
2004
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:01 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Gutmann, Peter
- Springer
Entstanden
- 2004
Ähnliche Objekte (12)
Formal verification of cryptographic security proofs
Design and security analysis of cryptographic hardware primitives
Belief change and cryptographic protocol verification
Design and cryptographic security analysis of e-voting protocols
Quantum security of cryptographic primitives
Quantum Security of Cryptographic Primitives
Security of Cryptographic Primitives in Advanced Security Notions
Extremal Quantum Correlations and Cryptographic Security
Formal verification and automated masking of cryptographic hardware
Locking-enabled security analysis of cryptographic circuits
Efficient Cryptographic Constructions with Strong Security Guarantees
RV-TEE: secure cryptographic protocol execution based on runtime verification
Formal verification of cryptographic security proofs
Design and security analysis of cryptographic hardware primitives
Belief change and cryptographic protocol verification
Design and cryptographic security analysis of e-voting protocols
Quantum security of cryptographic primitives
Quantum Security of Cryptographic Primitives
Security of Cryptographic Primitives in Advanced Security Notions
Extremal Quantum Correlations and Cryptographic Security
Formal verification and automated masking of cryptographic hardware
Locking-enabled security analysis of cryptographic circuits
Efficient Cryptographic Constructions with Strong Security Guarantees
RV-TEE: secure cryptographic protocol execution based on runtime verification
Formal verification of cryptographic security proofs
Design and security analysis of cryptographic hardware primitives
Belief change and cryptographic protocol verification
Design and cryptographic security analysis of e-voting protocols
Quantum security of cryptographic primitives
Quantum Security of Cryptographic Primitives
Security of Cryptographic Primitives in Advanced Security Notions
Extremal Quantum Correlations and Cryptographic Security
Formal verification and automated masking of cryptographic hardware
Locking-enabled security analysis of cryptographic circuits
Efficient Cryptographic Constructions with Strong Security Guarantees