Jump to Content

A Calculus for Cryptographic Protocols: The spi Calculus

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

Abstract

Research Areas