Proof techniques for cryptographic processes (1999)

by M Boreale, R De Nicola, R Pugliese
Venue:In Logic in Computer Science