一种安全协议程序的安全性检测方法

摘要

本发明涉及一种安全协议程序的安全性检测方法，属于网络信息安全技术领域。检测方法包括：获取待检测的安全协议程序；将安全协议程序输入学习机中，利用模型学习算法推断出安全协议程序的状态机模型；对状态机模型中的协议会话发起实体的状态转移路径和协议会话响应实体的状态转移路径根据多重集重写规则进行建模，得到形式化模型；根据形式化分析工具对各形式化模型进行安全性检测。本发明可以在无协议源码的条件下对安全协议程序进行形式化分析，自动化验证协议状态机逻辑是否满足协议安全属性，无需依赖专家经验根据协议规范文档制定启发式的检测规则，不仅提高了验证的准确性，还提高了验证的效率。