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