论文研究-基于类pi演算的电子支付协议安全性形式化研究.pdf

【文件属性】：

文件名称：论文研究-基于类pi演算的电子支付协议安全性形式化研究.pdf

文件大小：47KB

文件格式：PDF

更新时间：2022-08-11 16:29:04

类pi演算,电子支付协议,认证性,匿名性

设计一个满足安全需求的协议非常困难，并且极易出错，因此利用形式化方法来检验安全协议引起了人们极大的关注。使用了类pi演算来验证电子支付协议的认证性和匿名性。