A Calculus for Cryptographic Protocols: The spi Calculus

Andrew D. Gordon
Inf. Comput., 148(1999), pp. 1-70

Abstract

Research Areas