- Massimo Benerecetti, Fausto Giunchiglia:
Model Checking Security Protocols Using a Logic of Belief. TACAS 2000: 519-534 - 1999
- Gavin Lowe:
Towards a Completeness Result for Model Checking of Security Protocols. J. Comput. Secur. 7(1): 89-146 (1999) - 1998
- Gavin Lowe:
Towards a Completeness Result for Model Checking of Security Protocols. CSFW 1998: 96-105