A Provably Secure and Lightweight Identity-Based Two-Party Authenticated Key Agreement Protocol for IIoT Environments | IEEE Journals & Magazine | IEEE Xplore