Initiator                             Responder

HDR, SK {N(REKEY_SA), SAi, Ni, 
     TSi, TSr [,N+]}          --->
                              <---    HDR, SK {SAr, Nr, 
                                           TSi, TSr [,N+]}