-
公开(公告)号：CN118550581A
公开(公告)日：2024-08-27
申请号：CN202410676027.6
申请日：2024-05-27
Applicant: 中国人民解放军战略支援部队信息工程大学
IPC: G06F8/75 , G06F8/41 , G06F18/213 , G06F18/214 , G06F18/22
Abstract: 本发明提供一种细粒度语义代码克隆检测方法。该方法包括：步骤1：分别生成两个目标代码的抽象语法树AST，并分别对两个目标代码的AST进行分解以各自得到多个子树；步骤2：分别对两个目标代码的多个子树进行树编码，得到两个目标代码的自由度矩阵；步骤3：根据两个目标代码的自由度矩阵计算两个目标代码的相似性矩阵，并利用所述相似性矩阵中的值来表征两个目标代码中对应代码块之间的相似度，值越小，两个代码块的相似度越大；步骤4：将所述相似性矩阵转换为相似性向量，将所述相似性向量输入至代码克隆检测模型中，得到检测结果。
-
公开(公告)号：CN115097750B
公开(公告)日：2024-08-06
申请号：CN202210652190.X
申请日：2022-06-10
Applicant: 中国人民解放军战略支援部队信息工程大学
IPC: G05B19/042
Abstract: 本发明属于线上硬件实验教学领域，特别涉及一种线上硬件实验透明化配置方法及系统，用于核心控制板与外围模块之间的硬件配置，通过互联网建立用户端上位机与实验室配置服务器之间的远程连接关系；用户端利用上位机生成核心控制板与外围模块之间连接关系，并将该连接关系上传至实验室中的配置服务器；配置服务器依据核心控制板与外围模块之间连接关系生成连接关系表，并依据连接关系表确定FPGA开发板管脚使用情况来自动生成FPGA开发板的电路逻辑配置文件及管脚约束文件；根据电路逻辑配置文件及管脚约束文件，通过调用FPGA开发工具对FPGA开发板进行自动化配置。本发明能够实现远程实验平台的灵活、透明化配置，提升线上硬件实验的效果，达到线上硬件实验目的，便于实际场景应用。
-
公开(公告)号：CN114650163B
公开(公告)日：2023-08-22
申请号：CN202210073509.3
申请日：2022-01-21
Applicant: 中国人民解放军战略支援部队信息工程大学
Abstract: 本发明属于网络空间安全测试技术领域，特别涉及一种面向有状态网络协议的模糊测试方法及系统，依据待测协议格式规范从语法和语义维度提取协议规则，并构建规则集；利用规则集中的规则生成报文测试模板，并利用报文标签标记报文测试模板中变异操作相关字段；通过对报文测试模板进行解析并依据报文标签执行对应变异操作来获取用于通过引导待测协议状态转移来完成模糊测试的测试报文；将测试报文发送至待测协议目标程序，依据回复报文状态进行模糊测试中的状态异常判定。本发明能够提高测试报文合法性，避免因对特殊字段变异导致程序校验失败情形，不仅可将测试报文用于测试，还可用于代替辅助报文引导协议状态转移，提升测试效率，节约系统资源。
-
公开(公告)号：CN116566866A
公开(公告)日：2023-08-08
申请号：CN202310548078.6
申请日：2023-05-15
Applicant: 中国人民解放军战略支援部队信息工程大学
IPC: H04L43/18
Abstract: 本发明提供一种基于def‑use数据依赖图的IPSec协议状态变化标识方法。该方法包括：步骤1：获取实现IPSec协议的目标二进制程序；步骤2：对所述目标二进制程序进行重写插桩来实现基本块的标识和定位；步骤3：对重写插桩后的目标二进制程序进行扫描以获取所有函数指针间接调用指令，并生成包含所有函数指针间接调用指令所在位置索引的指针函数字典；步骤4：遍历所述目标二进制程序中的所有函数，为每个函数生成对应的def‑use数据依赖图；步骤5：遍历所述目标二进制程序中所有结构体变量赋值指令，根据每条赋值指令所在函数的def‑use数据依赖图和所述指针函数字典标识出协议状态变化操作所在代码的位置。
-
公开(公告)号：CN117664133A
公开(公告)日：2024-03-08
申请号：CN202311651914.X
申请日：2023-12-04
Applicant: 中国人民解放军战略支援部队信息工程大学
IPC: G01C21/20 , G01C21/30 , G01C21/34 , G06Q10/047
Abstract: 本发明提供一种基于改进Q‑learnming算法的自动路径规划方法。该方法包括：获取目标区域的栅格地图，在栅格地图中指定起点节点和终点节点，并根据栅格地图的规模大小和栅格地图中的障碍物节点所占比例，计算栅格地图的迭代临界值；针对非障碍物且非终点节点的当前节点，根据该当前节点与终点节点的距离远近关系初始化栅格地图对应的Q值表；移动机器人根据当前状态使用ε‑acc‑increasing策略选择动作并执行；使用Q值更新规则动态更新Q值表，以减小与终点节点距离较远的节点的Q值；重复执行以上的两个步骤对移动机器人进行训练，直至达到停止条件；分析当前的Q值表，对于每个状态，选择具有最高Q值的动作作为最优动作，从而形成最终的路径规划策略。
-
Patent Agency Ranking
公开(公告)号：CN115587318A
公开(公告)日：2023-01-10
申请号：CN202211302051.0
申请日：2022-10-24
Applicant: 中国人民解放军战略支援部队信息工程大学
Abstract: 本发明提供一种基于神经网络的源码分类方法。该方法包括：将待分类源码转换为AST；定义并初始化整个AST叶子节点对应的向量矩阵，记作从AST中随机抽取n条路径{p1,…,pn}；针对抽取到的任一条路径pi，可将其转换为二元组 ；从value_vocab中分别查询到当前路径pi上起始节点和末端节点的向量，进而得到当前路径pi的向量ci，记作：ci作为全连接神经网络中的一个神经元的输入，得到对应的输出n条路径{p1,…,pn}对应的n个向量{c1,…,cn}输入到含有n个神经元的全连接神经网络后，得到n个输出将所有的输出聚合为代码嵌入v；定义一个类别标签矩阵，记作将代码嵌入v与tags_vocab中每一个训练函数标签的嵌入进行运算后得到代码嵌入v的预测分布。
-
公开(公告)号：CN118316624A
公开(公告)日：2024-07-09
申请号：CN202410531418.9
申请日：2024-04-29
Applicant: 中国人民解放军战略支援部队信息工程大学
Abstract: 本发明提供一种基于多模态学习的PUF安全性测试方法。该方法包括：步骤1：对待测PUF输入若干激励，并获取待测PUF在每个激励下的的响应以组成若干个激励响应对；步骤2：针对每个激励响应对，获取待测PUF本次运行过程中的功耗侧信道频谱图像；步骤3：将待测PUF的每个激励响应对作为文本信息，将与所述激励响应对对应的功耗侧信道频谱图像作为图像信息，组成文本‑图像对数据集；步骤4：利用文本‑图像对数据集对多模态模型进行训练，得到PUF安全性测试模型；步骤5：将待测PUF的待测激励输入至PUF安全性测试模型中，得到待测PUF的响应。本发明可以为PUF的安全性能是否满足需求提供依据。
-
公开(公告)号：CN114650163A
公开(公告)日：2022-06-21
申请号：CN202210073509.3
申请日：2022-01-21
Applicant: 中国人民解放军战略支援部队信息工程大学
Abstract: 本发明属于网络空间安全测试技术领域，特别涉及一种面向有状态网络协议的模糊测试方法及系统，依据待测协议格式规范从语法和语义维度提取协议规则，并构建规则集；利用规则集中的规则生成报文测试模板，并利用报文标签标记报文测试模板中变异操作相关字段；通过对报文测试模板进行解析并依据报文标签执行对应变异操作来获取用于通过引导待测协议状态转移来完成模糊测试的测试报文；将测试报文发送至待测协议目标程序，依据回复报文状态进行模糊测试中的状态异常判定。本发明能够提高测试报文合法性，避免因对特殊字段变异导致程序校验失败情形，不仅可将测试报文用于测试，还可用于代替辅助报文引导协议状态转移，提升测试效率，节约系统资源。
-
公开(公告)号：CN117873646A
公开(公告)日：2024-04-12
申请号：CN202311804745.9
申请日：2023-12-26
Applicant: 中国人民解放军战略支援部队信息工程大学
IPC: G06F9/455
Abstract: 本发明涉及嵌入式设备安全分析技术领域，特别涉及一种基于外设访问点引导的固件仿真方法及系统，通过获取并分析固件二进制程序，识别固件中的外设访问点并构建外设访问点集合；利用该外设访问点集合引导基于动态符号执行的固件仿真：根据外设访问点确定目标函数，通过对目标函数的递归符号执行来求解使固件正常执行的外设访问响应值，用于固件的具体执行。本发明通过对目标函数的递归符号执行求解使固件正常执行的外设访问响应值，将固件仿真中的符号执行与具体执行分离，避免具体执行和动态符号执行过程中状态切换带来的资源开销，提升固件仿真效率，进而能够有效提升嵌入式设备安全性，具有较好的应用前景。
-
公开(公告)号：CN115097750A
公开(公告)日：2022-09-23
申请号：CN202210652190.X
申请日：2022-06-10
Applicant: 中国人民解放军战略支援部队信息工程大学
IPC: G05B19/042
Abstract: 本发明属于线上硬件实验教学领域，特别涉及一种线上硬件实验透明化配置方法及系统，用于核心控制板与外围模块之间的硬件配置，通过互联网建立用户端上位机与实验室配置服务器之间的远程连接关系；用户端利用上位机生成核心控制板与外围模块之间连接关系，并将该连接关系上传至实验室中的配置服务器；配置服务器依据核心控制板与外围模块之间连接关系生成连接关系表，并依据连接关系表确定FPGA开发板管脚使用情况来自动生成FPGA开发板的电路逻辑配置文件及管脚约束文件；根据电路逻辑配置文件及管脚约束文件，通过调用FPGA开发工具对FPGA开发板进行自动化配置。本发明能够实现远程实验平台的灵活、透明化配置，提升线上硬件实验的效果，达到线上硬件实验目的，便于实际场景应用。
-
-
-
-
-
-
-
-
-
Search Results
11
records
(took 0.095 seconds)
