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

Cached

Download Links

by Gavin Lowe
Venue:Journal of Computer Security
Citations:111 - 4 self