PSLP-5G: A Provably Secure and Lightweight Protocol for 5G Communication | IEEE Conference Publication | IEEE Xplore