Provably Secure Client-Server Key Management Scheme in 5G Networks. (22nd October 2021)