Provably secure identity-based key agreement protocols under simple assumption | IEEE Conference Publication | IEEE Xplore