Towards a Completeness Result for Model Checking of Security Protocols (Journal of Computer Security, 1999)

(untitled) - Lowe, G