基於配對的密碼學

基於配對的密碼學是密碼學學科中非常年輕的分支。自Boneh和Franklin在2001年首次將雙線性對用來設計基於身份的加密體制以來，基於配對的密碼學得到了快速的發展，目前已經成為設計短簽名體制、基於身份的加密體制、基於屬性的加密體制和無證書密碼體制的重要工具。《基於配對的密碼學》全面而詳細地介紹了基於配對的密碼學的基本理論、安全模型、算法設計、安全性證明和具體實現過程。《基於配對的密碼學》共分為8章，包括基本概念、配對理論、PBC庫、基於配對的加密體制、基於配對的簽名體制、基於配對的籤密體制、基於配對的組合密碼體制、基於配對的密鑰協商協議和基於配對的否認認證協議。

《基於配對的密碼學》可供密碼學與信息安全領域的科研人員參考，也可以作為密碼學、信息安全、計算機、通信工程等專業的研究生教學用書。 ^[1] 

前言
　　第1章引言
　　1.1研究背景
　　1.2橢圓曲線密碼體制
　　1.2.1實數域上的橢圓曲線
　　1.2.2有限域上的橢圓曲線
　　1.2.3橢圓曲線上的ElGamal加密體制
　　1.3雙線性配對理論
　　1.4困難問題
　　1.5公鑰認證方法
　　參考文獻
　　第2章PBC庫
　　2.1PBC的使用
　　2.1.1PBC的安裝
　　2.1.2配置開發環境
　　2.1.3執行配對運算
　　2.1.4進一步説明
　　2.2配對操作函數
　　2.2.1配對類型
　　2.2.2初始化函數
　　2.2.3運算函數
　　2.2.4其他函數
　　2.3元素操作函數
　　2.3.1初始化函數
　　2.3.2運算函數
　　2.3.3輸入和輸出函數
　　2.3.4其他函數
　　2.4輔助函數
　　2.4.1隨機數函數
　　2.4.2動態數組函數
　　2.4.3設置配對參數函數
　　2.5PBC的組織結構
　　2.6常用密碼操作實驗
　　參考文獻
　　第3章基於配對的加密體制
　　3.1公鑰加密體制
　　3.2隨機預言模型與標準模型
　　3.3基於身份的加密體制
　　3.3.1形式化模型
　　3.3.2BF體制
　　3.3.3Waters體制
　　3.3.4算法實現
　　3.3.5性能分析
　　3.4無證書加密體制
　　3.4.1形式化模型
　　3.4.2AP體制
　　3.4.3算法實現
　　3.4.4性能分析
　　參考文獻
　　第4章基於配對的簽名體制
　　4.1數字簽名體制
　　4.2短簽名體制
　　4.2.1BLS體制
　　4.2.2ZSS體制
　　4.2.3BB體制
　　4.2.4算法實現
　　4.2.5性能分析
　　4.3基於身份的簽名體制
　　4.3.1形式化模型
　　4.3.2CC體制
　　4.3.3Hess體制
　　4.3.4BLMQ體制
　　4.3.5PS體制
　　4.3.6算法實現
　　4.3.7性能分析
　　4.4無證書籤名體制
　　4.4.1形式化模型
　　4.4.2AP體制
　　4.4.3ZWXF體制
　　4.4.4算法實現
　　4.4.5性能分析
　　參考文獻
　　第5章基於配對的組合密碼體制
　　5.1組合密碼體制
　　5.2基於身份的組合密碼體制
　　5.2.1形式化模型
　　5.2.2具體實例
　　5.2.3算法實現
　　5.2.4性能分析
　　參考文獻
　　第6章基於配對的密鑰協商協議
　　6.1一輪三方密鑰協商協議
　　6.2基於身份的密鑰協商協議
　　6.2.1Smart協議
　　6.2.2Shim協議
　　6.3無證書密鑰協商協議
　　6.4協議實現
　　6.5性能分析
　　參考文獻
　　第7章基於配對的可否認認證協議
　　7.1可否認認證協議
　　7.2基於身份的可否認認證協議
　　7.2.1形式化模型
　　7.2.2LXJ協議
　　7.2.3協議實現
　　7.2.4性能分析
　　參考文獻