Items where Author is "Alabdulatif, A"

Journal article

ALABDULATIF, A. and MA, X., 2013. Analysing the EAP-TLS handshake and the 4-way handshake of the 802.11i standard. International Journal for Information Security Research (IJISR), 3 (34), pp. 439-448. ISSN 2042-4639

ALABDULATIF, A., MA, X. and NOLLE, L., 2013. A framework for proving the correctness of cryptographic protocol properties by linear temporal logic. International Journal of Digital Society (IJDS), 4 (2), pp. 789-797. ISSN 2040-2570

Chapter in book

ALABDULATIF, A., MA, X. and NOLLE, L., 2013. Analysing and attacking the 4-way handshake of IEEE 802.11i standard. In: 8th International Conference for Internet Technology and Secured Transactions (ICITST), London, 9 December 2013. IEEE, pp. 382-387. ISBN 9781908320209

Conference contribution

ALABDULATIF, A., MA, X. and NOLLE, L., 2012. A framework for cryptographic protocol analysis using linear temporal logic. In: International Conference on Information Society (i-Society 2012), London, June 2012, London.