Patrick Lincoln John C. Mitchell Mark Mitchell Andre Scedrov A Probabilistic Poly-Time Framework for Protocol Analysis. 112-121 1998 ACM Conference on Computer and Communications Security http://doi.acm.org/10.1145/288090.288117 db/conf/ccs/ccs1998.html#LincolnMMS98