"Programming Cryptographic Protocols."

Joshua D. Guttman et al. (2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics