Skip to main content

Towards a Completeness Result for Model Checking of Security Protocols

Gavin Lowe

Journal
Journal of Computer Security
Number
1
Volume
7
Year
1999