Reasoning about security protocols

Reasoning about security protocols

Bibliographic Details
Main Author: Chang, Che-Hao Albert
Published: University of Cambridge 2000
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.621505
id ndltd-bl.uk-oai-ethos.bl.uk-621505
record_format oai_dc
spelling ndltd-bl.uk-oai-ethos.bl.uk-6215052015-03-20T05:57:49ZReasoning about security protocolsChang, Che-Hao Albert2000University of Cambridgehttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.621505Electronic Thesis or Dissertation
collection NDLTD
sources NDLTD
author Chang, Che-Hao Albert
spellingShingle Chang, Che-Hao Albert
Reasoning about security protocols
author_facet Chang, Che-Hao Albert
author_sort Chang, Che-Hao Albert
title Reasoning about security protocols
title_short Reasoning about security protocols
title_full Reasoning about security protocols
title_fullStr Reasoning about security protocols
title_full_unstemmed Reasoning about security protocols
title_sort reasoning about security protocols
publisher University of Cambridge
publishDate 2000
url http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.621505
work_keys_str_mv AT changchehaoalbert reasoningaboutsecurityprotocols
_version_ 1716795306990895104

Similar Items