電子商務信息安全技術及其應用

第1章 電子商務安全概述
1．1 電子商務的基本概念
1．2 電子商務面臨的安全威脅
1．3 電子商務安全協(xié)議
1．4 電子商務安全協(xié)議研究現(xiàn)狀
第2章 電子商務安全基礎設施
2．1 PKI綜述
2．2 PKI技術的信任服務
2．3 PKI技術的意義
2．4 PKI的標準
2．5 PKI的體系結構
2．6 PKI應用
2．7 本章小結
第3章 電子商務安全協(xié)議
3．1 安全協(xié)議的密碼學基礎
3．2 安全協(xié)議
3．3 電子商務安全協(xié)議
3．4 本章小結
第4章 典型電子商務安全協(xié)議邏輯分析方法
4．1 協(xié)議形式化分析基礎
4．2 BAN類邏輯
4．3 KAILAR邏輯
4．4 SVO邏輯
4．5 卿一邏輯
4．6 基于博弈的ATL邏輯
4．7 串空間模型
4．8 其他邏輯方法簡介
4．9 本章小結
第5章 新的電子商務安全協(xié)議邏輯分析方法
5．1 基本假設
5．2 基本概念
5．3 新邏輯的語法
5．4 新邏輯的公理與推理規(guī)則
5．5 新邏輯的語義分析
5．6 分析協(xié)議的步驟
5．7 應用實例
5．8 本章小結
第6章 復合型電子商務安全協(xié)議
6．1 復合型協(xié)議CECSP
6．2 認證子協(xié)議TAKEP安全屬性分析
613支付子協(xié)議AECPP安全屬性分析
6．4 復合型協(xié)議CECSP的性能分析
6．5 本章小結
第7章 自更新哈希鏈機制（SUHC）
7．1 自更新哈希鏈機制
7．2 安全性分析與證明
7．3 SUHC機制應用
7．4 本章小結
第8章 合同簽署協(xié)議
8．1 基于混合可驗證加密簽名體制的合同簽署協(xié)議
8．2 基于格身份簽名體制的樂觀公平合同簽署協(xié)議
8．3 多方合同簽署協(xié)議的設計與分析
8．4 本章小結
第9章 電子商務安全協(xié)議設計準則
9．1 一般安全協(xié)議的設計準則
9．2 電子商務安全協(xié)議的設計準則
參考文獻