本書介紹可證明安全性的發(fā)展歷史及研究成果。全書共5章,第1章介紹可證明安全性涉及的數(shù)學知識和基本工具,第2章介紹語義安全的公鑰密碼體制的定義,第3章介紹幾類常用的語義安全的公鑰機密體制,第4章介紹基于身份的密碼體制,第5章介紹基于屬性的密碼體制。本書取材新穎,結(jié)構(gòu)合理,不僅包括可證明安全性的基礎理論和實用算法,同時也涵蓋了可證明安全性的密碼學的研究成果,力求使讀者通過本書的學習了解本學科的發(fā)展方向。本書適合作為高等院校信息安全、網(wǎng)絡空間安全、計算機工程、密碼學和信息對抗等相關(guān)專業(yè)的本科生高年級和研究生教材,也可作為通信工程師和計算機網(wǎng)絡工程師的參考讀物。
本書由教育部高等學校信息安全專業(yè)教學指導委員會、中國計算機學會教育專業(yè)委員會共同指導,符合《高等學校信息安全專業(yè)指導性專業(yè)規(guī)范》。本書介紹可證明安全性的發(fā)展歷史及研究成果。全書共5章,第1章介紹可證明安全性涉及的數(shù)學知識和基本工具,第2章介紹語義安全的公鑰密碼體制的定義,第3章介紹幾類常用的語義安全的公鑰機密體制,第4章介紹基于身份的密碼體制,第5章介紹基于屬性的密碼體制。 本書取材新穎,不僅包括可證明安全性的基礎理論和實用算法,同時也涵蓋了可證明安全性的密碼學的研究成果,力求使讀者通過本書的學習了解本學科的發(fā)展方向。 本書特別適合作為高等院校信息安全、計算機工程和信息對抗等專業(yè)的本科生和網(wǎng)絡空間安全學科研究生教材,也可作為通信工程師和計算機網(wǎng)絡工程師的參考讀物。
楊波,北京大學學士,西安電子科技大學碩士、博士,陜西師范大學計算機科學學院教授、博士生導師,陜西省百人計劃特聘教授,中國密碼學會理事,中國密碼學會密碼算法專業(yè)委員會委員,《密碼學報》編委。曾任華南農(nóng)業(yè)大學信息學院、軟件學院院長。2011年起在陜西師范大學計算機科學學院工作。2005年擔任第四屆中國信息和通信安全學術(shù)會議程序委員會主席,2009年擔任中國密碼學會年會副主席,2010年起擔任The Joint Workshop on Information Security (JWIS ) Co-General Chair。主持多項國家自然科學基金、863計劃、國家密碼發(fā)展基金、國防科技重點實驗室基金、陜西省自然科學基金項目。