Skip to main content

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