本書主要探討密碼協(xié)議實現(xiàn) (密碼協(xié)議程序源代碼) 時的邏輯安全性, 引入了邏輯推理與規(guī)則的安全證明, 在分析方面討論了密碼協(xié)議實現(xiàn)時的軌跡安全、快速判斷密碼協(xié)議實現(xiàn)時導致不安全原因、基于內(nèi)容安全的密碼協(xié)議代碼實現(xiàn)模型分析和密碼協(xié)議實現(xiàn)時的側信道安全分析。在設計方面, 本書討論了非簽名認證的密鑰協(xié)商協(xié)議設計和基于協(xié)議底層實現(xiàn)安全的密鑰協(xié)商協(xié)議。所有的邏輯實現(xiàn)方案都通過源代碼 (C語言和Socket通信編程) 進行實驗分析, 實驗結果符合預期要求。李延斌, 男, 武漢大學網(wǎng)絡空間安全學院信息安全專業(yè)博士學位, 2013年至今從事密碼學及應用、側信道攻擊與防護、密碼芯片及嵌入式安全等方面的研究工作。發(fā)表包括IEEE TIFS、TCAD等在內(nèi)的SCI/EI論文10余篇。主持或參與多項密碼學應用及信息系統(tǒng)安全的國家基金項目和省部級項目。