Article

Edris, Ed Kamya Kiyemba, Aiash, Mahdi, Loo, Jonathan ORCID: https://orcid.org/0000-0002-2197-8126 and Alhakeem, Mohammad Shadi (2021) Formal verification of secondary authentication protocol for 5G secondary authentication. International Journal of Security and Networks, 16 (4). pp. 223-234. ISSN 1747-8405

Book Section

Edris, Ed Kamya Kiyemba, Aiash, Mahdi and Loo, Jonathan ORCID: https://orcid.org/0000-0002-2197-8126 (2021) Security in Network Services Delivery for 5G Enabled D2D Communications: Challenges and Solutions. In: Challenges in the IoT and Smart Environments A Practitioners' Guide to Security, Ethics and Criminal Threats. Advanced Sciences and Technologies for Security Applications ((ASTSA)). Springer, pp. 1-27. ISBN 9783030871666

Conference or Workshop Item

Edris, Ed Kamya Kiyemba, Aiash, Mahdi and Loo, Jonathan ORCID: https://orcid.org/0000-0002-2197-8126 (2020) Formal Verification and Analysis of Primary Authentication based on 5G-AKA Protocol. In: 2020 Seventh International Conference on Software Defined Systems (SDS), 20-23 Apr 2020, Paris, France.