Proposed solution New MIKEY Mode Responder generates TGKs and PKE Initiator Responder I_MESSAGE = HDR, T, CERTi, [IDr], [SP], SIGNi --> R_MESSAGE = HDR, T, RAND, IDr|CERTr, {SP}, KEMAC, PKE, SIGNr PKE = E(PKi, env_key) KEMAC = E(encr_key, IDr || {TGK}) || MAC |