The Modelling and Analysis of Security Protocols

Bibliographic Details
Main Authors: Roscoe, A, Ryan, P, Schneider, S, Goldsmith, M, Lowe, G
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