公开(公告)号：CN114398069A

公开(公告)日：2022-04-26

申请号：CN202111509921.7

申请日：2021-12-10

Applicant: 中国人民解放军战略支援部队信息工程大学

Inventor： 武泽慧 ,  魏强 ,  王新蕾 ,  郭威 ,  周国淼 ,  王允超

IPC: G06F8/71 ,  G06F16/903 ,  G06K9/62

Abstract: 本发明公开一种基于交叉指纹分析的公共组件库精确版本识别方法及系统，包括：公共组件特征指纹数据库的构建：爬取所有公共组件库历史版本的源代码；提取源代码中不同版本公共组件库的字符串常量及导出函数列表，将字符串常量划分成版权信息、调试信息、函数名以及其他字符常量，将导出函数列表及清洗过的字符串常量作为指纹数据存储到特征指纹数据库中；将特征指纹数据库中的指纹数据作为主体指纹，并提取收集到的真实环境中编译后的二进制公共组件库中对应的指纹数据，使用二进制公共组件库的指纹数据对特征指纹数据库进行反向增强训练；对目标公共组件库进行版本匹配识别。本发明增加了公共组件库版本识别的准确性。

公开(公告)号：CN114398069B

公开(公告)日：2024-06-28

申请号：CN202111509921.7

申请日：2021-12-10

Applicant: 中国人民解放军战略支援部队信息工程大学

Inventor： 武泽慧 ,  魏强 ,  王新蕾 ,  郭威 ,  周国淼 ,  王允超

IPC: G06F8/71 ,  G06F16/903 ,  G06F18/22

Abstract: 本发明公开一种基于交叉指纹分析的公共组件库精确版本识别方法及系统，包括：公共组件特征指纹数据库的构建：爬取所有公共组件库历史版本的源代码；提取源代码中不同版本公共组件库的字符串常量及导出函数列表，将字符串常量划分成版权信息、调试信息、函数名以及其他字符常量，将导出函数列表及清洗过的字符串常量作为指纹数据存储到特征指纹数据库中；将特征指纹数据库中的指纹数据作为主体指纹，并提取收集到的真实环境中编译后的二进制公共组件库中对应的指纹数据，使用二进制公共组件库的指纹数据对特征指纹数据库进行反向增强训练；对目标公共组件库进行版本匹配识别。本发明增加了公共组件库版本识别的准确性。

公开(公告)号：CN117614613A

公开(公告)日：2024-02-27

申请号：CN202311520197.7

申请日：2023-11-15

Applicant: 中国人民解放军战略支援部队信息工程大学

Inventor： 王轩 ,  魏帅 ,  宋克 ,  裴雪 ,  刘文斌 ,  郭威 ,  张明权 ,  张霞 ,  虎艳宾

IPC: H04L9/06 ,  H04L9/32

Abstract: 本发明属于密码算法硬件加速技术领域，特别涉及一种基于向量化计算的MD5加速方法及系统，该方法包括Host端的CPU负责批量MD5计算任务的程序中的数据预处理和配置加速器的指令流；Device端的加速器负责执行向量化并行计算操作，并将结果输出交由Host端的CPU，CPU最终输出哈希值；所述加速器采用向量化体系结构，所采用的指令集为自定义的向量化指令集。该系统包含通用处理器CPU和专用指令加速器。本发明不需要考虑指令集授权问题以及依赖支持向量化指令集的CPU，完成对批量MD5计算任务的向量化加速。

公开(公告)号：CN118612127A

公开(公告)日：2024-09-06

申请号：CN202410797860.6

申请日：2024-06-20

Applicant: 中国人民解放军战略支援部队信息工程大学

Inventor： 宋克 ,  王兆辉 ,  沈剑良 ,  张丽 ,  丁瑞浩 ,  郭威 ,  李沛杰 ,  张霞

IPC: H04L43/18 ,  H04L43/50 ,  H04L43/0805

