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

by P. Lincoln , J. Mitchell , M. Mitchell , A. Scedrov
Citations:112 - 6 self