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

• 作者: 彭勋 董荣胜 蔡国永 郭云川
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 安全支付协议 SEP 安全性 原子性 符号模型验证 SMV
• 年，卷（期）: 2005,（6）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 139-143
• 页数: 5页
• 分类号: TP393.04
• 字数: 7068字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2005.06.044

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蔡国永	桂林电子工业学院计算机系	98	400	12.0	15.0
2	彭勋	桂林电子工业学院计算机系	4	13	1.0	3.0
3	董荣胜	桂林电子工业学院计算机系	115	1521	13.0	37.0
4	郭云川	桂林电子工业学院计算机系	25	119	8.0	10.0