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]
@inproceedings{BackesM09,
title = {Design and Verification of Anonymous Trust Protocols},
author = {Michael Backes and Matteo Maffei},
year = {2009},
doi = {10.1007/978-3-642-36213-2_17},
url = {http://dx.doi.org/10.1007/978-3-642-36213-2_17},
researchr = {https://researchr.org/publication/BackesM09},
cites = {0},
citedby = {0},
pages = {143-148},
booktitle = {Security Protocols XVII, 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers},
editor = {Bruce Christianson and James A. Malcolm and Vashek Matyas and Michael Roe},
volume = {7028},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-36213-2},
}