Fault−Preserving Simplifying Transformations for Security Protocols
Mei Lin Hui and Gavin Lowe
Journal
Journal of Computer Security
Number
1/2
Pages
3−46
Volume
9
Year
2001
Mei Lin Hui and Gavin Lowe