2PAKEP: Provably Secure and Efficient Two-Party Authenticated Key Exchange Protocol for Mobile Environment | IEEE Journals & Magazine | IEEE Xplore