Analysing a stream authentication protocol using model checking
Philippa J. Hopcroft and Gavin Lowe
Journal
Int. J. Inf. Sec.
Note
The CSP scripts associated with this paper are available here: http://web.comlab.ox.ac.uk/oucl/work/gavin.lowe/Security/Papers/TESLA/index.html
Number
1
Pages
2−13
Volume
3
Year
2004