作者简介:

秦富童,男 1985年生于河南省商水县,2006年中国科学技术大学计算机科学与技术本科毕业，2010年中国科学技术大学计算机应用硕士研究生毕业。工程师。长期从事信息安全及其试验领域技术研究工作，参与国家和军队重点课题研究10余项，获国家发明专利2项，申请国防专利20余项，发表论文20余篇，获军队科技进步二等奖1项，出版有《IP网络攻击原理与实践》《工业网络安全》等多部专著和译著。
周超,男 1993年生于湖南省常德市,2015年中国人民解放军信息工程大学信息安全专业本科毕业，2018年中国人民解放军战略支援部队信息工程大学软件工程专业硕士研究生毕业。助理工程师。长期从事信息安全及其试验领域技术研究工作，参与国家和军队重点课题研究和项目建设10余项，发表论文5篇，申请专利4项，获软件著作权授权7项，出版有《网络空间安全风险控制理论技术与实践》、《网络安全测试方法及应用实践》等图书。
王震，男，1986年生于吉林省农安县，2009年西安交通大学计算机科学与技术专业获学士学位，2017年西北工业大学网络与空间安全专业获硕士学位。现任63891部队工程师。曾出版《网络安全测试方法及应用实践》、《网络安全防护理论与技术》等多部图书。申报国防专利11项，国家发明专利10项。获优秀共产党员1次。参与多项部队相关任务。发表“面向大数据应用的区块链解决方案综述”等核心期刊文章7篇。申请“网络攻防效果评估系统”等7项软件著作权。

内容简介:

协议常用于社会、经济、安全等关键领域，因此针对其安全性及可用性的保障至关重要。一旦协议的安全性被破坏，恶意攻击者将利用协议漏洞发起数据窃取、篡改等攻击，严重损害国家关键领域的系统安全，给国家、社会带来重大损失。其次，如果协议的可用性不能被保证，意味着协议的运行随时可能出现不可预知的崩溃、错误，协议可用性将被破坏，甚至导致使用相关协议的领域出现严重事故。为了保障协议的安全性以及可用性，本书对网络安全协议进行缺陷分析，通过形式化方法找出网络安全协议设计中存在的漏洞，并对缺陷进行定位，使用机器学习的方法预测协议中是否存在漏洞。