| _version_ |
1797073319346831360
|
| author |
Roscoe, A
|
| author_facet |
Roscoe, A
|
| author_sort |
Roscoe, A
|
| collection |
OXFORD
|
| description |
|
| first_indexed |
2024-03-06T23:20:21Z
|
| format |
Conference item
|
| id |
oxford-uuid:6885de03-f086-4dd1-9898-52da9a335fb4
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-06T23:20:21Z
|
| publishDate |
1995
|
| publisher |
IEEE
|
| record_format |
dspace
|
| spelling |
oxford-uuid:6885de03-f086-4dd1-9898-52da9a335fb42022-03-26T18:45:21ZModelling and verifying key−exchange protocols using CSP and FDRConference itemhttp://purl.org/coar/resource_type/c_5794uuid:6885de03-f086-4dd1-9898-52da9a335fb4Department of Computer ScienceIEEE1995Roscoe, A
|
| spellingShingle |
Roscoe, A
Modelling and verifying key−exchange protocols using CSP and FDR
|
| title |
Modelling and verifying key−exchange protocols using CSP and FDR
|
| title_full |
Modelling and verifying key−exchange protocols using CSP and FDR
|
| title_fullStr |
Modelling and verifying key−exchange protocols using CSP and FDR
|
| title_full_unstemmed |
Modelling and verifying key−exchange protocols using CSP and FDR
|
| title_short |
Modelling and verifying key−exchange protocols using CSP and FDR
|
| title_sort |
modelling and verifying key exchange protocols using csp and fdr
|
| work_keys_str_mv |
AT roscoea modellingandverifyingkeyexchangeprotocolsusingcspandfdr
|