国产超碰人人爽人人做人人添,国产V亚洲V天堂无码久久久

內容簡介

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

作者簡介

　　陳莉，工學博士，河南財經政法大學教授，河南省青年科技專家，河南省教育廳學術技術帶頭人，河南省高校科技創(chuàng)新人才支持計劃入選者。從事計算機教學與研究工作，主要研究方向為信息安全理論與技術。發(fā)表學術論文40多篇，出版專著1部、教材6部，主持8項省級科研項目。榮獲“河南省青年科技獎”、“河南省科學技術進步獎”二等獎（主持人）等省級獎勵。

圖書目錄

第1章電子商務安全概述
1．1 電子商務的基本概念
1．2 電子商務面臨的安全威脅
1．3 電子商務安全協(xié)議
1．4 電子商務安全協(xié)議研究現狀
第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é)議的設計準則
參考文獻