MICP

Initiator Phases

data IPhase

data IPhase1Priv

data IPhase1Msg

iPhase1

data IPhase2Priv

data IPhase2Params

mkIPhase2Params

data IPhase2Msg

iPhase2

data IPhase3Params

mkIPhase3Params

data IPhase3Msg

iPhase3

data IPhase4Params

mkIPhase4Params

data IPhase4Msg

iPhase4

data IPhase5Msg

iPhase5

iGetK1Map

iGetK2Map

Responder Phases

data RPhase

data RPhase1Priv

data RPhase1Params

mkRPhase1Params

data RPhase1Msg

rPhase1

data RPhase2Params

mkRPhase2Params

data RPhase2Msg

rPhase2

data RPhase3Params

mkRPhase3Params

data RPhase3Msg

rPhase3

data RPhase4Params

mkRPhase4Params

data RPhase4Msg

rPhase4

rGetK1Map

rGetK2Map