Myrto Arapinis Marie Duflot Bounding Messages for Free in Security Protocols. 376-387 2007 conf/fsttcs/2007 FSTTCS http://dx.doi.org/10.1007/978-3-540-77050-3_31 db/conf/fsttcs/fsttcs2007.html#ArapinisD07