A Bisimulation Method for Cryptographic Protocols

Andrew D. Gordon
ESOP(1998), pp. 12-26

Abstract

Research Areas