Jump to Content

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