Items where Author / Artist / Editor is "Liu, Lei (Chris)"
 | See full list of headings |
Group by: Item Type | No Grouping
Number of items: 1.
Aiash, Mahdi 
ORCID: https://orcid.org/0000-0002-3984-6244, Mapp, Glenford E. ORCID: https://orcid.org/0000-0002-0539-5852, Phan, Raphael, Lasebae, Aboubaker ORCID: https://orcid.org/0000-0003-2312-9694 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)
