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

Table 6

HLPSL code for the edge service router.

---

Role role_Edgeservicerouter(Secondlastnode:agent, Producer:agent, Consumer:agent,Pbp
r:public_key,Pbcr:public_key,SND,RCV:channel(dy)) played_by Secondlastnode def = local
State:nat,Lfk:symmetric_key,Cnt:text, Omega:symmetric_key,Encrypt:h ash_func,C1:text,Npr:text   init
State:  =   0   transition
3. State = 0 /\ RCV(Producer.{Encrypt(Npr'.Cnt')}_Lfk')    = |>    State':= 1 /\
request(Edgeservicerouter,Producer,auth_1,Cnt') /\ secret(Cnt',sec_2,{Producer}) /\ Omega':= new() /\ C1':= new() /\ secret(Cpr',sec_4,{Consumer}) /
witness(Edgeservicerouter, Consumer,auth_3,C1′)  /\
SND(Secondlastnode.{Encrypt(C1'.Npr')}_Omega') end role

---