基于状态机一致性检测的安全协议代码脆弱性挖掘方法

发明专利有效专利

申请号：
CN202010801801.3
IPC分类号：H04L9/08;H04L29/06;G06F9/448;G06F21/57
申请日期：
2020-08-11
申请人：
中国人民解放军战略支援部队信息工程大学

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	基于状态机一致性检测的安全协议代码脆弱性挖掘方法
申请号	CN202010801801.3	申请日期	2020-08-11
法律状态	实质审查	申报国家	中国
公开/公告日	2020-12-29	公开/公告号	CN112152795A
优先权	暂无	优先权号	暂无
主分类号	H04L9/08 ? IPC结构图谱： H 电学 H9 电学 H04 电通信技术 H04L 数字信息的传输，例如电报通信（电报和电话通信的公用设备入H04M）〔4〕 H04L9/00 保密或安全通信装置 H04L9/08 密钥分配〔5〕	IPC分类号	H;0;4;L;9;/;0;8;;;H;0;4;L;2;9;/;0;6;;;G;0;6;F;9;/;4;4;8;;;G;0;6;F;2;1;/;5;7查看分类表>
申请人	中国人民解放军战略支援部队信息工程大学	申请人地址	河南省郑州市高新区科学大道62号变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	中国人民解放军战略支援部队信息工程大学	当前权利人	中国人民解放军战略支援部队信息工程大学
发明人	顾纯祥;郭家兴;石雅男;陈熹
代理机构	郑州睿信知识产权代理有限公司	代理人	暂无

摘要

本发明涉及基于状态机一致性检测的安全协议代码脆弱性挖掘方法，属于信息安全技术领域，该方法首先通过发送测试用例的方式，与搭载目标安全协议的装置进行交互，利用学习机推断出安全协议的状态机模型，然后将该状态机模型翻译为形式化模型，并将该形式化模型与设定的形式化验证准则进行比对，寻找状态机模型中与准则不一致的情况，并给出反例供调试人员进行参考。本发明利用形式化验证手段，自动对协议状态机合规情况进行检测，从根本上代替了传统的人工筛查，不仅提高了协议状态机分析效率，准确率高，不容易出现误检测，还降低了调试人员的专业性要求，增强了分析方法的普适性，甚至还能找到人工分析难以发现的问题。

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有被任何外部专利所引用！

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供