A Provably Secure Identity-Based Key Agreement Protocol from Key Encapsulation Scheme | IEEE Conference Publication | IEEE Xplore