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

摘要：

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

关键词： 组合设计方法 协议原语 安全支付协议 通信协议

作者: 李晓乐 董荣胜 吴光伟

作者单位: 桂林电子科技大学计算机学院,广西桂林,541004;广西职业技术学院计算机技术系,广西南宁,530226 桂林电子科技大学计算机学院,广西桂林,541004 桂林电子科技大学计算机学院,广西桂林,541004;中南林业科技大学计算机科学学院,湖南长沙,410004

会议类型: 国内会议

会议名称: 广西计算机学会2007年年会

会议地点: 南宁

会议语种:中文

页码: 287-291

在线出版日期: 2007-10-01（万方平台首次上网日期，不代表论文的发表时间）