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

Table 5

HLPSL code for the producer.

---

Role role_Producer(Edgeservicerouter:agent, Producer:agent, Consumer:agent, Pbpr:pub
lic_key,Pbcr:public_key,SND,RCV:channel(dy)) played_by Producer def = local       State:= 0
  State:nat,Lfk:symmetric_key,Encrypt:hash_func,Npr:text,Cnt:text init
  transition
1. State =0 /\ RCV(start) = |> State':= 1 /\
SND(Producer.Consumer)
2. State = 1 /\ RCV(Consumer.{Npr'}_Pbpr) = |> State':= 2 /\ Lfk':= new() /\ Cnt':= new() /\
secret(Cnt',sec_2,{Producer}) /\
witness(Producer,   Edgeservicerouter, auth_1,Cnt') /\
SND(Producer.{Encrypt(Npr'.Cnt')}_Lfk') end role

---