Andrea Bracciali GianLuigi Ferrari Emilio Tuosto A symbolic framework for multi-faceted security protocol analysis. 55-84 2008 7 Int. J. Inf. Sec. 1 http://dx.doi.org/10.1007/s10207-007-0043-9 db/journals/ijisec/ijisec7.html#BraccialiFT08