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

　　本書主要探討密碼協(xié)議實現(xiàn)（密碼協(xié)議程序源代碼）時的邏輯安全性，引入了邏輯推理與規(guī)則的安全證明，在分析方面討論了密碼協(xié)議實現(xiàn)時的軌跡安全、快速判斷密碼協(xié)議實現(xiàn)時導致不安全原因、基于內容安全的密碼協(xié)議代碼實現(xiàn)模型分析和密碼協(xié)議實現(xiàn)時的側信道安全分析。在設計方面，本書討論了非簽名認證的密鑰協(xié)商協(xié)議設計和基于協(xié)議底層實現(xiàn)安全的密鑰協(xié)商協(xié)議。所有的邏輯實現(xiàn)方案都通過源代碼（C語言和Socket通信編程）進行實驗分析，實驗結果符合預期要求。

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