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

Algorithm 8

role environment()

def=

 const ui, sj, gw: agent,

   kdi,kei, kxj,xgwn, kig,keig: symmetric_key,

   shared_key, sc_user_id,

   sk_sensor_gwn, sc_sensor_id: protocol_id,

   h,expp: hash_func,

   p: text

intruder_knowledge={ui, sj, gw, kig, h, p}

composition

   session(ui,sj,gw, kdi,kei,kxj,xgwn, h,p)

  ⋀ session(ui, i,gw, kdi,kei,kig,xgwn, h,p)

  ⋀ session( i,sj,gw, kig,keig,kxj,xgwn, h,p)

end role