| 安全支付协议的设计与验证研究 |
| |
| 引用本文： | 彭勋,董荣胜,郭云川,蔡国永. 安全支付协议的设计与验证研究[J]. 计算机工程与应用, 2005, 41(6): 139-143 |
| |
| 作者姓名： | 彭勋 董荣胜 郭云川 蔡国永 |
| |
| 作者单位： | 桂林电子工业学院计算机系,桂林,541004;桂林电子工业学院计算机系,桂林,541004;桂林电子工业学院计算机系,桂林,541004;桂林电子工业学院计算机系,桂林,541004 |
| |
| 基金项目： | 广西自然科学基金(编号:0229051)的资助 |
| |
| 摘 要： | 安全支付协议是实现电子商务在线支付的关键。目前缺乏同时支持电子商品和实物商品的在线支付协议,基于此,该文给出了一种同时支持这两类商品交易的安全支付协议,最后使用SMV工具对协议的原子性进行了分析并验证了其可行性。
|
| 关 键 词： | 安全支付协议 SEP 安全性 原子性 符号模型验证 SMV |
| 文章编号： | 1002-8331-(2005)06-0139-05 |
On the Design and Verification of Secure Payment Protocol |
| |
| PENG Xun,Dong Rongsheng,Guo Yunchuan,Cai Guoyong. On the Design and Verification of Secure Payment Protocol[J]. Computer Engineering and Applications, 2005, 41(6): 139-143 |
| |
| Authors: | PENG Xun Dong Rongsheng Guo Yunchuan Cai Guoyong |
| |
| Abstract: | A secure payment protocol named SEP is proposed in this paper.SEP protocol satisfies security and atomicity properties.Both electronic and physical goods can be exchanged using this protocol.Furthermore,any dispute on the goods delivered and the money paid for the goods can be settled within this protocol.At the end of this paper,a formal verifi-cation of SEP protocol is given using SMV and the result is shown. |
| |
| Keywords: | secure payment protocol SEP security atomicity symbolic model checking SMV |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
