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

Table 7

HLPSL code for the consumer.

---

Role role_Consumer(Edgeservicerouter:agent, Producer:agent, Consumer:agent, Pbpr:pub
lic_key,Pbcr:public_key,SND,RCV:channel(dy)) played_by Consumer def = local
State:nat,Omega:symmetric_key,Encrypt:hash_func,Cpr:text,Npr:text init State:= 0 transition
1. State = 0 /\ RCV(Producer.Consumer) = |> State':= 1 /
Npr':= new() /\ SND(Consumer.{Npr'}_Pbpr)
7. State = 1 /\ RCV(Edgeservicerouter.{Encrypt(Cpr'.Npr)}_Omega') = |> State':= 2 /\
secret(Cpr',sec_4,{Consumer}) end role

---