Items where Author / Artist / Editor is "Al-Dubai, Ahmed Y."
|See full list of headings|
Aiash, Mahdi and Mapp, Glenford E. and Phan, Raphael and Lasebae, Aboubaker 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 and Wu, Yulei and Liu, Lei (Chris) and Jin, Xiaolong and Jarvis, Stephen and Al-Dubai, Ahmed Y., eds. IEEE, pp. 1293-1298. ISBN 9781467321723