E-Books durchsuchen
Operational Semantics and Verification of Security Protocols [2012]
- 1
-
Introduction
- 2
-
Preliminaries
- 3
-
Operational Semantics
- 4
-
Security Properties
- 5
-
Verification
- 6
-
Multi-protocol Attacks
- 7
-
Generalising NSL for Multi-party Authentication
- 8
-
Historical Background and Further Reading