Fault-Preserving Simplifying Transformations for Security Protocols.

Mei Lin Hui Gavin Lowe Fault-Preserving Simplifying Transformations for Security Protocols. 3-46 2001 9 Journal of Computer Security 1/2 db/journals/jcs/jcs9.html#HuiL01