Call by contract for cryptographic protocol (2006)

by Jonathan Millen, Joshua Guttman, John Ramsdell, Justin Sheehy, Brian Sniffen
Venue:In FCS-ARSPA