研究文章

无证书代理重新编码方法基础为内容中心网络存取控制超电子曲线

表9

HLPSL环境代码

角色环境 () def=
康斯特
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:协议i
intruder_knowledge = {alice,bob,producer}  composition
session2(const_1,i,const_2,const_3,const_4)
session1(制作者、alice、bob、pbr、pbcr)终端角色目标
验证_auth_1保密2
sec_4端目标环境