Rob Verhoeven, Francien Dechesne. Verifying Multi-party Authentication Using Rank Functions and PVS. In Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli, editors, Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers. Volume 5491 of Lecture Notes in Computer Science, pages 226-241, Springer, 2008. [doi]
Abstract is missing.