- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540681342
3540681345
- Dimensions
-
24 cm
- Extent
-
XVIII, 274 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturverz. S. 265 - 274
- Keyword
-
Sicherheitsprotokoll
Verifikation
Formale Methode
Induktionsbeweis
Automatisches Beweisverfahren
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York
- (who)
-
Springer
- (when)
-
2007
- Creator
-
Bella, Giampaolo
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:38 PM CEST
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.
Associated
- Bella, Giampaolo
- Springer
Time of origin
- 2007
Other Objects (12)
On the correctness of gossip based membership protocols
Security Aspects of Distance-Bounding Protocols
Security aspects of distance-bounding protocols
Cryptographically sound analysis of security protocols
Cryptographically sound analysis of security protocols
Computer architecture : complexity and correctness ; with 185 tables
Computer architecture : complexity and correctness ; with 185 tables
A collaborative environment for learning security protocols
A security gateway for web service protocols
Operational semantics and verification of security protocols
Security assessment of SCADA protocols : a taxonomy based methodology for the identification of security vulnerabilities in SCADA protocols
On the cryptographic security of browser-based protocols
On the correctness of gossip based membership protocols
Security Aspects of Distance-Bounding Protocols
Security aspects of distance-bounding protocols
Cryptographically sound analysis of security protocols
Cryptographically sound analysis of security protocols
Computer architecture : complexity and correctness ; with 185 tables
Computer architecture : complexity and correctness ; with 185 tables
A collaborative environment for learning security protocols
A security gateway for web service protocols
Operational semantics and verification of security protocols
Security assessment of SCADA protocols : a taxonomy based methodology for the identification of security vulnerabilities in SCADA protocols
On the cryptographic security of browser-based protocols
On the correctness of gossip based membership protocols
Security Aspects of Distance-Bounding Protocols
Security aspects of distance-bounding protocols
Cryptographically sound analysis of security protocols
Cryptographically sound analysis of security protocols
Computer architecture : complexity and correctness ; with 185 tables
Computer architecture : complexity and correctness ; with 185 tables
A collaborative environment for learning security protocols
A security gateway for web service protocols
Operational semantics and verification of security protocols
Security assessment of SCADA protocols : a taxonomy based methodology for the identification of security vulnerabilities in SCADA protocols