Proof techniques for cryptographic processes. (2001)

by M Boreale, R De Nicola, R Pugliese
Venue:SIAM J. Comput.,