- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Kiel, Christian-Albrechts-Universität, Diss., 2008
- Keyword
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Kiel
- (who)
-
Universitätsbibliothek Kiel
- (when)
-
2009
- Creator
- URN
-
urn:nbn:de:gbv:8-diss-30713
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
2025-03-25T13:57:02+0100
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
- Kähler, Detlef
- Universitätsbibliothek Kiel
Time of origin
- 2009
Other Objects (12)
Abstracting cryptographic protocols
Deciding Epistemic and Strategic Properties of Cryptographic Protocols.
Multipartite cryptographic protocols for quantum networks
Efficient cryptographic protocols for wireless mesh networks
Symbolic Analysis of Cryptographic Protocols
Cryptographic Protocols from Physical Assumptions
Cryptographic protocols in optical communication
Infinite state AMC-model checking for cryptographic protocols
Cryptographic protocols and algorithms for distributed multimedia systems
Design and analysis of cryptographic protocols
Automata-based Analysis of Recursive Cryptographic Protocols
Modeling and analyzing cryptographic real-world protocols
Abstracting cryptographic protocols
Deciding Epistemic and Strategic Properties of Cryptographic Protocols.
Multipartite cryptographic protocols for quantum networks
Efficient cryptographic protocols for wireless mesh networks
Symbolic Analysis of Cryptographic Protocols
Cryptographic Protocols from Physical Assumptions
Cryptographic protocols in optical communication
Infinite state AMC-model checking for cryptographic protocols
Cryptographic protocols and algorithms for distributed multimedia systems
Design and analysis of cryptographic protocols
Automata-based Analysis of Recursive Cryptographic Protocols
Modeling and analyzing cryptographic real-world protocols
Abstracting cryptographic protocols
Deciding Epistemic and Strategic Properties of Cryptographic Protocols.
Multipartite cryptographic protocols for quantum networks
Efficient cryptographic protocols for wireless mesh networks
Symbolic Analysis of Cryptographic Protocols
Cryptographic Protocols from Physical Assumptions
Cryptographic protocols in optical communication
Infinite state AMC-model checking for cryptographic protocols
Cryptographic protocols and algorithms for distributed multimedia systems
Design and analysis of cryptographic protocols
Automata-based Analysis of Recursive Cryptographic Protocols