Analysing a Stream Authentication Protocol Using Model Checking
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
Springer
2002
|
| _version_ | 1826280293114314752 |
|---|---|
| author | Broadfoot, P Lowe, G |
| author_facet | Broadfoot, P Lowe, G |
| author_sort | Broadfoot, P |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T00:11:31Z |
| format | Conference item |
| id | oxford-uuid:79664177-294c-44ec-9623-7fb040f5f8a2 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T00:11:31Z |
| publishDate | 2002 |
| publisher | Springer |
| record_format | dspace |
| spelling | oxford-uuid:79664177-294c-44ec-9623-7fb040f5f8a22022-03-26T20:37:10ZAnalysing a Stream Authentication Protocol Using Model CheckingConference itemhttp://purl.org/coar/resource_type/c_5794uuid:79664177-294c-44ec-9623-7fb040f5f8a2Department of Computer ScienceSpringer2002Broadfoot, PLowe, G |
| spellingShingle | Broadfoot, P Lowe, G Analysing a Stream Authentication Protocol Using Model Checking |
| title | Analysing a Stream Authentication Protocol Using Model Checking |
| title_full | Analysing a Stream Authentication Protocol Using Model Checking |
| title_fullStr | Analysing a Stream Authentication Protocol Using Model Checking |
| title_full_unstemmed | Analysing a Stream Authentication Protocol Using Model Checking |
| title_short | Analysing a Stream Authentication Protocol Using Model Checking |
| title_sort | analysing a stream authentication protocol using model checking |
| work_keys_str_mv | AT broadfootp analysingastreamauthenticationprotocolusingmodelchecking AT loweg analysingastreamauthenticationprotocolusingmodelchecking |