Provably Secure Nested One-Time Secret Mechanisms for Fast Mutual Authentication and Key Exchange in Mobile Communications | IEEE Journals & Magazine | IEEE Xplore