密码协议实现的逻辑安全分析与设计

　　本书主要探讨密码协议实现（密码协议程序源代码）时的逻辑安全性，引入了逻辑推理与规则的安全证明，在分析方面讨论了密码协议实现时的轨迹安全、快速判断密码协议实现时导致不安全原因、基于内容安全的密码协议代码实现模型分析和密码协议实现时的侧信道安全分析。在设计方面，本书讨论了非签名认证的密钥协商协议设计和基于协议底层实现安全的密钥协商协议。所有的逻辑实现方案都通过源代码（C语言和Socket通信编程）进行实验分析，实验结果符合预期要求。

　　吴福生，副教授，博士研究生，毕业于武汉大学国家网络安全学院信息安全专业，就职于贵州财经大学贵州省经济系统仿真重点实验室；研究方向：大数据应用与安全，密码协议设计与分析，软件实现的逻辑安全。主持：国家自然科学基金项目1项；贵州省教育厅自然科学基金1项。申请1项发明专利。在国内外知名期刊《计算机学报》、《计算机研究与发展》、和《SecurityandCommunicationNetworks》、《IEEEACCESS》《JournalofSystemsArchitecture》等国内外期刊发表10余篇，其中SCI/EI共8篇。