Stephen H. Brackin. Using Checkable Types in Automatic Protocol Analysis. In 15th Annual Computer Security Applications Conference (ACSAC 1999), 6-10 December 1999, Scottsdale, AZ, USA. pages 99-108, IEEE Computer Society, 1999. [doi]
Abstract is missing.