期刊文章详细信息
基于组合设计方法的安全支付协议的设计与验证
Design and Verification of Secure Payment Protocol Based on Composition Method
文献类型：期刊文章
机构地区：[1]桂林电子科技大学计算机学院
基 金：广西自然科学基金项目(0542052);广西研究生教育创新计划项目(2007105950812M17)资助
年 份：2007
卷 号：23
期 号：4
起止页码：287-291
语 种：中文
收录情况：JST、普通刊
摘 要：针对银行、商家和客户对电子支付协议提出的11条安全需求,应用组合设计方法设计一个新的安全支付协议,并用SMV工具分析新协议的原子性。新协议满足指定的安全需求和电子商务协议的原子性要求,实现了电子商品和实物商品在线支付的设计目标,适用于多个客户和商家对同时进行交易。
关 键 词：组合设计方法 协议原语 支付协议 原子性
分 类 号：TP393]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
