- Sprache
-
Englisch
- Umfang
-
Online-Ressource
- ISSN
-
2192-6247
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Erschienen in
-
Technische Berichte des Instituts für Informatik der CAU Kiel ; 0311
- Klassifikation
-
Informatik
- Urheber
- Ereignis
-
Veröffentlichung
- (wo)
-
Kiel
- (wer)
-
Universitätsbibliothek Kiel
- (wann)
-
2003
- URN
-
urn:nbn:de:gbv:8:1-zs-00000167-a2
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:56 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
- Küsters, Ralf
- Wilke, Thomas
- Universitätsbibliothek Kiel
Entstanden
- 2003
Ähnliche Objekte (12)
Role based specification and security analysis of cryptographic protocols using asynchronous product automata
Abstracting cryptographic protocols
Tree Transducer-based Analysis of Cryptographic Protocols
Automata-based model checking of recursive systems
On the cryptographic security of browser-based protocols
Symbolic Analysis of Cryptographic Protocols
Cryptographic Protocols from Physical Assumptions
Cryptographic protocols in optical communication
Strategy properties for cryptographic protocols
Design and analysis of cryptographic protocols
Multipartite cryptographic protocols for quantum networks
Modeling and analyzing cryptographic real-world protocols
Role based specification and security analysis of cryptographic protocols using asynchronous product automata
Abstracting cryptographic protocols
Tree Transducer-based Analysis of Cryptographic Protocols
Automata-based model checking of recursive systems
On the cryptographic security of browser-based protocols
Symbolic Analysis of Cryptographic Protocols
Cryptographic Protocols from Physical Assumptions
Cryptographic protocols in optical communication
Strategy properties for cryptographic protocols
Design and analysis of cryptographic protocols
Multipartite cryptographic protocols for quantum networks
Modeling and analyzing cryptographic real-world protocols
Role based specification and security analysis of cryptographic protocols using asynchronous product automata
Abstracting cryptographic protocols
Tree Transducer-based Analysis of Cryptographic Protocols
Automata-based model checking of recursive systems
On the cryptographic security of browser-based protocols
Symbolic Analysis of Cryptographic Protocols
Cryptographic Protocols from Physical Assumptions
Cryptographic protocols in optical communication
Strategy properties for cryptographic protocols
Design and analysis of cryptographic protocols
Multipartite cryptographic protocols for quantum networks