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

作     者：李晓乐 董荣胜 吴光伟 LI Xiao-le;DONG Rong-sheng;WU Guang-wei

作者机构：桂林电子科技大学计算机学院 

基　　金：广西自然科学基金项目(0542052) 广西研究生教育创新计划项目(2007105950812M17)资助 

出 版 物：《广西科学院学报》 (Journal of Guangxi Academy of Sciences)

年 卷 期：2007年第23卷第4期

页      码：287-291页

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

主 题 词：组合设计方法 协议原语 支付协议 原子性 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 081201[081201] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1002-7378.2007.04.024

馆 藏 号：203886442...