Safe Simplifying Transformations for Security Protocols. - Mei Lin Hui; Gavin Lowe (CSFW, 1999)

Fault-Preserving Simplifying Transformations for Security Protocols. - Mei Lin Hui; Gavin Lowe (J. Comput. Secur., 2001)

A CSP approach to the analysis of security protocols. - Mei Lin Hui (2001)