Security for Authenticated Key Exchange Based on Non-Malleability | IEEE Conference Publication | IEEE Xplore