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

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