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

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

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

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

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

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

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

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

本書主要介紹身份基類哈希證明系統(tǒng)的構(gòu)造及其在抗泄露密碼機制方面的應(yīng)用。全書共7章，第1章介紹身份基類哈希證明系統(tǒng)的研究動機及目標(biāo)、研究現(xià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)造抗泄露身份基加密機制的通用方法，第7章介紹身份基加密機制挑戰(zhàn)后泄露容忍性的實現(xiàn)方法。 本書可作為網(wǎng)絡(luò)空間安全、密碼科學(xué)與技術(shù)等專業(yè)高年級本科生和研

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