-
公开(公告)号:CN117556428B
公开(公告)日:2024-04-05
申请号:CN202410033167.1
申请日:2024-01-10
Applicant: 中国人民解放军战略支援部队航天工程大学
Abstract: 本发明提供了一种用于模糊测试的种子调度与评估方法及装置,涉及信息安全领域,包括获取初始种子集合,利用优先队列对初始种子集合中的种子文件进行存储,得到种子队列,利用LinUCB算法对种子文件进行调度,优先选择预期奖励价值大的种子文件进入模糊测试,利用执行记录,将重复执行次数小于预设阈值的程序边进行奖励价值赋值,同时若种子文件触发程序漏洞则进行额外奖励价值赋值,计算种子路径奖励价值和平均路径价值并设置能量调整因子,对种子队列进行更新,选择下一轮模糊测试用例。本方法基于覆盖率引导的模糊测试工具进行改进,遵循基于覆盖率引导的模糊测试工具的框架和大多数机制,实现种子调度策略改进及提高路径发现数量和效率。
-
公开(公告)号:CN117574391A
公开(公告)日:2024-02-20
申请号:CN202410050991.8
申请日:2024-01-15
Applicant: 中国人民解放军战略支援部队航天工程大学
IPC: G06F21/57 , G06F18/213 , G06N3/0442 , G06N3/0464 , G06F18/2411
Abstract: 本发明涉及网络安全技术领域,具体公开了一种基于三地址码和神经网络的代码漏洞检测方法和系统,其中,该方法包括:将源代码转换为三地址码,并将三地址码中每个语句的语义信息转换为实数空间中的n维向量;利用傅里叶变换公式将n维向量从代码域转变至频域进行特征变换以获取频域特征向量;将频域特征向量输入至神经网络模型中进行训练,判断源代码中是否存在漏洞,以漏洞检测的二分类结果作为输出结果;其中,神经网络模型包括卷积神经网络层、双向长短期记忆网络层、自注意力机制层和全连接层。本申请与传统静态分析漏洞检测方法相比,准确度有较大提升,进一步提高了漏洞检测效果,从而有效的提高了易受攻击代码与安全代码的分类。
-
公开(公告)号:CN117574391B
公开(公告)日:2024-04-05
申请号:CN202410050991.8
申请日:2024-01-15
Applicant: 中国人民解放军战略支援部队航天工程大学
IPC: G06F21/57 , G06F18/213 , G06N3/0442 , G06N3/0464 , G06F18/2411
Abstract: 本发明涉及网络安全技术领域,具体公开了一种基于三地址码和神经网络的代码漏洞检测方法和系统,其中,该方法包括:将源代码转换为三地址码,并将三地址码中每个语句的语义信息转换为实数空间中的n维向量;利用傅里叶变换公式将n维向量从代码域转变至频域进行特征变换以获取频域特征向量;将频域特征向量输入至神经网络模型中进行训练,判断源代码中是否存在漏洞,以漏洞检测的二分类结果作为输出结果;其中,神经网络模型包括卷积神经网络层、双向长短期记忆网络层、自注意力机制层和全连接层。本申请与传统静态分析漏洞检测方法相比,准确度有较大提升,进一步提高了漏洞检测效果,从而有效的提高了易受攻击代码与安全代码的分类。
-
公开(公告)号:CN116633424B
公开(公告)日:2023-09-26
申请号:CN202310912583.4
申请日:2023-07-25
Applicant: 中国人民解放军战略支援部队航天工程大学
IPC: H04L41/14 , H04L41/142 , H04B7/185
Abstract: 本发明涉及卫星通信技术领域,公开了一种规避大规模星座下行链路干扰的Walker星座构型设计方法,包括建立空间位置模型,获取初始化参数,初始化参数包括B星座卫星坐标和地球站坐标;建立干噪比评价模型评价干扰系统对受扰系统的干扰,获取地球站的集总干噪比计算公式;受扰系统包括地球站和A星座,干扰系统包括B星座干扰卫星;根据地球站集总干噪比计算公式和干噪比阈值,统计地球站的集总干噪比超过干噪比阈值的干扰时间比,获得干扰时间比公式,计算干噪比期望值;根据干扰所占时间比、干噪比期望值获得A星座模型目标函数,寻找A星座模型最优构型参数,完成星座构型设计。本发明运用非支配排序遗传算法解决星座设计优化仿真时间长的问题。
-
公开(公告)号:CN117556428A
公开(公告)日:2024-02-13
申请号:CN202410033167.1
申请日:2024-01-10
Applicant: 中国人民解放军战略支援部队航天工程大学
Abstract: 本发明提供了一种用于模糊测试的种子调度与评估方法及装置,涉及信息安全领域,包括获取初始种子集合,利用优先队列对初始种子集合中的种子文件进行存储,得到种子队列,利用LinUCB算法对种子文件进行调度,优先选择预期奖励价值大的种子文件进入模糊测试,利用执行记录,将重复执行次数小于预设阈值的程序边进行奖励价值赋值,同时若种子文件触发程序漏洞则进行额外奖励价值赋值,计算种子路径奖励价值和平均路径价值并设置能量调整因子,对种子队列进行更新,选择下一轮模糊测试用例。本方法基于覆盖率引导的模糊测试工具进行改进,遵循基于覆盖率引导的模糊测试工具的框架和大多数机制,实现种子调度策略改进及提高路径发现数量和效率。
-
公开(公告)号:CN116633424A
公开(公告)日:2023-08-22
申请号:CN202310912583.4
申请日:2023-07-25
Applicant: 中国人民解放军战略支援部队航天工程大学
IPC: H04B7/185 , H04L41/14 , H04L41/142
Abstract: 本发明涉及卫星通信技术领域,公开了一种规避大规模星座下行链路干扰的Walker星座构型设计方法,包括建立空间位置模型,获取初始化参数,初始化参数包括B星座卫星坐标和地球站坐标;建立干噪比评价模型评价干扰系统对受扰系统的干扰,获取地球站的集总干噪比计算公式;受扰系统包括地球站和A星座,干扰系统包括B星座干扰卫星;根据地球站集总干噪比计算公式和干噪比阈值,统计地球站的集总干噪比超过干噪比阈值的干扰时间比,获得干扰时间比公式,计算干噪比期望值;根据干扰所占时间比、干噪比期望值获得A星座模型目标函数,寻找A星座模型最优构型参数,完成星座构型设计。本发明运用非支配排序遗传算法解决星座设计优化仿真时间长的问题。
-
公开(公告)号:CN116582202B
公开(公告)日:2023-09-12
申请号:CN202310855110.5
申请日:2023-07-13
Applicant: 中国人民解放军战略支援部队航天工程大学
IPC: H04B17/336 , H04B7/185 , H04B17/40
Abstract: 本发明公开了计算大规模非静止轨道星座下行链路干噪比分布的方法,包括:建立卫星星座下行链路干扰模型,用于模拟干扰系统对受扰系统的干扰,所述受扰系统包括地球站和A星座,所述干扰系统包括B星座,所述B星座与A星座同频共存;建立干扰评价模型,用于评价所述受扰系统受到的干扰水平;利用斐波那契网格法建立卫星空间位置模型,用于求解卫星空间位置坐标,利用空域卫星出现概率获得等效卫星数;建立卫星星座下行链路干噪比公式,用于计算地球站集总干噪比,根据所述干噪比的大小进行归类处理,获得干噪比分布。本发明方法能快速的分析星座数量、高度、地球站纬度与干噪比之间的关系,为星座间下行链路互扰分析及星座设计提供一定的参考。
-
公开(公告)号:CN116582202A
公开(公告)日:2023-08-11
申请号:CN202310855110.5
申请日:2023-07-13
Applicant: 中国人民解放军战略支援部队航天工程大学
IPC: H04B17/336 , H04B7/185 , H04B17/40
Abstract: 本发明公开了计算大规模非静止轨道星座下行链路干噪比分布的方法,包括:建立卫星星座下行链路干扰模型,用于模拟干扰系统对受扰系统的干扰,所述受扰系统包括地球站和A星座,所述干扰系统包括B星座,所述B星座与A星座同频共存;建立干扰评价模型,用于评价所述受扰系统受到的干扰水平;利用斐波那契网格法建立卫星空间位置模型,用于求解卫星空间位置坐标,利用空域卫星出现概率获得等效卫星数;建立卫星星座下行链路干噪比公式,用于计算地球站集总干噪比,根据所述干噪比的大小进行归类处理,获得干噪比分布。本发明方法能快速的分析星座数量、高度、地球站纬度与干噪比之间的关系,为星座间下行链路互扰分析及星座设计提供一定的参考。
-
-
-
-
-
-
-