Security of Indirect-Authenticated Key Exchange Protocol | IEEE Conference Publication | IEEE Xplore