Journal article icon

Journal article

Analysing a stream authentication protocol using model checking

Actions


Access Document


Publisher copy:
10.1007/s10207-004-0040-1

Authors


Philippa J. Hopcroft More by this author
Gavin Lowe More by this author
Journal:
Int. J. Inf. Sec.
Volume:
3
Issue:
1
Pages:
2-13
Publication date:
2004
DOI:
URN:
uuid:d91a5e7d-7968-46a3-b183-0b573850cac5
Local pid:
cs:654

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP