密碼協議實現的邏輯安全分析與設計

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

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