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

摘要：

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

关键词：电子商务协议、公平性、ProVerif

所属期刊栏目：30

分类号：TP393.04(计算技术、计算机技术)

资助基金：国家重点基础研究发展计划"973"计划基金资助项目2007CB311100;国家高技术研究发展计划"863"计划基金资助项目2007AA01Z446;国家自然科学基金资助项目60703021,60873217

在线出版日期：2009-05-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：125-129