Reasoning about Cryptographic Protocols in the Spi Calculus

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

Abstract

Research Areas