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