《電子商務信息安全技術及其套用》是2015年經濟管理出版社出版的圖書，作者是陳莉，本書可供從事計算機、信息安全等專業的科技人員、研究生參考，也可供高等院校相關專業的師生參考。
基本介紹
- 書名：電子商務信息安全技術及其套用
- 作者：陳莉
- 出版社：經濟管理出版社
- ISBN：9787509640241
內容簡介,圖書目錄,作者簡介,
內容簡介
《經濟管理學術新視角叢書：電子商務信息安全技術及其套用》內容共分為九章，前三章討論了電子商務面臨的安全威脅，介紹了電子商務安全基礎設施，歸納了電子商務安全需求層次。第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安全屬性分析
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 電子商務安全協定的設計準則
參考文獻
作者簡介
陳莉，工學博士，河南財經政法大學教授，河南省青年科技專家，河南省教育廳學術技術帶頭人，河南省高校科技創新人才支持計畫入選者。從事計算機教學與研究工作，主要研究方向為信息安全理論與技術。發表學術論文40多篇，出版專著1部、教材6部，主持8項省級科研項目。榮獲“河南省青年科技獎”、“河南省科學技術進步獎”二等獎（主持人）等省級獎勵。
