Per Harald Myrvang, Tage Stabell-Kulø. Cordial Security Protocol Programming. In Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe, editors, Security Protocols, 14th International Workshop, Cambridge, UK, March 27-29, 2006, Revised Selected Papers. Volume 5087 of Lecture Notes in Computer Science, pages 62-84, Springer, 2006. [doi]
Abstract is missing.