Michael Backes, Matteo Maffei. Design and Verification of Anonymous Trust Protocols. In Bruce Christianson, James A. Malcolm, Vashek Matyas, Michael Roe, editors, Security Protocols XVII, 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers. Volume 7028 of Lecture Notes in Computer Science, pages 143-148, Springer, 2009. [doi]
Abstract is missing.