A Type and Effect Analysis of Security Protocols.

Andrew D. Gordon, Alan Jeffrey

Browse the full SAS paper archive.