Michael Backes Birgit Pfitzmann Michael Waidner Symmetric authentication in a simulatable Dolev-Yao-style cryptographic library. 135-154 2005 4 Int. J. Inf. Sec. 3 http://dx.doi.org/10.1007/s10207-004-0056-6 db/journals/ijisec/ijisec4.html#BackesPW05