-
公开(公告)号：CN104731708A
公开(公告)日：2015-06-24
申请号：CN201510134654.8
申请日：2015-03-25
Applicant: 北京信息控制研究所 , 中国工程物理研究院计算机应用研究所
Abstract: 一种Shellcode的动态检测方法，首先抓取网络数据流并进行划分，得到多个执行链；然后触发一个操作系统breakpoint异常，将异常触发时的寄存器值和内存内容作为初始寄存器值和内存内容并存储；最后依次执行执行链，同时在每一执行链执行过程中，检测是否出现死循环或者操作系统异常，如果出现死循环或系统异常，则当前执行链没有Shellcode，否则使用启发式方法检测当前执行链是否含有Shellcode，完成检测。本发明方法不仅能够检测到使用了代码混淆技术的Shellcode，而且未采用虚拟化技术、易于部署，能有效检测到可发现虚拟化环境的Shellcode，大大降低了Shellcode检测暴露的可能性。
-
公开(公告)号：CN103955427A
公开(公告)日：2014-07-30
申请号：CN201410178300.9
申请日：2014-04-29
IPC: G06F11/36
Abstract: 一种安全攸关系统的软件安全性保证的实现方法，(1)定义系统的软件安全设计要求，包括软件需求阶段安全性设计要求、软件设计阶段安全性设计要求、软件编码阶段安全性设计要求、软件测试阶段安全性设计要求；(2)根据软件安全性等级，对(1)中的安全性设计要求进行裁剪，并按各项要求实施软件需求、软件设计、软件编码、软件测试的安全性设计；(3)获取软件安全证据，判断安全证据是否满足(2)中各项安全性设计要求；(4)获取系统的软件安全性风险规避措施；(5)验证软件安全性风险规避措施是否可追踪到软件需求、软件设计、软件编码、软件测试。本发明提升了软件安全性保障能力，填补了航天重大工程软件安全性保证的技术空白。
-
公开(公告)号：CN105681123B
公开(公告)日：2018-11-23
申请号：CN201510993565.9
申请日：2015-12-25
Applicant: 北京信息控制研究所 , 北京空间飞行器总体设计部 , 江苏省产品质量监督检验研究院
IPC: H04L12/26 , H04L12/24 , H04L12/727
Abstract: 一种Spacewire网络延时测试及优化系统，包括人机交互接口、中央处理单元、基于PCI总线的双向通讯控制链路和专用Spacewire节点控制器；中央处理单元根据用户通过人机交互接口输入的配置参数生成数据包，通过基于PCI总线的双向通讯控制链路发送给专用Spacewire节点控制器，专用Spacewire节点控制器实时计算每个数据包在Spacewire网络中的时延参数，中央处理单元根据时延参数对Spacewire网络进行全局优化，得到优化结果提供给人机交互接口。本发明实现了对Spacewire网络的延时测试，测得的时延参数准确，可靠性高，实时性强，同时对被测Spacewire网络进行了优化，用户根据优化结果对Spacewire网络进行优化，能够有效提高Spacewire网络的效率。
-
公开(公告)号：CN103593287B
公开(公告)日：2016-08-17
申请号：CN201310524293.9
申请日：2013-10-30
Applicant: 北京信息控制研究所
Abstract: 本发明公开了一种基于遗传算法的数据流测试用例自动生成方法。目前基于遗传算法的数据流测试用例自动生成技术中，遗传算法的交叉、变异点随机选取在个体基因中的任意位置，产生优良基因的同时也存在破坏已有优良基因的可能；子代种群的个体最大适应度值无论是否大于父代的个体最大适应度值，都向下继续遗传，延长了迭代过程。本发明在计算适应度函数时找到不满足目标路径的具体分支，利用该分支的结构信息约束遗传算法交叉、变异操作的范围，同时通过比较子代与父代种群中个体的最大适应度值，抛弃那些低于父代适应度值的子代，从而确保了优良基因的传递，降低了迭代次数，提高了计算效率。
-
公开(公告)号：CN105681123A
公开(公告)日：2016-06-15
申请号：CN201510993565.9
申请日：2015-12-25
Applicant: 北京信息控制研究所 , 北京空间飞行器总体设计部 , 江苏省产品质量监督检验研究院
IPC: H04L12/26 , H04L12/24 , H04L12/727
CPC classification number: H04L43/0852 , H04L41/14 , H04L45/121
Abstract: 一种Spacewire网络延时测试及优化系统，包括人机交互接口、中央处理单元、基于PCI总线的双向通讯控制链路和专用Spacewire节点控制器；中央处理单元根据用户通过人机交互接口输入的配置参数生成数据包，通过基于PCI总线的双向通讯控制链路发送给专用Spacewire节点控制器，专用Spacewire节点控制器实时计算每个数据包在Spacewire网络中的时延参数，中央处理单元根据时延参数对Spacewire网络进行全局优化，得到优化结果提供给人机交互接口。本发明实现了对Spacewire网络的延时测试，测得的时延参数准确，可靠性高，实时性强，同时对被测Spacewire网络进行了优化，用户根据优化结果对Spacewire网络进行优化，能够有效提高Spacewire网络的效率。
-
Patent Agency Ranking
公开(公告)号：CN103617115B
公开(公告)日：2016-02-10
申请号：CN201310529070.1
申请日：2013-10-30
Applicant: 北京信息控制研究所
IPC: G06F11/36
Abstract: 一种基于抽象解释和模型验证的运行时错误分析方法，本发明包括以下步骤：基于抽象解释理论，采用前向迭代方法分析程序数值变量值范围，获得程序点达到稳定时的变量值范围信息，对于循环节点的迭代计算采用循环展开和延迟拓宽相结合的方法实现；根据待分析的运行时错误类型，在相关需要检测的程序点处将变量值范围信息转化为断言或假设形式插入程序中；将带有断言和假设的程序转化为布尔公式，其中布尔公式包括限制条件和属性；使用SAT验证器判断布尔公式中属性的正确性。若正确，说明不存在相关运行时错误；若不正确，说明存在相关运行时错误，并输出相关的反例路径。本发明实现了在运行时错误分析精度和效率之间取得一个平衡点。
-
公开(公告)号：CN103970537A
公开(公告)日：2014-08-06
申请号：CN201410178237.9
申请日：2014-04-29
IPC: G06F9/44
Abstract: 一种面向航天软件的软件可信性度量方法，通过依据软件生命周期的阶段划分，建立了由开发阶段可信证据、提交阶段可信证据、应用阶段可信证据构成的软件可信证据模型。确定各阶段可以提供软件可信证据的一系列技术或措施。然后根据航天软件可信等级定义，确定目标软件符合的可信等级以及评为该等级的合理度，及其应当进行的改进。与现有可信分级技术相比，本发明结合航天软件的属性，从软件的整个生命周期出发，为软件可信等级评定提供更为明确的依据和可量化的度量方法，从而使技术专家和管理者在科研管理活动中很好地结合起来，提高了科研及工程管理的精确度和科学性，有力地保证了航天型号软件的高可信性。
-
公开(公告)号：CN103593287A
公开(公告)日：2014-02-19
申请号：CN201310524293.9
申请日：2013-10-30
Applicant: 北京信息控制研究所
Abstract: 本发明公开了一种基于遗传算法的数据流测试用例自动生成方法。目前基于遗传算法的数据流测试用例自动生成技术中，遗传算法的交叉、变异点随机选取在个体基因中的任意位置，产生优良基因的同时也存在破坏已有优良基因的可能；子代种群的个体最大适应度值无论是否大于父代的个体最大适应度值，都向下继续遗传，延长了迭代过程。本发明在计算适应度函数时找到不满足目标路径的具体分支，利用该分支的结构信息约束遗传算法交叉、变异操作的范围，同时通过比较子代与父代种群中个体的最大适应度值，抛弃那些低于父代适应度值的子代，从而确保了优良基因的传递，降低了迭代次数，提高了计算效率。
-
公开(公告)号：CN105306096B
公开(公告)日：2017-12-22
申请号：CN201510595756.X
申请日：2015-09-17
Applicant: 北京信息控制研究所 , 总装备部工程设计研究院
IPC: H04B1/7077 , H04B1/7075 , H04L27/26
Abstract: 本发明公开了一种自适应性多星扩频信号分析判读器包括：频率参考单元、下变频单元、第一功率分配器、多个信号分析处理器；信号分析处理器又包括模拟前端模块和内核模块；频率参考单元为各单元提供时间和频率基准，并将提供的时间和频率基准发送至集中监控服务器；下变频单元将多路本地输出信号下变频为70MHz中频信号，并输出功率分配器和集中监控服务器；第一功率分配器将中频信号平均分配给多个模拟前端模块；模拟前端模块将功率分配器发送的信号，进行IQ正交下变频，输出IQ正交数字零中频信号；内核模块对IQ正交数字零中频信号，进行解扩解调处理以及IO相位模糊度去除处理后，并将其输出IO端。
-
公开(公告)号：CN103631712A
公开(公告)日：2014-03-12
申请号：CN201310502650.1
申请日：2013-10-23
Applicant: 北京信息控制研究所
Abstract: 一种基于内存管理的模式化软件关键行为跟踪方法，由部署在服务器的监控控制台和客户端的监控探头组成软件关键行为监控系统。监控控制台通过静态分析提取被监控软件的行为节点信息，定义关键行为及行为提取特征信息，采用探头注入的方式实现对目标软件的监控。监控探头利用函数劫持技术，并采用基于小内存管理的堆空间代码驻留技术和维持栈空间平衡的容器管理技术，实现关键行为信息的有效提取。本发明可以针对单线程、多线程及包含复杂递归调用关系的软件关键行为进行有效地跟踪，具有较高的灵活性和适应性，并且考虑了目标及其它软件的正常运行。
-
-
-
-
-
-
-
-
-
Search Results
21
records
(took 0.038 seconds)
