Mei Lin Hui - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 3 from 3

2001

Fault-Preserving Simplifying Transformations for Security ProtocolsMei Lin Hui, Gavin Lowe. jcs, 9(1/2):3-46, 2001.

A CSP approach to the analysis of security protocolsMei Lin Hui. PhD thesis, University of Leicester, UK, 2001. [doi]

1999

Safe Simplifying Transformations for Security ProtocolsMei Lin Hui, Gavin Lowe. csfw 1999: 32-43 [doi]

Sign in or sign up to see more results.

runs on WebDSL