A Privacy Protection User Authentication and Key Agreement Scheme Tailored for the Internet of Things Environment: PriAuth

Box 4

role session(Ui, Sj, GW  : agent,

Kdi, Kxj, Kug: symmetric_key,

H: hash_func,

P: text

)

def=

localSSU,RSU,

SSG,RSG,

SUS,RUS,

SGS,RGS:channel(dy)

composition

user(Ui,Sj,GW,Kdi,Kug,H,P,SUS,RUS)

sensor(Ui,Sj,GW,Kxj,H,P,SSG,RSG,SSU,RSU)

gateway(Ui,Sj,GW,Kdi,Kxj,Kug,H,SGS,RGS)

end role