Edris, E.K.K., M., Aiash and Jonathan, Loo ORCID: https://orcid.org/0000-0002-2197-8126 (2021) Formal verification of authentication and service authorization protocols in 5G-enabled device-to-device communications using ProVerif. Electronics, 10 (13).