UPPGHA: Uniform Privacy Preservation Group Handover Authentication Mechanism for mMTC in LTE-A Networks

Algorithm 1

Analysis goals of the model.

goal

secrecy_of sec_md1_kme1, sec_enb_kme1 %$K_MD1$ is secret between MD1 and eNB

secrecy_of sec_mdg_kme2, sec_enb_kme2 %$K_MDg$ is secret between MDg and eNB

authentication_on s_md1 %eNB authenticates MD1 by verifying $S_1$

authentication_on s_enb1%MD1 authenticates eNB by verifying $S_eNB$

authentication_on  s_mdg %eNB authenticates MDg by verifying $S_leader$

authentication_on s_enb2% MDg authenticates eNB by verifying $S_eNB$

end goal