会议论文详细信息
基于组合设计方法的安全支付协议的设计与验证
文献类型：会议
作者单位：桂林电子科技大学计算机学院 桂林电子科技大学计算机学院 桂林电子科技大学计算机学院
基 金：广西自然科学基金项目(0542052);广西研究生教育创新计划项目(2007105950812M17)资助。
会议文献：广西计算机学会2007年年会论文集
会议名称：广西计算机学会2007年年会
会议日期：20070900
会议地点：中国广西
主办单位：广西计算机学会
出版单位：《广西科学院学报》编辑部
出版日期：20071100
学会名称：广西计算机学会
语 种：中文
摘 要：针对银行、商家和客户对电子支付协议提出的11条安全需求,应用组合设计方法设计一个新的安全支付协议,并用 SMV 工具分析新协议的原子性。新协议满足指定的安全需求和电子商务协议的原子性要求,实现了电子商品和实物商品在线支付的设计目标,适用于多个客户和商家对同时进行交易。
关 键 词：组合设计方法 协议原语 支付协议 原子性
分 类 号：TP393.08]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
