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).