基于组合设计方法的安全支付协议的设计与验证

• 作者: 吴光伟 李晓乐 董荣胜
• 来源期刊: 广西科学院学报
• 学科: 工学
• 关键词: 组合设计方法 协议原语 支付协议 原子性
• 年，卷（期）: 2007,（4）
• 页码范围: 287-291
• 页数: 5页
• 分类号: TP393
• 字数: 4796字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-7378.2007.04.024

摘要

针对银行、商家和客户对电子支付协议提出的11条安全需求,应用组合设计方法设计一个新的安全支付协议,并用SMV工具分析新协议的原子性.新协议满足指定的安全需求和电子商务协议的原子性要求,实现了电子商品和实物商品在线支付的设计目标,适用于多个客户和商家对同时进行交易.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董荣胜	桂林电子科技大学计算机学院	115	1521	13.0	37.0
2	吴光伟	桂林电子科技大学计算机学院	5	11	2.0	3.0
4	李晓乐	桂林电子科技大学计算机学院	5	90	3.0	5.0