Report Number: CS-TN-98-78
Institution: Stanford University, Department of Computer Science
Title: A Probabilistic Poly-time Framework for Protocol Analysis
Author: Lincoln, P.
Author: Mitchell, J.
Author: Mitchell, M.
Author: Scedrov, A.
Date: April 3, 1998
Abstract: We develop a framework for analyzing security protocols
http://i.stanford.edu/pub/cstr/reports/cs/tn/98/78/CS-TN-98-78.pdf