Algorithm 11 proc_SN

Played by: SN    Input: SNname           [Step 1.2]       in(usch, (c0, c1, c2));       out(sch, (c0, c1, c2, SNname));    [Step 2.2]       in(sch, (RAND, CONC, AMF, MAC, HXRES’));       out(usch, (RAND, CONC, AMF, MAC));    [Step 2.4]       in(usch, RES’);       if HXRES’ <> SHA256((RES, RAND)) true then exit;       event middleSN_RES(RES’, RAND);       out(sch, RES’);    [Step 2.6]       in(sch, SUPI, $KSEAF$));       event endSN_ANCHOR_KEY(SUPI, $KSEAF$);