- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Kiel, Christian-Albrechts-Universität, Diss., 2008
- Schlagwort
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Kiel
- (wer)
-
Universitätsbibliothek Kiel
- (wann)
-
2009
- Urheber
- URN
-
urn:nbn:de:gbv:8-diss-30713
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:57 MEZ
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.
Objekttyp
- Hochschulschrift
Beteiligte
- Kähler, Detlef
- Universitätsbibliothek Kiel
Entstanden
- 2009
Ähnliche Objekte (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