1. Proof of soundness (integrity) of cryptographic protocols

   • G. J. Simmons

   OriginalPaper Pages: 69 - 77

2. Three systems for cryptographic protocol analysis

   • R. Kemmerer
   • C. Meadows
   • J. Millen

   OriginalPaper Pages: 79 - 130