Safe Simplifying Transformations for Security Protocols
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
1999
|
| _version_ | 1797089773957939200 |
|---|---|
| author | Hui, M Lowe, G |
| author_facet | Hui, M Lowe, G |
| author_sort | Hui, M |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T03:08:55Z |
| format | Conference item |
| id | oxford-uuid:b37fe53e-fe61-4adc-a481-cfa7ca82cfb9 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T03:08:55Z |
| publishDate | 1999 |
| record_format | dspace |
| spelling | oxford-uuid:b37fe53e-fe61-4adc-a481-cfa7ca82cfb92022-03-27T04:19:35ZSafe Simplifying Transformations for Security ProtocolsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:b37fe53e-fe61-4adc-a481-cfa7ca82cfb9Department of Computer Science1999Hui, MLowe, G |
| spellingShingle | Hui, M Lowe, G Safe Simplifying Transformations for Security Protocols |
| title | Safe Simplifying Transformations for Security Protocols |
| title_full | Safe Simplifying Transformations for Security Protocols |
| title_fullStr | Safe Simplifying Transformations for Security Protocols |
| title_full_unstemmed | Safe Simplifying Transformations for Security Protocols |
| title_short | Safe Simplifying Transformations for Security Protocols |
| title_sort | safe simplifying transformations for security protocols |
| work_keys_str_mv | AT huim safesimplifyingtransformationsforsecurityprotocols AT loweg safesimplifyingtransformationsforsecurityprotocols |