Browse by Journal
![]() | See full list of headings |
Jump to: E
Number of items: 1.
E
Edris, Ed Kamya Kiyemba ORCID: https://orcid.org/0000-0001-5981-9844, Aiash, Mahdi
ORCID: https://orcid.org/0000-0002-3984-6244 and Loo, Jonathan
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)
, e1608.
ISSN 2079-9292
[Article]
(doi:10.3390/electronics10131608)