研究文章
无证书代理重新编码方法基础为内容中心网络存取控制超电子曲线
|
Role role_Consumer(Edgeservicerouter:agent, Producer:agent, Consumer:agent, Pbpr:pub
lic_key,Pbcr:public_key,SND,RCV:Chanel
State:nat,Omega:symmetric_key,Encrypt:hash_func,Cpr:text,Npr:text init State:= 0 transition
开工状态=0/\RCV
Npr':=新//\SND(Caser.{Npr'Pbpr)
7状态=1/\RCV(Edgeservicerouter.{Encrypt/Cpr'Npr+Omega')
secrs_4{Coser}终端角色 |
|
|
