基于ProVerif的电子商务协议分析

• 作者: 丁丽 周渊 郭云川 郭莉
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 电子商务协议 公平性 ProVerif
• 年，卷（期）: 2009,（3）
• 所属期刊栏目: 短文
• 页码范围: 125-129
• 页数: 5页
• 分类号: TP393.04
• 字数: 4496字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-436X.2009.03.020

摘要

采用应用pi演算来建模自动解决争端的公平电子商务协议,基于一致性给出了公平性的形式描述方法,利用应用pi演算的自动化分析工具--ProVerif分析了该协议,结果表明,利用一致性描述协议公平性是可行的,同时指出了基于ProVerif验证电子商务协议的优缺点:适用于分析"A事件发生以前,B事件是否曾经发生",但不适用于分析"A事件发生之后,B事件将来是否会必然(或可能)发生".

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周渊		22	111	6.0	9.0
2	丁丽		12	38	4.0	6.0
3	郭莉	中国科学院计算技术研究所	64	788	14.0	26.0