Cryptographic Protocol Explication and End-Point Projection.

Jay A. McCarthy, Shriram Krishnamurthi

Browse the full ESORICS paper archive.