一种模型转换方法与系统
    12.
    发明公开

    公开(公告)号: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

    摘要: 本发明公开了一种软件源代码缺陷自动修复方法及系统,属于计算机程序漏洞修复技术领域。该方法包括:提取源代码的缺陷相关CPG子图;使用经过训练的缺陷修复模型基于CPG子图得到缺陷修复结果;其中,缺陷修复模型由一个图编码器、n个序列解码器和一个语法纠正解码器组成,n个序列解码器的输入端分别与图编码器的输出端连接,语法纠正解码器的输入端与n个序列解码器的输出端连接。本发明提出的源代码缺陷自动修复方法具备较高的自动化能力和修复准确度,能够保障软件开发阶段的源代码级别的安全性。

    一种计算系统的可靠性评估方法和系统

    公开(公告)号:CN115577577A

    公开(公告)日:2023-01-06

    申请号:CN202211575800.7

    申请日:2022-12-09

    IPC分类号: G06F30/20 G06F119/02

    摘要: 本发明给出了一种计算系统的可靠性评估方法和系统,属于工程技术领域,包括:获取计算系统中各个组件之间的连接关系和交互行为,以构建计算系统状态迁移模型;设置可靠性精度参数和可靠性置信参数,以确定仿真模拟次数;设置计算系统可靠性规约和每条计算系统执行路径的状态长度;根据所述计算系统状态迁移模型、仿真模拟次数和每条计算系统执行路径的状态长度,进行计算系统执行路径仿真模拟,以获取计算系统执行路径集;对所述计算系统执行路径集中每条计算系统执行路径进行可靠性判断。本发明在实现三冗余计算系统可靠性评估的同时,还展示计算系统的组件行为交互导致的故障传播行为对相关组件的影响,满足工程设计和安全分析要求。

    基于时隙映射的跨域协同时延敏感网络调度方法和系统

    公开(公告)号:CN115396378A

    公开(公告)日:2022-11-25

    申请号:CN202211342452.9

    申请日:2022-10-31

    摘要: 本发明给出了一种基于时隙映射的跨域协同时延敏感网络调度方法和系统,属于数据传输技术领域。该方法包括:设置第一网域和第二网域的链路传播时延、时钟同步固定频差和周期时隙;确定跨域时延敏感流量输出的跨域初始时隙和时隙流数量;判断所述时隙流数量是否小于阈值;构建第一网域和第二网域之间的一对一确定性时隙映射关系;采用一对一确定性时隙映射关系,对第一网域和第二网域之间的跨域时延敏感流量进行跨域入队选择;对跨域入队选择后的跨域时延敏感流量进行确定性转发调度。本发明能够支持不同网络域间各异的带宽和时隙资源匹配,实现时延敏感应用跨域端到端有界时延和抖动可控。

    一种软件源代码缺陷自动定位方法及系统

    公开(公告)号:CN117909211A

    公开(公告)日:2024-04-19

    申请号:CN202311609183.2

    申请日:2023-11-29

    IPC分类号: G06F11/36 G06N3/0464 G06N3/08

    摘要: 本发明提出一种软件源代码缺陷自动定位方法及系统,属于代码缺陷定位技术领域。在训练阶段,数据集构建模块通过构建基于MRC的缺陷定位数据集,包含编号、上下文、问题、答案,而后经过数据增强策略进行增强数据集的构建。缺陷定位模型接受缺陷定位数据集输入,首先通过预编码模块对数据集中样本进行嵌入编码,而后通过缺陷定位模块定位缺陷位置,进行模型的训练。在测试阶段,通过缺陷定位数据集构建模块获得适用于缺陷定位任务的数据集,而后通过训练好的缺陷定位模型得到缺陷定位结果。本发明具备高效的自动化能力和高定位准确度,可以帮助安全研究人员更加准确地定位和分析潜在的安全问题,从而更好地评估软件的安全性。