| 一种新型的电子商务协议及形式化分析 |
| |
| 引用本文： | 石曙东,李之棠.一种新型的电子商务协议及形式化分析[J].计算机工程与应用,2004,40(36):35-37. |
| |
| 作者姓名： | 石曙东 李之棠 |
| |
| 作者单位： | 1. 华中科技大学计算机学院,武汉,430074;湖北师范学院计算机科学系,黄石,435002
2. 华中科技大学计算机学院,武汉,430074 |
| |
| 基金项目： | 国家自然科学基金资助项目(编号:69873016，69972017)，湖北省教育厅重点项目资助(编号:2004D004) |
| |
| 摘 要： | 该文提出了一个可运行在不安全、不可靠信道上的电子商务协议NRP,该协议可使通信双方处于平等的地位,并有效地防止欺骗行为的发生。通过使用扩展BAN逻辑有效地分析了NRP协议的正确性,对电子商务协议的设计和分析具有重要的指导作用。
|
| 关 键 词： | 电子商务协议 BAN逻辑 可信第三方 |
| 文章编号： | 1002-8331-(2004)36-0035-03 |
A New Electronic Commerce Protocol and its Formal Analysis |
| |
| Shi Shudong, Li Zhitang.A New Electronic Commerce Protocol and its Formal Analysis[J].Computer Engineering and Applications,2004,40(36):35-37. |
| |
| Authors: | Shi Shudong Li Zhitang |
| |
| Affiliation: | Shi Shudong1,2 Li Zhitang11 |
| |
| Abstract: | A new electronic commerce protocol is presented based on the correction of an existing protocol which has some security flaws.This scheme can work on an insecure and unreliable communication channel.Some new notions and approaches for extending the BAN logic are introduced.Then the extended BAN logic is used to analyze the new protocol and prove its correctness. |
| |
| Keywords: | electronic commerce protocol BAN logic trusted third party |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
