Searching for "Fault-Preserving Simplifying Transformations for Security Protocols." – sorted by Relevance.
2 documents found, showing 1 through 2.
-
Fault-Preserving Simplifying Transformations for Security Protocols or Not Just the Needham
- …Fault-Preserving Simplifying Transformations for Security Protocols or Not Just the Needham…
- Cited by 21 (2 self) – Add To MetaCart
-
Preface
- … for analysing electronic commerce protocols. In Quisquater et al. [13]. 5. G. Lowe and M. L. Hui. Fault-preserving…
- Add To MetaCart
Showing 1 through 2.
