Intensional specifications of security protocols

Bibliographic Details
Main Author: Roscoe, A
Format: Conference item
Published: IEEE 1996
_version_ 1797065806530478080
author Roscoe, A
author_facet Roscoe, A
author_sort Roscoe, A
collection OXFORD
description
first_indexed 2024-03-06T21:33:52Z
format Conference item
id oxford-uuid:459482df-3619-4965-a253-3ce1726322b2
institution University of Oxford
last_indexed 2024-03-06T21:33:52Z
publishDate 1996
publisher IEEE
record_format dspace
spelling oxford-uuid:459482df-3619-4965-a253-3ce1726322b22022-03-26T15:08:33ZIntensional specifications of security protocolsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:459482df-3619-4965-a253-3ce1726322b2Department of Computer ScienceIEEE1996Roscoe, A
spellingShingle Roscoe, A
Intensional specifications of security protocols
title Intensional specifications of security protocols
title_full Intensional specifications of security protocols
title_fullStr Intensional specifications of security protocols
title_full_unstemmed Intensional specifications of security protocols
title_short Intensional specifications of security protocols
title_sort intensional specifications of security protocols
work_keys_str_mv AT roscoea intensionalspecificationsofsecurityprotocols