Gavin Lowe Analysing Protocol Subject to Guessing Attacks. 83-98 2004 12 Journal of Computer Security 1 db/journals/jcs/jcs12.html#Lowe04