电子商务交易协议理论与验证方法

出版时间：2010-7  作者：王茜  

内容概要

　　《电子商务交易协议理论与验证方法》是对国家自然科学基金资助项目“基于离线可信第三方的电子现金交易系统理论与方法”的一个全面总结。全书围绕电子商务交易协议相关理论和协议验证方法展开，从保护交易双方利益的角度出发，针对电子商务交易协议，尤其是电子现金支付理论研究和实际应用中存在的瓶颈问题，以电子商务交易安全框架为主线，对电子商务交易协议的底层安全技术、交易协议属性、交易协议的模型以及交易协议验证的理论和方法进行了系统的阐述。

书籍目录

第一章　电子商务交易系统1．1　电子商务交易系统发展1．1．1　电子商务交易的网上支付发展1．1．2　电子现金交易系统发展1．1．3　电子商务交易的个性化推荐系统发展1．2　电子商务交易系统安全体系1．2．1　电子商务安全技术体系1．2．2　加密技术层1．2．3　安全认证层1．3　电子商务交易协议属性及分析1．3．1　电子商务交易协议特殊性1．3．2　电子商务交易协议属性1．3．3　电子商务交易协议比较分析第二章　电子现金交易协议研究进展2．1　交易协议的公平性2．1．1　渐进式互换实现公平性2．1．2　On—line TTP方法实现公平性2．1．3　Off—line TTP方法实现公平性2．2　交易协议的原子性研究2．2．1　原子性解决方案2．2．2　匿名原子交易协议2．3　交易协议的匿名性研究2．3．1　无条件的电子现金方案2．3．2　有条件的电子现金方案2．4　交易协议的电子现金可分性研究2．4．1　基于二叉树的可分电子现金方案2．4．2　不使用二叉树的可分电子现金方案2．5　数据压缩k-spendable电子现金方案2．5．1　数据压缩k-spendable电子现金方案的效率研究2．5．2　数据压缩k-spenclable电子现金方案的可分性研究2．5．3　数据压缩k-spentiable电子现金方案的其他研究方向第三章　匿名原子的电子现金交易协议模型3．1　交易协议模型研究进展3．2　E-Cash交易协议电子商务系统模型化3．2．1　协议模型假设3．2．2　电子商务系统的模型化3．3　离线可信第三方匿名原子的电子现金交易协议模型3．3．1　数据类型及映射函数3．3．2　消费者本地协议模型3．3．3　商家本地协议模型3．3．4　离线可信第三方本地协议模型3．4　交易协议模型的原子性分析3．4．1　协议模型的原子性表示3．4．2　对于■原子性分析3．4．3　原子性分析第四章　匿名原子的电子现金交易协议研究4．1　扩展的CEMBS可验证加密算法4．1．1　系统建立4．1．2　消息的加密4．1．3　CEMBS可验证加密的生成4．1．4　CEMBS验证4．1．5　TTP对加密消息m解密4．2 ICSP交互确认协议设计4．2．1　注册4．2．2　ICSP交互协议4．2．3 不可否认数字签名的转换4．2．4　ICSP协议的安全性分析4．3　离线可信第三方的匿名原子电子现金交易协议4．3．1　交易协议设计思想4．3．2　E-Cash提取4．3．3　Transaction协议4．3．4　Cresolve协议4．3．5　Mresolve协议4．3．6　Abort协议4．4　匿名原子交易协议分析比较4．4．1　原子性分析4．4．2　匿名性分析4．4．3　终止性分析4．4．4　安全有效性分析4．4．5　不可否认性分析4．5　交易协议的比较分析4．5．1　协议执行效率比较4．5．2　交易时限和终止性4．5．3　数据存贮第五章　安全协议验证分析方法研究5．1　BAN逻辑5．1．1　BAN逻辑概述5．1．2　BAN逻辑的缺陷5．1．3　BAN逻辑研究的发展方向5．2　BAN类逻辑5．2．1　BAN类逻辑概述5．2．2　SVO逻辑概述5．3　Kailar逻辑5．3．1　Kailar逻辑概述5．3．2　Kailar逻辑的缺陷5．4　定理证明方法5．4．1　串空间5．4．2　Schneider秩函数5．5　模型检测分析方法5．5．1　通信顺序进程CSP5．5．2　SMV型检测系统5．5．3　基于分支时态逻辑CTL及有限状态机模型5．6　其他的协议分析方法第六章　电子商务交易协议形式化验证方法6．1　SVO形式化验证方法6．1．1　SVO形式化验证方法的缺陷6．1．2　SVO分析方法存在的局限性6．2　电子商务交易协议新形式化验证方法6．2．1　基本符号6．2．2　协议运行环境及语义6．2．3　推理规则6．2．4　协议分析步骤6．3　新形式化方法的应用实例6．3．1　Zhou Gollmann协议形式化验证6．3．2　ISI支付协议形式化验证6．3．3　匿名原子电子商务交易协议形式化验证6．3．4　离线可信第三方匿名原子电子现金交易协议验证参考文献