Analysing a stream authentication protocol using model checking - Hopcroft, P; Lowe, G (Int. J. Inf. Sec., 2004)