Analysing a stream authentication protocol using model checking - Hopcroft, P; Lowe, G (2004)