Joshua D. Guttman, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen. Programming Cryptographic Protocols. In Rocco De Nicola, Davide Sangiorgi, editors, Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers. Volume 3705 of Lecture Notes in Computer Science, pages 116-145, Springer, 2005. [doi]