| 一种分析电子商务协议的新方法 |
| |
| 引用本文： | 王彩芬,葛建华. 一种分析电子商务协议的新方法[J]. 计算机学报, 2004, 27(4): 507-515 |
| |
| 作者姓名： | 王彩芬 葛建华 |
| |
| 作者单位： | 西北师范大学数学与信息科学学院,兰州,730070;西安电子科技大学ISN国家重点实验室,西安,710071 |
| |
| 基金项目： | 西北师范大学重点研究方向基金资助 . |
| |
| 摘 要： | 通过将Kailar逻辑和LPC形式方法相结合，提出一种新的用于分析电子商务协议的形式化方法，新方法中的推导规则既简单便捷同时又具有分析签名和分析密文的能力，该方法既能描述协议中参加者的行为又能够分析参加者拥有的知识和推导协议的可追究性和公平性，使用该方法不仅可以分析使用在线第三方的协议又可以分析使用脱线第三方的电子商务协议。与其它的方法相比较，这一新方法既避免了Kailar逻辑的缺陷又弥补了LPC方法的不足。
|
| 关 键 词： | 电子商务 协议 可追究性 公平性 形式化分析 |
A New Approach for the Analysis of Electronic Commerce Protocols |
| |
| WANG Cai-Fen ) GE Jian-Hua ) ). A New Approach for the Analysis of Electronic Commerce Protocols[J]. Chinese Journal of Computers, 2004, 27(4): 507-515 |
| |
| Authors: | WANG Cai-Fen ) GE Jian-Hua ) ) |
| |
| Affiliation: | WANG Cai-Fen 1) GE Jian-Hua 2) 1) |
| |
| Abstract: | This paper presents an approach for the analysis of e-commerce protocols by combining Kailar logic with LPC organically. This approach provides a set of inference rules for reduction and analysis of signature and cryptograph.Thus it not only describes the knowledge and behavior of participants, but also analyzes the accountability and fairness of e-commerce protocols. In addition, the use of the method enables us to analyze protocols both with in-line TTP and with off-line TTP. Compared with other approach, this one can help avoid the weakness of Kailar logic and compensate the deficiency of the LPC. |
| |
| Keywords: | e-commerce protocols accountability fairness formal analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
