Certificateless Proxy Reencryption Scheme (CPRES) Based on Hyperelliptic Curve for Access Control in Content-Centric Network (CCN)

Table 9

HLPSL code for the environment.

---

Role environment() def =
const
hash_0:hash_func,pbr:public_key,alice:agent, producer:agent,bob:age
nt,pbcr:public_key,const_1:agent, const_2:agent, const_3:public_key,const_
4:public_key,auth_1:protocol_id,sec_2:protocol_id,auth_3:protocol_id,sec
_4:protocol_id
intruder_knowledge = {alice,bob,producer}  composition
session2(const_1,i,const_2,const_3,const_4)
session1(producer, alice,bob,pbr,pbcr) end role goal
 authentication_on auth_1 secrecy_of sec_2 authentication_on auth_3
secrecy_of sec_4 end goal environment()

---