Martín Abadi Security Protocols: Principles and Calculi. 1-23 2007 conf/fosad/2007 FOSAD http://dx.doi.org/10.1007/978-3-540-74810-6_1 db/conf/fosad/fosad2007.html#Abadi07