包邮电子商务信息安全技术及其应用

第1章 电子商务安全概述1．1 电子商务的基本概念1．2 电子商务面临的安全威胁1．3 电子商务安全协议1．4 电子商务安全协议研究现状 第2章 电子商务安全基础设施2．1 pki综述2．2 pki技术的信任服务2．3 pki技术的意义2．4 pki的标准2．5 pki的体系结构2．6 pki应用2．7 本章小结 第3章 电子商务安全协议3．1 安全协议的密码学基础3．2 安全协议3．3 电子商务安全协议3．4 本章小结 第4章 典型电子商务安全协议逻辑分析方法4．1 协议形式化分析基础4．2 ban类逻辑4．3 kailar逻辑4．4 svo逻辑4．5 卿一逻辑4．6 基于博弈的atl逻辑4．7 串空间模型4．8 其他逻辑方法简介4．9 本章小结 第5章 新的电子商务安全协议逻辑分析方法5．1 基本假设5．2 基本概念5．3 新逻辑的语法5．4 新逻辑的公理与推理规则5．5 新逻辑的语义分析5．6 分析协议的步骤5．7 应用实例5．8 本章小结 第6章 复合型电子商务安全协议6．1 复合型协议cecsp6．2 认证子协议takep安全属性分析613支付子协议aecpp安全属性分析6．4 复合型协议cecsp的性能分析6．5 本章小结 第7章 自更新哈希链机制（suhc）7．1 自更新哈希链机制7．2 安全性分析与证明7．3 suhc机制应用7．4 本章小结 第8章 合同签署协议8．1 基于混合可验证加密签名体制的合同签署协议8．2 基于格身份签名体制的乐观公平合同签署协议8．3 多方合同签署协议的设计与分析8．4 本章小结 第9章 电子商务安全协议设计准则9．1 一般安全协议的设计准则9．2 电子商务安全协议的设计准则 参考文献