Mathieu Baudet Deciding security of protocols against off-line guessing attacks. 16-25 2005 conf/ccs/2005 ACM Conference on Computer and Communications Security http://doi.acm.org/10.1145/1102120.1102125 db/conf/ccs/ccs2005.html#Baudet05