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

people

Gavin Lowe