本書(shū)的主要內(nèi)容是基于作者在密碼函數(shù)研究領(lǐng)域所發(fā)表的學(xué)術(shù)論文撰寫(xiě)而成的，主要介紹了在單輸出密碼函數(shù)、多輸出密碼函數(shù)以及密碼函數(shù)的應(yīng)用等三個(gè)方面的原創(chuàng)性研究成果。本書(shū)的第1章介紹了與密碼函數(shù)相關(guān)的基礎(chǔ)知識(shí)；第2章和第3章側(cè)重介紹具有優(yōu)良密碼學(xué)性質(zhì)的單輸出和多輸出布爾函數(shù)的構(gòu)造，提出一系列新型密碼函數(shù)構(gòu)造方法；第4章探索了多輸出密碼函數(shù)在正交序列集設(shè)計(jì)及真隨機(jī)數(shù)生成器的校正器設(shè)計(jì)等方面的應(yīng)用。各章后的評(píng)注部分是對(duì)每章內(nèi)容的擴(kuò)展。各章后配有習(xí)題，供讀者進(jìn)一步思考和研究。

本書(shū)真實(shí)系統(tǒng)地介紹了密碼學(xué)及該領(lǐng)域全面的參考文獻(xiàn)。全書(shū)共分四個(gè)部分，首先定義了密碼學(xué)的多個(gè)術(shù)語(yǔ)，介紹了密碼學(xué)的發(fā)展及背景，描述了密碼學(xué)從簡(jiǎn)單到復(fù)雜的各種協(xié)議，詳細(xì)討論了密碼技術(shù)，并在此基礎(chǔ)上列舉了如DES、IDEA、RSA、DSA等10多個(gè)算法以及多個(gè)應(yīng)用實(shí)例，并提供了算法的源代代碼清單。

公鑰密碼學(xué)是使用一對(duì)公鑰和私鑰的密碼學(xué)。公鑰密碼學(xué)包括公鑰加密算法和數(shù)字簽名算法。公鑰密碼學(xué)要實(shí)現(xiàn)的功能有兩個(gè)：一個(gè)是保密，發(fā)送者需要是用接收者的公鑰去加密信息，接收者就用自己的私鑰去解密信息。另外一個(gè)功能就是認(rèn)證，發(fā)出信息的人用私鑰去進(jìn)行數(shù)字簽名來(lái)簽署信息，這樣任何人拿到公鑰之后都可以去確認(rèn)信息是不是由私鑰持有人發(fā)出的。所以，公鑰密碼學(xué)有兩個(gè)應(yīng)用，一個(gè)是加密通信，另外一個(gè)是數(shù)字簽名。本書(shū)詳細(xì)介紹數(shù)字簽名、公鑰加密機(jī)制、基于身份的加密機(jī)制、基于屬性的加密機(jī)制和函數(shù)加密等公鑰加密算法。

安全多方計(jì)算是密碼學(xué)重要研究領(lǐng)域，作為密碼協(xié)議的一般性理論研究，取得了非常豐富、深刻的研究成果，是密碼學(xué)基礎(chǔ)理論的重要組成部分，近年來(lái)在實(shí)用化方面也取得顯著成果。本書(shū)旨在對(duì)這一研究領(lǐng)域進(jìn)行梳理，形成一個(gè)完整系統(tǒng)的總結(jié)，展現(xiàn)其基本思想與方法。本書(shū)以安全多方計(jì)算的起源和里程碑式的成果為起點(diǎn)，介紹了Yao混淆電路、GMW、BGW等基礎(chǔ)協(xié)議，嚴(yán)格論述了安全模型及形式化證明方法，并對(duì)實(shí)用化技術(shù)做了詳盡分析與介紹。

分布式標(biāo)識(shí)與數(shù)字身份技術(shù)是數(shù)字身份的最新解決方案。近年來(lái)，經(jīng)過(guò)多方努力，已取得了理論、模型、規(guī)范、研發(fā)等方面的眾多成果。本書(shū)主要講述自主主權(quán)身份模型（SSI）和分布式數(shù)字身份技術(shù)（DID）的發(fā)展歷程、理論、模型、技術(shù)特點(diǎn)、應(yīng)用場(chǎng)景及未來(lái)前景，比較詳細(xì)地介紹了分布式數(shù)字身份技術(shù)的規(guī)范、特點(diǎn)、優(yōu)勢(shì)和挑戰(zhàn)，列舉了主要研究機(jī)構(gòu)及其公開(kāi)發(fā)布的部分研究成果，并且提供了3個(gè)主流解決方案以幫助讀者加深理解，為研發(fā)工作提供參考，還通過(guò)應(yīng)用場(chǎng)景分析了自主主權(quán)身份體系對(duì)多個(gè)行業(yè)或領(lǐng)域的影響，最后展望其未來(lái)的應(yīng)用前景。

