Formal Verification of Authentication and Service Authorization Protocols in 5G-Enabled Device-to-Device Communications Using ProVerif



Edris, Ed Kamya Kiyemba, Aiash, Mahdi and Loo, Jonathan ORCID: 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).

Access the full-text of this item by clicking on the Open Access link.
Item Type: Article
Uncontrolled Keywords: 5G, D2D, security protocol, authentication, authorization, formal methods, ProVerif
Divisions: Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User: Symplectic Admin
Date Deposited: 23 Dec 2021 15:52
Last Modified: 23 Dec 2021 16:10
DOI: 10.3390/electronics10131608
Open Access URL: https://www.mdpi.com/2079-9292/10/13/1608
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3145982