Items where Author / Artist / Editor is "Jarvis, Stephen"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

Aiash, Mahdi ORCID logoORCID:, Mapp, Glenford E. ORCID logoORCID:, Phan, Raphael, Lasebae, Aboubaker ORCID logoORCID: and Loo, Jonathan (2012) A formally verified device authentication protocol using Casper/FDR. In: 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom). Min, Geyong, Wu, Yulei, Liu, Lei (Chris), Jin, Xiaolong, Jarvis, Stephen and Al-Dubai, Ahmed Y., eds. IEEE, pp. 1293-1298. ISBN 9781467321723. [Book Section] (doi:10.1109/TrustCom.2012.27)

This list was generated on Sun Sep 24 04:04:16 2023 BST.