內容簡介

本書內容共分為9章，繫統介紹了保障電子商務信息安全的關鍵技術以及典型應用。前3章討論了電子商務面臨的安全威脅，介紹了電子商務安全基礎設施，歸納了電子商務的安全需求層次，闡述了典型的電子商務安全協議。第4章和第5章對典型的電子商務安全協議邏輯分析方法進行了研究，分析了它們各自的特點及存在的局限性或不足，給出了一種能夠分析電子商務安全協議多種安全屬性的新邏輯分析方法。第6章設計一種新的復合型電子商務安全協議，對其安全目標進行了形式化定義及邏輯推理分析。第7章闡述了兩種自更新哈希鏈機制，證明了其安全性，並且應用自更新哈希鏈機制設計了認證協議和微支付協議。第8章闡述了合同簽署協議的設計與分析。第9章總結提出了電子商務安全協議的設計準則。本書可供從事計算機、信息安全、密碼學等專業的科技人員、研究生參考，也可供高等院校相關專業的師生參考。