Mei Lin Hui

According to our database, Mei Lin Hui authored at least 3 papers between 1999 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

A CSP approach to the analysis of security protocols.

Mei Lin Hui

PhD thesis, 2001

Fault-Preserving Simplifying Transformations for Security Protocols.

Mei Lin Hui, Gavin Lowe

J. Comput. Secur., 2001

1999

Safe Simplifying Transformations for Security Protocols.

Mei Lin Hui, Gavin Lowe

Proceedings of the 12th IEEE Computer Security Foundations Workshop, 1999