An efficient authentication protocol with user anonymity for mobile networks | IEEE Conference Publication | IEEE Xplore