A probabilistic poly-time framework for protocol analysis (1998)

by P Lincoln, M Mitchell, J Mitchell, A Scedrov
Venue:Proc. 5-th ACM Conference on Computer and Communications Security