Mei Lin Hui

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2001

2 Mei Lin Hui, Gavin Lowe: Fault-Preserving Simplifying Transformations for Security Protocols. Journal of Computer Security 9(1/2): 3-46 (2001)

1999

1 Mei Lin Hui, Gavin Lowe: Safe Simplifying Transformations for Security Protocols. CSFW 1999: 32-43

	2001
2		Mei Lin Hui, Gavin Lowe: Fault-Preserving Simplifying Transformations for Security Protocols. Journal of Computer Security 9(1/2): 3-46 (2001)
	1999
1		Mei Lin Hui, Gavin Lowe: Safe Simplifying Transformations for Security Protocols. CSFW 1999: 32-43

Coauthor Index

1 Gavin Lowe [1] [2]