A Provably Secure Two-Party Attribute-Based Key Agreement Protocol | IEEE Conference Publication | IEEE Xplore