%0 Journal Article
%T Formal Verification of Authentication and Service Authorization Protocols in 5G-Enabled Device-To-Device Communications Using ProVerif
%A Edris, Ed Kamya Kiyemba
%A Aiash, Mahdi
%A Loo, Jonathan
%J Electronics
%V 10
%N 13
%@ 2079-9292
%D 2021-07-05
%I Multidisciplinary Digital Publishing Institute
%~ DeepDyve