由陳莉著的《電子商務信息安全技術及其應用》
內容共分為九章，前三章討論了電子商務面臨的安全
威脅，介紹了電子商務安全基礎設施，歸納了電子商
務安全需求層次。第4章和第5章分析了典型的電子商
務安全協議邏輯分析方法，並給出了一種能夠分析多
種安全屬性的邏輯分析方法。第6章設計了一種復合
型電子商務安全協議，對其安全目標進行了分析。第
7章應用自更新哈希鏈機制設計了認證和微支付協議
。第8章闡述了合同簽署協議的設計與分析。第9章總
結提出了電子商務安全協議的設計準則。
本書可供從事計算機、信息安全等專業的科技人
員、研究生參考，也可供高等院校相關專業的師生參
考。

第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 電子商務安全協議的設計準則
參考文獻