- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
2192-6247
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Technische Berichte des Instituts für Informatik ; Nr. 10,12
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Kiel
- (wer)
-
Institut für Informatik / Christian-Albrechts-Universität zu Kiel
- (wann)
-
2010
- Urheber
- URN
-
urn:nbn:de:101:1-201202294291
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:49 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.
Beteiligte
- Schnoor, Henning
- Institut für Informatik / Christian-Albrechts-Universität zu Kiel
Entstanden
- 2010
Ähnliche Objekte (12)
Strategy properties for cryptographic protocols
Abstracting cryptographic protocols
Symbolic Analysis of Cryptographic Protocols
Cryptographic Protocols from Physical Assumptions
Cryptographic protocols in optical communication
Design and analysis of cryptographic protocols
Multipartite cryptographic protocols for quantum networks
Automata-based Analysis of Recursive Cryptographic Protocols
Modeling and analyzing cryptographic real-world protocols
Approaches to efficient and robust cryptographic protocols
On the Decidability of Cryptographic Group Protocols
Analysis of selected cryptographic protocols with DY*
Strategy properties for cryptographic protocols
Abstracting cryptographic protocols
Symbolic Analysis of Cryptographic Protocols
Cryptographic Protocols from Physical Assumptions
Cryptographic protocols in optical communication
Design and analysis of cryptographic protocols
Multipartite cryptographic protocols for quantum networks
Automata-based Analysis of Recursive Cryptographic Protocols
Modeling and analyzing cryptographic real-world protocols
Approaches to efficient and robust cryptographic protocols
On the Decidability of Cryptographic Group Protocols
Analysis of selected cryptographic protocols with DY*
Strategy properties for cryptographic protocols
Abstracting cryptographic protocols
Symbolic Analysis of Cryptographic Protocols
Cryptographic Protocols from Physical Assumptions
Cryptographic protocols in optical communication
Design and analysis of cryptographic protocols
Multipartite cryptographic protocols for quantum networks
Automata-based Analysis of Recursive Cryptographic Protocols
Modeling and analyzing cryptographic real-world protocols
Approaches to efficient and robust cryptographic protocols
On the Decidability of Cryptographic Group Protocols