Searching for "Fault-Preserving Simplifying Transformations for Security Protocols." – sorted by Relevance.
-
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

