...
机译:应用PI微积分基于模型提取的安全协议网络实现分析
South Cent Univ Nationalities Sch Comp Sci Wuhan 430074 Peoples R China;
South Cent Univ Nationalities Sch Comp Sci Wuhan 430074 Peoples R China;
South Cent Univ Nationalities Sch Comp Sci Wuhan 430074 Peoples R China;
Univ South Carolina Dept Comp Sci & Engn Columbia SC 29208 USA;
South Cent Univ Nationalities Sch Comp Sci Wuhan 430074 Peoples R China;
South Cent Univ Nationalities Sch Comp Sci Wuhan 430074 Peoples R China;
Security protocol implementations; model extraction; SubJavaScript; SubPython; formal method; ProVerif;
机译:使用应用算术对云认证协议进行安全性分析
机译:使用Proverif改进应用PI演算中远程Internet投票协议的安全性机械化证明
机译:使用Proverif改进应用PI演算中远程Internet投票协议的安全性机械化证明
机译:使用应用Pi演算分析电子现金协议
机译:基于电压安全标准和基于Web的实现的电力市场安全成本分析。
机译:使用基于Web的过程模型来实现安全性和数据保护将其作为临床信息管理的组成部分。
机译:应用PI微积分基于模型提取的安全协议网络实现分析