安全歸約導論

本書系統地總結了安全歸約的證明方法，包括相關概念的辨析、框架的設計、技巧的詳細講解以及思路範本化，從基於群的密碼學基礎、安全歸約基礎理論（包括安全模型、困難問題假設、攻擊類型、敵手定義、概率優勢等）、數位簽章的安全證明、公開金鑰加密體制的安全證明、基於身份加密體制的安全證明等方面對內容進行編排。
 
本書可作為密碼學、資訊安全、網路空間安全等相關專業的教材或教學參考書，也可供對公開金鑰密碼方案及安全性證明感興趣的學生和教師參考。

郭福春（Fuchun Guo），2013年博士畢業于澳大利亞伍倫貢大學，現任伍倫貢大學電腦與資訊技術學院高級講師，DECRA Fellow。主要研究方向為公開金鑰密碼以及可證明安全。近年來，在CRYPTO、ASIACRYPT、ESORICS等頂級國際會議和IEEE TIFS、IEEE TDSC、DCC等頂級國際期刊上發表論文80多篇，已出版專著《Introduction to Security Reduction》。擔任多個國際學術會議的程式委員會主席和程式委員會委員，30余家期刊的審稿人，並獲得IWSEC 2008最佳論文獎。
 
蔣芃，北京理工大學網路空間安全學院特別副研究員，博士。2017年博士畢業于北京郵電大學；2014—2015年赴澳大利亞伍倫貢大學聯合培養博士生；2017—2018年在香港理工大學電子計算學系從事博士後研究；2018—2020年在北京理工大學電腦學院任特別副研究員；2021年加入北京理工大學網路空間安全學院。主要研究方向為密碼學、資訊安全、網路空間安全、區塊鏈安全等。近年來作為項目負責人或者主要技術負責人，承擔國家重點研發計畫子課題、北京市自然科學基金、工信部製造業高品質發展產業鏈協同創新能力提升項目、國家重點實驗室開放課題專案等多項國家級、省部級科研專案。目前已在IEEE TIFS、IEEE TDSC、IEEE TSC等國內外期刊、會議上發表論文40餘篇，專利3項。擔任多個國際學術會議的本機群組織委員會主席、程式委員會委員，國內/際學術期刊的審稿人。