Design and Verification of Anonymous Trust Protocols

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]

Authors

Michael Backes

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

Matteo Maffei

This author has not been identified. Look up 'Matteo Maffei' in Google