Sigrid Gürgens Javier Lopez René Peralta Analysis of e-commerce protocols: Adapting a traditional technique. 21-36 2003 2 Int. J. Inf. Sec. 1 http://dx.doi.org/10.1007/s10207-003-0021-9 db/journals/ijisec/ijisec2.html#GurgensLP03