公开(公告)号：CN111343184A

公开(公告)日：2020-06-26

申请号：CN202010125475.9

申请日：2020-02-27

Applicant: 北京广利核系统工程有限公司

Inventor： 周小波 ,  江国进 ,  白涛 ,  张亚栋 ,  杜乔瑞 ,  徐先柱 ,  王晓燕 ,  张俊清

IPC: H04L29/06 ,  H04L12/24

Abstract: 本发明涉及一种通信协议的验证方法和装置，属于通信技术领域，解决了现有技术中测试用例规模庞大、命中率不高、效率较低以及后期发现漏洞后，协议修复成本高的问题。验证方法用于确定通信协议抵御重放攻击的能力，包括：分析通信协议的协议字段；基于协议字段建立通信者模型和攻击者模型，通信者模型包括通信者数据，以及攻击者模型包括攻击者数据，其中，通信者数据包括发送者标识、接收者标识和新鲜性标识，并且攻击者数据包括发送者标识、接收者标识、新鲜性标识和攻击者标识；使用形式化语言进行通信者模型和攻击者模型描述；以及使用形式化工具进行重放攻击检测。实现了准确高效的发现协议漏洞并且在协议设计早期介入，减少修复成本。

公开(公告)号：CN108829903A

公开(公告)日：2018-11-16

申请号：CN201711096856.3

申请日：2017-11-09

Applicant: 北京广利核系统工程有限公司 ,  中国广核集团有限公司

Inventor： 江国进 ,  高玉斌 ,  孙永滨 ,  白涛 ,  张亚栋 ,  尹宝娟 ,  杨元桂 ,  张俊清

IPC: G06F17/50

Abstract: 本发明属于核电控制的技术领域，为了解决现有技术中综合后仿真方法和形式化一致性验证方法分别存在的不足，提供一种判定FPGA冗余设计的代码与综合后电路一致性的方法和系统；所述方法包括：S1、分别检索FPGA代码中的第一关键词和综合电路对应网表文件中的第二关键词；S2、判断FPGA代码中第一关键词检索得到的第一信号名集合是否属于网表文件中第二关键词检索得到的第二信号名集合的子集；如果是，则综合后电路的信号一致性检测通过；S3、判断FPGA代码文件中声明的所有信号，在综合后电路对应网表文件中是否分别都有一个或多个有用逻辑单元与相应的信号连接；如果是，则综合后电路的逻辑一致性检测通过。

公开(公告)号：CN111343184B

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

申请号：CN202010125475.9

申请日：2020-02-27

Applicant: 北京广利核系统工程有限公司

Inventor： 周小波 ,  江国进 ,  白涛 ,  张亚栋 ,  杜乔瑞 ,  徐先柱 ,  王晓燕 ,  张俊清

IPC: H04L9/40 ,  H04L41/14

Abstract: 本发明涉及一种通信协议的验证方法和装置，属于通信技术领域，解决了现有技术中测试用例规模庞大、命中率不高、效率较低以及后期发现漏洞后，协议修复成本高的问题。验证方法用于确定通信协议抵御重放攻击的能力，包括：分析通信协议的协议字段；基于协议字段建立通信者模型和攻击者模型，通信者模型包括通信者数据，以及攻击者模型包括攻击者数据，其中，通信者数据包括发送者标识、接收者标识和新鲜性标识，并且攻击者数据包括发送者标识、接收者标识、新鲜性标识和攻击者标识；使用形式化语言进行通信者模型和攻击者模型描述；以及使用形式化工具进行重放攻击检测。实现了准确高效的发现协议漏洞并且在协议设计早期介入，减少修复成本。

公开(公告)号：CN108829903B

公开(公告)日：2021-11-05

申请号：CN201711096856.3

申请日：2017-11-09

Applicant: 北京广利核系统工程有限公司 ,  中国广核集团有限公司

Inventor： 江国进 ,  高玉斌 ,  孙永滨 ,  白涛 ,  张亚栋 ,  尹宝娟 ,  杨元桂 ,  张俊清

IPC: G06F30/20 ,  G06F30/34

Abstract: 本发明属于核电控制的技术领域，为了解决现有技术中综合后仿真方法和形式化一致性验证方法分别存在的不足，提供一种判定FPGA冗余设计的代码与综合后电路一致性的方法和系统；所述方法包括：S1、分别检索FPGA代码中的第一关键词和综合电路对应网表文件中的第二关键词；S2、判断FPGA代码中第一关键词检索得到的第一信号名集合是否属于网表文件中第二关键词检索得到的第二信号名集合的子集；如果是，则综合后电路的信号一致性检测通过；S3、判断FPGA代码文件中声明的所有信号，在综合后电路对应网表文件中是否分别都有一个或多个有用逻辑单元与相应的信号连接；如果是，则综合后电路的逻辑一致性检测通过。

公开(公告)号：CN116701167A

公开(公告)日：2023-09-05

申请号：CN202310280881.6

申请日：2023-03-21

Applicant: 北京广利核系统工程有限公司

Inventor： 申峰宇 ,  黄君龙 ,  武方杰 ,  杜乔瑞 ,  赵振 ,  首云旭 ,  王晓燕 ,  周小波 ,  李幼媛 ,  张俊清

IPC: G06F11/36 ,  G06F9/448 ,  G06F8/41

Abstract: 本申请公开了一种最坏执行时间确定方法及装置，可应用于计算机技术领域。该方法包括：获取待测汇编程序中各函数的起始位置；根据所述起始位置建立函数调用关系树；根据函数调用关系树为建立函数调用点阵图，得到函数调用关系树中的所有可能的函数调用方式；通过比对所有函数调用方式对应的运行时间，得到最坏执行时间。可见，本申请利用汇编程序中函数起始位置构建调用关系树，进一步建立函数调用点阵图，即可遍历得到函数中所有可能的调用方式，与现有技术中单独的静态分析技术和动态分析技术相比，同时具有了高精确度和低复杂度。