| 摘要: |
| 提出了一种新的形式化分析方法,可用于分析电子商务协议.与Kailar逻辑相比,它有3个优点:(1)能够有效地分析协议的公平性,在进行公平性分析时充分考虑了通信信道的可靠性;(2)初始化拥有集合只依赖于环境,不需要人为地引入初始化假设;(3)增加了密文理解规则,能够有效地分析包含有签过名的加密公式的消息. |
| 关键词: 可追究性 电子商务 公平性 逻辑分析 协议 |
| DOI： |
| 分类号: |
| 基金项目:国家自然科学基金资助项目(60083007);国家重点基础研究发展规划973资助项目(G1999035810) |
|
| A New Approach for the Analysis of Electronic Commerce Protocols |
|
ZHOU Dian cui,QING Si han,ZHOU Zhan fei
|
| Abstract: |
| In this paper, a new framework is proposed for the analysis of electronic commerce protocols. Comparing to the framework proposed by Kailar, it has three major improvements. Firstly, it can analyze fairness of protocols efficiently. In the analysis of fairness, it takes the reliability of communication channels into consideration. Secondly, the initial possesion set depends on environment in stead of human beings. At last, by introducing the cipher text understanding rule the new framework can analyze the message which includes signed cipher text. |
| Key words: accountability electronic commerce fairness logical analysis protocol |
