滿額折
人民幣定價：36 元
定價
：NT$ 216 元優惠價
：87 折 188 元
絕版無法訂購
商品簡介
目次
相關商品
商品簡介
本書闡述計算機密碼方案與密碼協議的安全性證明理論，包括基于計算復雜度概念的計算密碼學方法和基于符號演算的形式分析與驗證方法。安全性證明是一個技術復雜而思想活躍的領域，作者并不打算對此做面面俱到式的闡述，而只打算選擇少數典型、普適、有發展前途同時又不特別復雜艱澀的方法進行論述。在選擇這些方法時，作者也充分考慮到這些方法所解決的問題本身都有著相當的理論與應用價值，從而使讀者通過仔細學習這些安全證明而能更深入地理解這些密碼方案。
目次
第1章 導 論.
1.1 Needham-Schoeder協議
1.2 更多的例子
1.3 更復雜的協議和攻擊
1.4 一些符號約定
第2章 消息認證與數字簽名方案
2.1 消息認證方案及其抗偽造性質
2.2 數字簽名方案及其抗偽造性質
2.3 數字簽名方案與身份鑒別協議：Fiat-Shamir變換
第3章 對稱加密方案
3.1 各種保密性質及其相互關系
3.2 一些典型對稱加密方案的保密性質
3.3 加密—認證方案：明文完整性與密文完整性
3.4 加密—認證方案的幾個一般性構造
3.5 時變對稱加密方案及其前向保密性質
第4章 公鑰加密方案(Ⅰ)：保密性質和PA性質
第5章 公鑰加密方案(Ⅱ)：一些通用構造及其保密性條件
第6章 公鑰加密方案(Ⅲ)：匿名性質
第7章 身份鑒別協議
第8章 密碼協議的UC—理論及應用
第9章 Dolev-Yao理論(Ⅰ)：自由消息代數strand—圖模型
第10章 Dolev—Yao理論(Ⅱ)：自動分析技術
第11章 Dolev-Yao理論(Ⅲ)：帶交換群算術的非自由消息代數
第12章 密碼協議形式模型的計算語義(Ⅰ)：被動攻擊情形
第13章 密碼協議形式模型的計算語義(Ⅱ)：主動攻擊情形
附錄A 一些必要的數學事實
附錄B 進程代數模型：spi—演算
參考文獻
1.1 Needham-Schoeder協議
1.2 更多的例子
1.3 更復雜的協議和攻擊
1.4 一些符號約定
第2章 消息認證與數字簽名方案
2.1 消息認證方案及其抗偽造性質
2.2 數字簽名方案及其抗偽造性質
2.3 數字簽名方案與身份鑒別協議：Fiat-Shamir變換
第3章 對稱加密方案
3.1 各種保密性質及其相互關系
3.2 一些典型對稱加密方案的保密性質
3.3 加密—認證方案：明文完整性與密文完整性
3.4 加密—認證方案的幾個一般性構造
3.5 時變對稱加密方案及其前向保密性質
第4章 公鑰加密方案(Ⅰ)：保密性質和PA性質
第5章 公鑰加密方案(Ⅱ)：一些通用構造及其保密性條件
第6章 公鑰加密方案(Ⅲ)：匿名性質
第7章 身份鑒別協議
第8章 密碼協議的UC—理論及應用
第9章 Dolev-Yao理論(Ⅰ)：自由消息代數strand—圖模型
第10章 Dolev—Yao理論(Ⅱ)：自動分析技術
第11章 Dolev-Yao理論(Ⅲ)：帶交換群算術的非自由消息代數
第12章 密碼協議形式模型的計算語義(Ⅰ)：被動攻擊情形
第13章 密碼協議形式模型的計算語義(Ⅱ)：主動攻擊情形
附錄A 一些必要的數學事實
附錄B 進程代數模型：spi—演算
參考文獻
今日66折
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。