Abstract: 本发明公开一种基于软件定义互连芯片协议转换功能的FPGA原型验证方法和系统，包括以下步骤：步骤一：将原型验证平台划分为多个原型验证子平台；步骤二：对划分好的原型验证子平台进行工程构建；步骤三：将原协议报文通过协议转换为目标协议报文，判断是否存在协议转换异常情况，若否则协议转换功能测试通过，若是则执行步骤四；步骤四：根据协议转换异常情况进行协议转换异常场景定位，找出协议转换异常发生的位置；步骤五：根据协议转换异常发生的位置，进行软件仿真问题复现，复现成功后修改RTL代码并上传至原型验证平台。本发明将复杂的验证方法简化，缩短了开发周期，减小芯片流片的风险。

公开(公告)号：CN117555964A

公开(公告)日：2024-02-13

申请号：CN202311538545.3

申请日：2023-11-17

Applicant: 中国人民解放军战略支援部队信息工程大学

Inventor： 于洪 ,  宋克 ,  赵博 ,  沈剑良 ,  魏帅 ,  丁瑞浩 ,  郭威 ,  裴雪 ,  刘文斌 ,  张明权

IPC: G06F16/27 ,  G06F16/25 ,  G06F9/48 ,  G06F9/54

Abstract: 本发明属于使用异构冗余结构提高信息系统安全的技术领域，特别涉及一种基于内外部事件转换的异构冗余执行体同步方法及系统，该方法包括在异构执行体端定时器超时引起的中断处理中，向调度器发送一个同步请求消息；调度器端在接收到执行体发送来的同步请求消息后，对消息进行裁决，裁决结果合法予以回复；应用程序接收到同步确认消息，根据同步确认消息携带的定时器信息，调用对应定时器事件的中断处理程序进行处理，消息处理完毕应用程序才会发生状态转换。本发明将内部定时器事件转换成了可以被统一排序和管理的外部消息事件，以此来统一异构执行体上的应用程序状态转换过程，极大减少了系统同步次数，提高了异构冗余架构系统工作效率。

公开(公告)号：CN114880672A

公开(公告)日：2022-08-09

申请号：CN202210381604.X

申请日：2022-04-13

Applicant: 中国人民解放军战略支援部队信息工程大学

Inventor： 郭威 ,  马琪灿 ,  李锡星 ,  王新蕾 ,  魏强 ,  武泽慧

IPC: G06F21/57

Abstract: 本发明公开一种基于静态污点分析的二进制污点型漏洞检测方法及系统，该方法首先以函数为整体，获取其调用关系以及变量污染集；然后使用函数调用图组装所有以用户输入或者主函数为起点，以存在漏洞点函数为终点的路径网络图，并且利用原子池中的数据对路径网络图进行优化，去除不可利用的路径；最后使用模式匹配的方式对路径末端的函数进行分析，筛选出潜在脆弱点。本发明将函数降维为原子，消除了污点分析过程在函数中的路径增量，避免静态污点分析路径爆炸的问题；通过分离函数内外联系，简化分析的过程，降低分析的复杂度；通过针对函数内的污点分析，提高静态污点分析在函数内的精度，使函数之间的关系可以更加清晰，提高数据流的敏感度。

公开(公告)号：CN118568023A

公开(公告)日：2024-08-30

申请号：CN202410778305.9

申请日：2024-06-17

Applicant: 中国人民解放军战略支援部队信息工程大学

Inventor： 刘冬培 ,  李智超 ,  沈剑良 ,  曹睿 ,  郭威 ,  李沛杰 ,  张丽 ,  张文建 ,  赵博 ,  董春雷

IPC: G06F13/16 ,  G06F13/42 ,  G06F16/25

Abstract: 本发明提供一种基于不同时钟域下Round‑Robin调度的自动化UVM验证方法及平台。该方法包括：收集并行的M个接口的访问数据并记录访问时间，每个访问数据中均携带有需要访问的链路信息；不同的链路工作在不同的时钟域；将收集到的所有访问数据发送至参考模型进行格式转换，并分别放入对应链路下对应接口的访问队列；分别独立监测DUT中N个时钟域的仲裁请求；针对每个时钟域，若监测到仲裁请求，则触发时钟域的UVM验证事件，包括：确定时钟域下的链路所接入的接口数量m，执行RR调度，若当前询问接口发出了仲裁请求，则将接口的访问数据从访问队列中取出并打包发送至计分板以进行比对；反之，则继续询问下一个接口直至轮询完成所有m个接口。