-
公开(公告)号:CN117933437A
公开(公告)日:2024-04-26
申请号:CN202310362170.3
申请日:2023-04-07
申请人: 中国人民解放军军事科学院系统工程研究院
IPC分类号: G06Q10/04 , G06Q10/0637 , G06F18/2433 , G06F18/241 , G06F18/25 , G06N3/0464 , G06N3/0985 , G06N3/0455 , G06N3/084 , G06Q50/26
摘要: 本发明提出一种基于开源事件高阶表征的国家行为预测方法和系统,本发明涉及基于神经网络的深度学习技术领域,该方法包括:依据构建的国家行为因子库,对开源历史报道中所包含的与国家行为因子对应的各类征候事件进行关联检索,获得相关开源报道及事件实例集合,使用预训练自然语言处理模型来获取事件实例集合的深度表征;沿词频维度进行池化操作,形成降维聚合后的深度表征,将各项因子的归一化频率作为标记位,置于降维聚合后的深度表征向量的末位,作为事件实例集合的归一化频率标记的降维聚合后的深度表征;通过高阶池化操作后获得事件高阶深度表征,并馈送至异常行为预测器,输出预测结果。通过本发明,模型的可复用性好、能够精准预测。
-
公开(公告)号:CN116679934A
公开(公告)日:2023-09-01
申请号:CN202310613438.6
申请日:2023-05-29
申请人: 中国人民解放军军事科学院系统工程研究院
IPC分类号: G06F8/41
摘要: 本发明公开一种模型转换方法与系统,涉及模型转换技术领域。所述方法将AltaRica3.0的平展化模型自动转换为SBIP模型,AltaRica3.0的平展化模型卫士转换系统GTS模型;包括:利用语言识别工具ANTLR的元语言对卫士转换系统GTS模型的语法规则进行描述,以生成卫士转换系统GTS模型的抽象语法树AST;利用抽象语法树AST对卫士转换系统GTS模型的变量部分、事件部分、迁移部分、断言部分和延时部分分别进行转换。所述方法实现AltaRica3.0平展化模型GTS到SBIP模型的自动转换,从而使得AltaRica3.0模型可进行统计模型检测,丰富AltaRica3.0的安全性分析功能。
-
公开(公告)号:CN115348118B
公开(公告)日:2023-02-17
申请号:CN202211283422.5
申请日:2022-10-20
IPC分类号: H04L9/40
摘要: 本发明提出一种基于密码技术的网络地址和端口号隐藏方法,属于网络控制技术领域。所述方法包括:位于中继域的第一边缘交换设备接收来自第一用户域的数据包,数据包的原始报文格式包括以太网头部、IP头部、TCP/UDP头部和流量数据净荷;所述第一边缘交换设备在所述IP头部中配置IP头部选项字段;基于所述经配置的IP头部选项字段确定所述IP地址信息的替换值和所述端口信息的替换值,以填充覆盖各自的原始值,将经填充覆盖处理的数据包转发至位于所述中继域的第二边缘交换设备。所述方法用于实现对外隐藏内部地址和端口,可有效提升内部网络安全性。
-
公开(公告)号:CN115686923A
公开(公告)日:2023-02-03
申请号:CN202310010562.3
申请日:2023-01-05
申请人: 中国人民解放军军事科学院系统工程研究院
IPC分类号: G06F11/07 , G06N3/0442 , G06N3/0455 , G06N3/08
摘要: 本发明公开了一种软件源代码缺陷自动修复方法及系统,属于计算机程序漏洞修复技术领域。该方法包括:提取源代码的缺陷相关CPG子图;使用经过训练的缺陷修复模型基于CPG子图得到缺陷修复结果;其中,缺陷修复模型由一个图编码器、n个序列解码器和一个语法纠正解码器组成,n个序列解码器的输入端分别与图编码器的输出端连接,语法纠正解码器的输入端与n个序列解码器的输出端连接。本发明提出的源代码缺陷自动修复方法具备较高的自动化能力和修复准确度,能够保障软件开发阶段的源代码级别的安全性。
-
公开(公告)号:CN115577577A
公开(公告)日:2023-01-06
申请号:CN202211575800.7
申请日:2022-12-09
申请人: 中国人民解放军军事科学院系统工程研究院
IPC分类号: G06F30/20 , G06F119/02
摘要: 本发明给出了一种计算系统的可靠性评估方法和系统,属于工程技术领域,包括:获取计算系统中各个组件之间的连接关系和交互行为,以构建计算系统状态迁移模型;设置可靠性精度参数和可靠性置信参数,以确定仿真模拟次数;设置计算系统可靠性规约和每条计算系统执行路径的状态长度;根据所述计算系统状态迁移模型、仿真模拟次数和每条计算系统执行路径的状态长度,进行计算系统执行路径仿真模拟,以获取计算系统执行路径集;对所述计算系统执行路径集中每条计算系统执行路径进行可靠性判断。本发明在实现三冗余计算系统可靠性评估的同时,还展示计算系统的组件行为交互导致的故障传播行为对相关组件的影响,满足工程设计和安全分析要求。
-
-
公开(公告)号:CN115348112B
公开(公告)日:2022-12-09
申请号:CN202211271629.0
申请日:2022-10-18
IPC分类号: H04L9/40
摘要: 本发明提出一种局域网交换设备接入认证与可信组网的方法,属于网络连接控制技术领域。所述方法通过在所述局域网内的每个交换设备上集成安全可信卡来实现各个交换设备之间的接入认证,从而获取所述局域网内的可信组网。所述安全可信卡以插拔的方式与所述交换设备的主板连接,连接端口为位于所述主板上的Mini‑PCI‑E端口,所述安全可信卡的软件模块由驱动程序TDD和经封装的标准库TDDL组成,所述软件模块与所述交换设备的操作系统中的网络协议栈进行通信,同时提供内核接口与上层应用进行交互。
-
-
公开(公告)号:CN115396378A
公开(公告)日:2022-11-25
申请号:CN202211342452.9
申请日:2022-10-31
申请人: 中国人民解放军军事科学院系统工程研究院
IPC分类号: H04L47/22 , H04L47/24 , H04L47/283
摘要: 本发明给出了一种基于时隙映射的跨域协同时延敏感网络调度方法和系统,属于数据传输技术领域。该方法包括:设置第一网域和第二网域的链路传播时延、时钟同步固定频差和周期时隙;确定跨域时延敏感流量输出的跨域初始时隙和时隙流数量;判断所述时隙流数量是否小于阈值;构建第一网域和第二网域之间的一对一确定性时隙映射关系;采用一对一确定性时隙映射关系,对第一网域和第二网域之间的跨域时延敏感流量进行跨域入队选择;对跨域入队选择后的跨域时延敏感流量进行确定性转发调度。本发明能够支持不同网络域间各异的带宽和时隙资源匹配,实现时延敏感应用跨域端到端有界时延和抖动可控。
-
公开(公告)号:CN117909211A
公开(公告)日:2024-04-19
申请号:CN202311609183.2
申请日:2023-11-29
申请人: 中国人民解放军军事科学院系统工程研究院
IPC分类号: G06F11/36 , G06N3/0464 , G06N3/08
摘要: 本发明提出一种软件源代码缺陷自动定位方法及系统,属于代码缺陷定位技术领域。在训练阶段,数据集构建模块通过构建基于MRC的缺陷定位数据集,包含编号、上下文、问题、答案,而后经过数据增强策略进行增强数据集的构建。缺陷定位模型接受缺陷定位数据集输入,首先通过预编码模块对数据集中样本进行嵌入编码,而后通过缺陷定位模块定位缺陷位置,进行模型的训练。在测试阶段,通过缺陷定位数据集构建模块获得适用于缺陷定位任务的数据集,而后通过训练好的缺陷定位模型得到缺陷定位结果。本发明具备高效的自动化能力和高定位准确度,可以帮助安全研究人员更加准确地定位和分析潜在的安全问题,从而更好地评估软件的安全性。
-
-
-
-
-
-
-
-
-