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