密碼協(xié)議實(shí)現(xiàn)的邏輯安全分析與設(shè)計(jì)

　　本書主要探討密碼協(xié)議實(shí)現(xiàn)（密碼協(xié)議程序源代碼）時的邏輯安全性，引入了邏輯推理與規(guī)則的安全證明，在分析方面討論了密碼協(xié)議實(shí)現(xiàn)時的軌跡安全、快速判斷密碼協(xié)議實(shí)現(xiàn)時導(dǎo)致不安全原因、基于內(nèi)容安全的密碼協(xié)議代碼實(shí)現(xiàn)模型分析和密碼協(xié)議實(shí)現(xiàn)時的側(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ù)期要求。

　　吳福生，副教授，博士研究生，畢業(yè)于武漢大學(xué)國家網(wǎng)絡(luò)安全學(xué)院信息安全專業(yè)，就職于貴州財(cái)經(jīng)大學(xué)貴州省經(jīng)濟(jì)系統(tǒng)仿真重點(diǎn)實(shí)驗(yàn)室；研究方向：大數(shù)據(jù)應(yīng)用與安全，密碼協(xié)議設(shè)計(jì)與分析，軟件實(shí)現(xiàn)的邏輯安全。主持：國家自然科學(xué)基金項(xiàng)目1項(xiàng)；貴州省教育廳自然科學(xué)基金1項(xiàng)。申請1項(xiàng)發(fā)明專利。在國內(nèi)外知名期刊《計(jì)算機(jī)學(xué)報(bào)》、《計(jì)算機(jī)研究與發(fā)展》、和《SecurityandCommunicationNetworks》、《IEEEACCESS》《JournalofSystemsArchitecture》等國內(nèi)外期刊發(fā)表10余篇，其中SCI/EI共8篇。