Boreale, Michele and De Nicola, Rocco and Pugliese, Rosario  Proof Techniques for Cryptographic Processes.  SIAM Journal on Computing., 31 (3).  pp. 947-986.  ISSN 0097-5397      (2001)