A Provably Secure ECC-based Multi-factor 5G-AKA Authentication Protocol | IEEE Conference Publication | IEEE Xplore