Philippa J. Hopcroft Gavin Lowe Analysing a stream authentication protocol using model checking. 2-13 2004 3 Int. J. Inf. Sec. 1 http://dx.doi.org/10.1007/s10207-004-0040-1 db/journals/ijisec/ijisec3.html#HopcroftL04