Design and Verification of Anonymous Trust Protocols

Michael Backes. 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 149-156, Springer, 2009. [doi]

Authors

Michael Backes

This author has not been identified. Look up 'Michael Backes' in Google