The Modelling and Analysis of Security Protocols
Main Authors: | , , , , |
---|---|
Format: | Book |
Published: |
Addison−Wesley
2001
|
_version_ | 1797054069014003712 |
---|---|
author | Roscoe, A Ryan, P Schneider, S Goldsmith, M Lowe, G |
author_facet | Roscoe, A Ryan, P Schneider, S Goldsmith, M Lowe, G |
author_sort | Roscoe, A |
collection | OXFORD |
description | |
first_indexed | 2024-03-06T18:52:22Z |
format | Book |
id | oxford-uuid:10ae7568-8cf3-4a98-8a31-719499751763 |
institution | University of Oxford |
last_indexed | 2024-03-06T18:52:22Z |
publishDate | 2001 |
publisher | Addison−Wesley |
record_format | dspace |
spelling | oxford-uuid:10ae7568-8cf3-4a98-8a31-7194997517632022-03-26T09:57:42ZThe Modelling and Analysis of Security ProtocolsBookhttp://purl.org/coar/resource_type/c_2f33uuid:10ae7568-8cf3-4a98-8a31-719499751763Department of Computer ScienceAddison−Wesley2001Roscoe, ARyan, PSchneider, SGoldsmith, MLowe, G |
spellingShingle | Roscoe, A Ryan, P Schneider, S Goldsmith, M Lowe, G The Modelling and Analysis of Security Protocols |
title | The Modelling and Analysis of Security Protocols |
title_full | The Modelling and Analysis of Security Protocols |
title_fullStr | The Modelling and Analysis of Security Protocols |
title_full_unstemmed | The Modelling and Analysis of Security Protocols |
title_short | The Modelling and Analysis of Security Protocols |
title_sort | modelling and analysis of security protocols |
work_keys_str_mv | AT roscoea themodellingandanalysisofsecurityprotocols AT ryanp themodellingandanalysisofsecurityprotocols AT schneiders themodellingandanalysisofsecurityprotocols AT goldsmithm themodellingandanalysisofsecurityprotocols AT loweg themodellingandanalysisofsecurityprotocols AT roscoea modellingandanalysisofsecurityprotocols AT ryanp modellingandanalysisofsecurityprotocols AT schneiders modellingandanalysisofsecurityprotocols AT goldsmithm modellingandanalysisofsecurityprotocols AT loweg modellingandanalysisofsecurityprotocols |