A Calculus for Cryptographic Protocols: The Spi Calculus

Andrew D. Gordon
ACM Conference on Computer and Communications Security(1997), pp. 36-47

Abstract

Research Areas