Proving Authentication Properties in the Protocol Derivation Assistant
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
ACM
2006
|
| _version_ | 1826265943496458240 |
|---|---|
| author | Anlauff, M Pavlovic, D Waldinger, R Westfold, S |
| author_facet | Anlauff, M Pavlovic, D Waldinger, R Westfold, S |
| author_sort | Anlauff, M |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T20:31:29Z |
| format | Conference item |
| id | oxford-uuid:3131404f-c9b9-4fc0-abd1-581522cff091 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T20:31:29Z |
| publishDate | 2006 |
| publisher | ACM |
| record_format | dspace |
| spelling | oxford-uuid:3131404f-c9b9-4fc0-abd1-581522cff0912022-03-26T13:06:21ZProving Authentication Properties in the Protocol Derivation AssistantConference itemhttp://purl.org/coar/resource_type/c_5794uuid:3131404f-c9b9-4fc0-abd1-581522cff091Department of Computer ScienceACM2006Anlauff, MPavlovic, DWaldinger, RWestfold, S |
| spellingShingle | Anlauff, M Pavlovic, D Waldinger, R Westfold, S Proving Authentication Properties in the Protocol Derivation Assistant |
| title | Proving Authentication Properties in the Protocol Derivation Assistant |
| title_full | Proving Authentication Properties in the Protocol Derivation Assistant |
| title_fullStr | Proving Authentication Properties in the Protocol Derivation Assistant |
| title_full_unstemmed | Proving Authentication Properties in the Protocol Derivation Assistant |
| title_short | Proving Authentication Properties in the Protocol Derivation Assistant |
| title_sort | proving authentication properties in the protocol derivation assistant |
| work_keys_str_mv | AT anlauffm provingauthenticationpropertiesintheprotocolderivationassistant AT pavlovicd provingauthenticationpropertiesintheprotocolderivationassistant AT waldingerr provingauthenticationpropertiesintheprotocolderivationassistant AT westfolds provingauthenticationpropertiesintheprotocolderivationassistant |