安全支付协议的设计与验证研究  

On the Design and Verification of Secure Payment Protocol

作　　者：彭勋[1] 董荣胜[1] 郭云川[1] 蔡国永[1] 

机构地区：[1]桂林电子工业学院计算机系,桂林541004

出　　处：《计算机工程与应用》2005年第6期139-143,共5页Computer Engineering and Applications

基　　金：广西自然科学基金(编号:0229051)的资助

摘　　要：安全支付协议是实现电子商务在线支付的关键。目前缺乏同时支持电子商品和实物商品的在线支付协议,基于此,该文给出了一种同时支持这两类商品交易的安全支付协议,最后使用SMV工具对协议的原子性进行了分析并验证了其可行性。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.

关 键 词：安全支付协议 SEP安 全性 原子性 符号模型验证 SMV 

分 类 号：TP393.04[自动化与计算机技术—计算机应用技术]