电子商务信息安全技术及其应用/经济管理学术新视角丛书

由陈莉著的《电子商务信息安全技术及其应用》 内容共分为九章，前三章讨论了电子商务面临的安全 威胁，介绍了电子商务安全基础设施，归纳了电子商 务安全需求层次。第4章和第5章分析了典型的电子商 务安全协议逻辑分析方法，并给出了一种能够分析多 种安全属性的逻辑分析方法。第6章设计了一种复合 型电子商务安全协议，对其安全目标进行了分析。第 7章应用自更新哈希链机制设计了认证和微支付协议 。第8章阐述了合同签署协议的设计与分析。第9章总 结提出了电子商务安全协议的设计准则。 本书可供从事计算机、信息安全等专业的科技人 员、研究生参考，也可供高等院校相关专业的师生参 考。

陈莉，工学博士，河南财经政法大学教授，河南省优秀青年科技专家，河南省教育厅学术技术带头人，河南省高校科技创新人才支持计划入选者。从事计算机教学与研究工作，主要研究方向为信息安全理论与技术。发表学术论文40多篇，出版专著1部、教材6部，主持8项省级科研项目。荣获“河南省青年科技奖”、“河南省科学技术进步奖”二等奖(主持人)和“河南省社会科学优秀成果奖”三等奖(主要完成人)等省级奖励。

第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 复合型协议CECSP 6.2 认证子协议TAKEP安全属性分析 6.3 支付子协议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 电子商务安全协议的设计准则 参考文献