Analysing a stream authentication protocol using model checking (Int. J. Inf. Sec., 2004)

(untitled) - Hopcroft, P; Lowe, G