Analysing protocols subject to guessing attacks
Gavin Lowe · Journal of Computer Security · 2004
In this paper we consider guessing attacks upon security protocols, where an intruder guesses one of the values used (typically a poorly-chosen password) and then seeks to verify that guess. We formalise such attacks, and in particular the way in whi