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