Jay A. McCarthy, Shriram Krishnamurthi. Cryptographic Protocol Explication and End-Point Projection. In Sushil Jajodia, Javier Lopez, editors, Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings. Volume 5283 of Lecture Notes in Computer Science, pages 533-547, Springer, 2008. [doi]
Abstract is missing.