The perfect spy for model−checking crypto−protocols
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
1997
|
| _version_ | 1826298730999971840 |
|---|---|
| author | Roscoe, A Goldsmith, M |
| author_facet | Roscoe, A Goldsmith, M |
| author_sort | Roscoe, A |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T04:51:17Z |
| format | Conference item |
| id | oxford-uuid:d50bb5d9-fa51-4c2e-bbb7-64fa98bc16d9 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T04:51:17Z |
| publishDate | 1997 |
| record_format | dspace |
| spelling | oxford-uuid:d50bb5d9-fa51-4c2e-bbb7-64fa98bc16d92022-03-27T08:23:07ZThe perfect spy for model−checking crypto−protocolsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:d50bb5d9-fa51-4c2e-bbb7-64fa98bc16d9Department of Computer Science1997Roscoe, AGoldsmith, M |
| spellingShingle | Roscoe, A Goldsmith, M The perfect spy for model−checking crypto−protocols |
| title | The perfect spy for model−checking crypto−protocols |
| title_full | The perfect spy for model−checking crypto−protocols |
| title_fullStr | The perfect spy for model−checking crypto−protocols |
| title_full_unstemmed | The perfect spy for model−checking crypto−protocols |
| title_short | The perfect spy for model−checking crypto−protocols |
| title_sort | perfect spy for model checking crypto protocols |
| work_keys_str_mv | AT roscoea theperfectspyformodelcheckingcryptoprotocols AT goldsmithm theperfectspyformodelcheckingcryptoprotocols AT roscoea perfectspyformodelcheckingcryptoprotocols AT goldsmithm perfectspyformodelcheckingcryptoprotocols |