Research Article

Hierarchical Group Based Mutual Authentication and Key Agreement for Machine Type Communication in LTE and Future 5G Networks

Algorithm 1

Goal specification of proposed protocol.
goal
     secrecy_of kasme
     secrecy_of gtkg1
     authentication_on mtcd_mme_rg11
     authentication_on mtcd_mme_rhss
end goal