A Probabilistic Poly-time Framework for Protocol Analysis (1998)

by P Lincoln, J Mitchell, M Mitchell, A Scedrov
Venue:5th ACM Conf. on Computer and Communication Security