SPLICE-AS: A Case Study in Using CSP to Detect Errors (1996)

by Gavin Lowe
Venue:in Security Protocols. Technical report, Programming Research Group