Specifying Authentication Protocols Using Rewriting and Strategies

Horatiu Cirstea. Specifying Authentication Protocols Using Rewriting and Strategies. In I. V. Ramakrishnan, editor, Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001, Proceedings. Volume 1990 of Lecture Notes in Computer Science, pages 138-152, Springer, 2001. [doi]