Boreale, Michele and Buscemi, Maria Grazia A Framework for the Analysis of Security Protocols. In: Proceedings of the 13th International Conference on Concurrency Theory (CONCUR ’02). Lecture Notes in Computer Science, 2421 . Springer, pp. 483-498. ISBN 3-540-44043-7 (2002)