Jump to Content

Reasoning about Cryptographic Protocols in the Spi Calculus

Andrew D. Gordon
CONCUR (1997), pp. 59-73

Abstract

Research Areas