- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Bochum, Ruhr-Universität Bochum, Diss., 2015
- Classification
-
Informatik
- Keyword
-
Kryptologie
Sicherheit
Kommunikationsprotokoll
Schlüsselaustauschprotokoll
Reduktion
- Event
-
Veröffentlichung
- (where)
-
Bochum
- (who)
-
Ruhr-Universität Bochum
- (when)
-
2016
- Creator
- Contributor
-
Schwenk, Jörg
Hofheinz, Dennis
- URN
-
urn:nbn:de:hbz:294-45471
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:42 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Li, Yong
- Schwenk, Jörg
- Hofheinz, Dennis
- Ruhr-Universität Bochum
Time of origin
- 2016
Other Objects (12)
Design and cryptographic security analysis of e-voting protocols
Symbolic Analysis of Cryptographic Protocols
Abstracting cryptographic protocols
Automata-based Analysis of Recursive Cryptographic Protocols
Analysis of selected cryptographic protocols with DY*
Tree Transducer-based Analysis of Cryptographic Protocols
Cryptographic Protocols from Physical Assumptions
Cryptographic protocols in optical communication
Strategy properties for cryptographic protocols
Modeling and analyzing cryptographic real-world protocols
Approaches to efficient and robust cryptographic protocols
Multipartite cryptographic protocols for quantum networks
Design and cryptographic security analysis of e-voting protocols
Symbolic Analysis of Cryptographic Protocols
Abstracting cryptographic protocols
Automata-based Analysis of Recursive Cryptographic Protocols
Analysis of selected cryptographic protocols with DY*
Tree Transducer-based Analysis of Cryptographic Protocols
Cryptographic Protocols from Physical Assumptions
Cryptographic protocols in optical communication
Strategy properties for cryptographic protocols
Modeling and analyzing cryptographic real-world protocols
Approaches to efficient and robust cryptographic protocols
Multipartite cryptographic protocols for quantum networks
Design and cryptographic security analysis of e-voting protocols
Symbolic Analysis of Cryptographic Protocols
Abstracting cryptographic protocols
Automata-based Analysis of Recursive Cryptographic Protocols
Analysis of selected cryptographic protocols with DY*
Tree Transducer-based Analysis of Cryptographic Protocols
Cryptographic Protocols from Physical Assumptions
Cryptographic protocols in optical communication
Strategy properties for cryptographic protocols
Modeling and analyzing cryptographic real-world protocols
Approaches to efficient and robust cryptographic protocols