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