Jump to Content

A Bisimulation Method for Cryptographic Protocols

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

Abstract

Research Areas