Ramaswamy Ramanujam S. P. Suresh Deciding knowledge properties of security protocols. 219-235 2005 conf/tark/2005 TARK http://doi.acm.org/10.1145/1089933.1089958 db/conf/tark/tark2005.html#RamanujamS05