本書(shū)全面介紹可證明安全性的發(fā)展歷史、基礎(chǔ)理論和實(shí)用算法，內(nèi)容分為6章，第1章介紹可證明安全性涉及的數(shù)學(xué)知識(shí)和基本工具，第2章介紹語(yǔ)義安全的公鑰密碼體制的定義，第3章介紹語(yǔ)義安全的公鑰密碼體制，第4章介紹基于身份的密碼體制，第5章介紹基于屬性的密碼體制，第6章介紹抗密鑰泄露的公鑰加密系統(tǒng)。 本書(shū)可作為高等學(xué)校相關(guān)專(zhuān)業(yè)本科生和研究生的教材，也可作為通信工程師和計(jì)算機(jī)網(wǎng)絡(luò)工程師的參考讀物。

本書(shū)介紹了量子算法與量子密碼的基礎(chǔ)知識(shí)，對(duì)具有重要密碼學(xué)應(yīng)用的Shor算法、Grover算法等典型算法進(jìn)行具體分析，幫助讀者了解這兩類(lèi)量子算法在整數(shù)分解、離散對(duì)數(shù)、SAT、代數(shù)方程組等密碼數(shù)學(xué)問(wèn)題中的具體應(yīng)用，在此基礎(chǔ)上介紹具有理論可證明安全性的密碼協(xié)議——量子密鑰分發(fā)協(xié)議。本書(shū)可作為密碼學(xué)、信息安全、計(jì)算機(jī)等專(zhuān)業(yè)本科生、研究生的教材，也可作為對(duì)量子算法與量子密碼感興趣的計(jì)算機(jī)學(xué)者、數(shù)學(xué)學(xué)者及物理學(xué)者的參考書(shū)。

密鑰管理是深空DTN安全研究不可或缺的內(nèi)容，為身份認(rèn)證、安全接入、安全信道建立和密鑰協(xié)商等安全協(xié)議提供技術(shù)基礎(chǔ)。由于地面無(wú)線(xiàn)網(wǎng)絡(luò)密鑰管理建立在可靠端到端連接、較短延時(shí)和同步性等假設(shè)基礎(chǔ)上，因此將地面無(wú)線(xiàn)網(wǎng)絡(luò)的密鑰管理應(yīng)用于深空網(wǎng)絡(luò)具有不可避免的先天缺陷。從這一點(diǎn)出發(fā)，研究適合深空DTN的密鑰管理具有十分重要的理論和實(shí)踐意義。本書(shū)以密鑰學(xué)基礎(chǔ)、安全協(xié)議和可證明性安全為理論基礎(chǔ)，從加密解密算法、密鑰協(xié)商協(xié)議、單播/組播密鑰管理協(xié)議和身份認(rèn)證協(xié)議4個(gè)方面展開(kāi)深入研究。 本書(shū)適合相關(guān)科學(xué)工作者和工程技術(shù)

本書(shū)主要介紹身份基類(lèi)哈希證明系統(tǒng)的構(gòu)造及其在抗泄露密碼機(jī)制方面的應(yīng)用。全書(shū)共7章，第1章介紹身份基類(lèi)哈希證明系統(tǒng)的研究動(dòng)機(jī)及目標(biāo)、研究現(xiàn)狀與進(jìn)展等，第2章介紹相關(guān)的數(shù)學(xué)基礎(chǔ)及密碼技術(shù)，第3章介紹身份基哈希證明系統(tǒng)及其構(gòu)造方法，第4章介紹可更新身份基哈希證明系統(tǒng)及其構(gòu)造方法，第5章介紹雙封裝密鑰身份基哈希證明系統(tǒng)及其構(gòu)造方法，第6章介紹基于最小假設(shè)構(gòu)造抗泄露身份基加密機(jī)制的通用方法，第7章介紹身份基加密機(jī)制挑戰(zhàn)后泄露容忍性的實(shí)現(xiàn)方法。 本書(shū)可作為網(wǎng)絡(luò)空間安全、密碼科學(xué)與技術(shù)等專(zhuān)業(yè)高年級(jí)本科生和研

本書(shū)介紹了基于認(rèn)知邏輯的密碼協(xié)議分析。從密碼協(xié)議的邏輯分析講起，介紹密碼學(xué)的基礎(chǔ)知識(shí)、認(rèn)知邏輯基礎(chǔ)理論,到用認(rèn)知中的行為、行為模型以及時(shí)態(tài)認(rèn)知邏輯分析具體的密碼協(xié)議，以具體實(shí)例闡述了用動(dòng)態(tài)認(rèn)知邏輯的理論來(lái)分析密碼協(xié)議的安全性。本書(shū)內(nèi)容的編排由淺入深層層展開(kāi)，適合各層次的讀者參閱，可為密碼協(xié)議分析和網(wǎng)絡(luò)安全提供一定的理論與技術(shù)支撐。本書(shū)可供相關(guān)專(zhuān)業(yè)的教師、科研人員或工程技術(shù)人員參考，也可供高等院校計(jì)算機(jī)科學(xué)與技術(shù)、網(wǎng)絡(luò)空間安全、通信工程以及邏輯學(xué)等專(zhuān)業(yè)高年級(jí)本科生和研究生學(xué)習(xí)使用。