Michele Bugliesi Riccardo Focardi Matteo Maffei Authenticity by tagging and typing. 1-12 2004 conf/ccs/2004 FMSE http://doi.acm.org/10.1145/1029133.1029135 db/conf/ccs/ccs2004.html#BugliesiFM04