|
|||||
|
|
| 基于ProVerif的电子商务协议分析 | |
| 引用本文： | 郭云川,丁 丽,周 渊,郭 莉.基于ProVerif的电子商务协议分析[J].通信学报,2009,30(3):125-129. |
| 作者姓名： | 郭云川 丁 丽 周 渊 郭 莉 |
| 作者单位： | 1. 中国科学院,计算技术研究所,北京,100019;中国科学院,研究生院,北京,100049 2. 国家计算机网络应急技术处理协调中心,北京,100029 3. 中国科学院,计算技术研究所,北京,100019 |
| 基金项目： | 国家重点基础研究发展规划(973计划)，国家高技术研究发展计划(863计划)，国家自然科学基金 |
| 摘 要： | 采用应用pi演算来建模自动解决争端的公平电子商务协议,基于一致性给出了公平性的形式描述方法,利用应用pi演算的自动化分析工具--ProVerif分析了该协议,结果表明,利用一致性描述协议公平性是可行的,同时指出了基于ProVerif验证电子商务协议的优缺点:适用于分析"A事件发生以前,B事件是否曾经发生",但不适用于分析"A事件发生之后,B事件将来是否会必然(或可能)发生". |
| 关 键 词： | 电子商务协议 公平性 |
Analysis for e-commerce protocols based on ProVerif |
|
| GUO Yun-chuan,DING Li,ZHOU Yuan,GUO Li.Analysis for e-commerce protocols based on ProVerif[J].Journal on Communications,2009,30(3):125-129. | |
| Authors: | GUO Yun-chuan DING Li ZHOU Yuan GUO Li |
| Abstract: | |
| Keywords: | ProVerif |
| 本文献已被 维普 万方数据 等数据库收录！ | |
| 点击此处可从《通信学报》浏览原始摘要信息 | |
| 点击此处可从《通信学报》下载免费的PDF全文 | |