On Security Model of One-Round Authenticated Key Exchange | IEEE Conference Publication | IEEE Xplore