A Type and Effect Analysis of Security Protocols.

Andrew D. GordonAlan Jeffrey
Published in: SAS (2001)