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

• 作者: 李国强 王国钧 顾永跟
• 来源期刊: 计算机应用研究
• 关键词: 类pi演算 电子支付协议 认证性 匿名性
• 年，卷（期）: 2006,（3）
• 所属期刊栏目: 研究探讨
• 页码范围: 22-24
• 页数: 3页
• 分类号: TP301|TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2006.03.008

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王国钧	湖州师范学院计算机系	14	77	5.0	8.0
2	顾永跟	上海交通大学计算机系	29	121	6.0	9.0
4	李国强	上海交通大学计算机系	13	44	4.0	6.0