Analysing a stream authentication protocol using model checking
Philippa J. Hopcroft and Gavin Lowe
Details
| 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 |
Links
DOI (10.1007/s10207-004-0040-1)
Related pages
|
People |