Role based specification and security analysis of cryptographic protocols using asynchronous product automata
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
21 S.
- Sprache
-
Englisch
- Erschienen in
-
GMD-Report / GMD-Forschungszentrum Informationstechnik ; 151
- Ereignis
-
Veröffentlichung
- (wo)
-
Sankt Augustin
- (wer)
-
GMD-Forschungszentrum Informationstechnik
- (wann)
-
2001
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:43 MESZ
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
- Gürgens, Sigrid
- Ochsenschläger, Peter
- Rudolph, Carsten
- GMD-Forschungszentrum Informationstechnik
Entstanden
- 2001
Ähnliche Objekte (12)
Automata-based Analysis of Recursive Cryptographic Protocols
Abstracting cryptographic protocols
Strategy properties for cryptographic protocols
Cryptographic protocols in optical communication
Cryptographic Protocols from Physical Assumptions
Symbolic Analysis of Cryptographic Protocols
Design and analysis of cryptographic protocols
Multipartite cryptographic protocols for quantum networks
Approaches to efficient and robust cryptographic protocols
Tree Transducer-based Analysis of Cryptographic Protocols
Efficient cryptographic protocols for wireless mesh networks
On the Decidability of Cryptographic Group Protocols
Automata-based Analysis of Recursive Cryptographic Protocols
Abstracting cryptographic protocols
Strategy properties for cryptographic protocols
Cryptographic protocols in optical communication
Cryptographic Protocols from Physical Assumptions
Symbolic Analysis of Cryptographic Protocols
Design and analysis of cryptographic protocols
Multipartite cryptographic protocols for quantum networks
Approaches to efficient and robust cryptographic protocols
Tree Transducer-based Analysis of Cryptographic Protocols
Efficient cryptographic protocols for wireless mesh networks
On the Decidability of Cryptographic Group Protocols
Automata-based Analysis of Recursive Cryptographic Protocols
Abstracting cryptographic protocols
Strategy properties for cryptographic protocols
Cryptographic protocols in optical communication
Cryptographic Protocols from Physical Assumptions
Symbolic Analysis of Cryptographic Protocols
Design and analysis of cryptographic protocols
Multipartite cryptographic protocols for quantum networks
Approaches to efficient and robust cryptographic protocols
Tree Transducer-based Analysis of Cryptographic Protocols
Efficient cryptographic protocols for wireless mesh networks