-
公开(公告)号：CN108319858B
公开(公告)日：2020-07-10
申请号：CN201810084140.X
申请日：2018-01-29
Applicant: 中国科学院信息工程研究所
IPC: G06F21/57
Abstract: 本发明实施例公开一种针对不安全函数的数据依赖图构建方法及装置，构建出的数据依赖图在用于脆弱性分析时能够提高分析效率。方法包括：S1、采用符号执行技术模拟执行目标设备固件中的二进制程序，在模拟所述二进制程序执行的过程中，将不安全函数作为潜在脆弱点，对所述不安全函数中关键参数之间的关系进行记录，并建立所述二进制程序的函数调用图和控制流图，其中，所述关键参数之间的关系记录在所述控制流图的节点中；S2、基于所述函数调用图、控制流图和关键参数之间的关系，根据参数的“定义‑引用”规则，构建仅与不安全函数中关键参数相关的数据依赖图。
-
公开(公告)号：CN106888209A
公开(公告)日：2017-06-23
申请号：CN201710120947.X
申请日：2017-03-02
Applicant: 中国科学院信息工程研究所
IPC: H04L29/06
Abstract: 本发明涉及一种基于协议状态图深度遍历的工控漏洞挖掘方法。该方法包括：1)获取目标设备的网络数据包，对网络数据包进行预处理得到待分析数据包集合；2)对待分析数据包集合中的数据包进行分块处理得到大量协议基础块；3)提取单数据包内协议基础块间的约束关联关系及数据包间的状态转移关联关系，并以此为基础构造协议状态图；4)按深度优先方式对协议状态图进行遍历，生成并发送相应的畸形数据包；5)探测目标设备是否存活，若目标设备崩溃则根据畸形数据包编写POC脚本进行漏洞验证，从而发现目标设备中存在的安全漏洞。本发明能够有效地发现物联网及工业控制系统设备中存在的安全漏洞，解决了传统的漏洞挖掘方法有效性较差的问题。
-
公开(公告)号：CN106888209B
公开(公告)日：2019-11-29
申请号：CN201710120947.X
申请日：2017-03-02
Applicant: 中国科学院信息工程研究所
IPC: H04L29/06
Abstract: 本发明涉及一种基于协议状态图深度遍历的工控漏洞挖掘方法。该方法包括：1)获取目标设备的网络数据包，对网络数据包进行预处理得到待分析数据包集合；2)对待分析数据包集合中的数据包进行分块处理得到大量协议基础块；3)提取单数据包内协议基础块间的约束关联关系及数据包间的状态转移关联关系，并以此为基础构造协议状态图；4)按深度优先方式对协议状态图进行遍历，生成并发送相应的畸形数据包；5)探测目标设备是否存活，若目标设备崩溃则根据畸形数据包编写POC脚本进行漏洞验证，从而发现目标设备中存在的安全漏洞。本发明能够有效地发现物联网及工业控制系统设备中存在的安全漏洞，解决了传统的漏洞挖掘方法有效性较差的问题。
-
公开(公告)号：CN108319858A
公开(公告)日：2018-07-24
申请号：CN201810084140.X
申请日：2018-01-29
Applicant: 中国科学院信息工程研究所
IPC: G06F21/57
Abstract: 本发明实施例公开一种针对不安全函数的数据依赖图构建方法及装置，构建出的数据依赖图在用于脆弱性分析时能够提高分析效率。方法包括：S1、采用符号执行技术模拟执行目标设备固件中的二进制程序，在模拟所述二进制程序执行的过程中，将不安全函数作为潜在脆弱点，对所述不安全函数中关键参数之间的关系进行记录，并建立所述二进制程序的函数调用图和控制流图，其中，所述关键参数之间的关系记录在所述控制流图的节点中；S2、基于所述函数调用图、控制流图和关键参数之间的关系，根据参数的“定义-引用”规则，构建仅与不安全函数中关键参数相关的数据依赖图。
-
-
-
Search Results
4
records
(took 0.041 seconds)
