公开(公告)号：CN115081013B

公开(公告)日：2024-09-20

申请号：CN202210594243.7

申请日：2022-05-27

Applicant: 哈尔滨工程大学

Inventor： 刘海波 ,  李岩 ,  沈晶 ,  于爱民 ,  乔冶 ,  秦铭 ,  许栋 ,  范祎明

IPC: G06F21/62

Abstract: 本发明公开了一种基于路径转换的机密性冲突检测方法，本发明主要围绕“规则检测”和“机密性冲突检测”这两个特性的实现，从系统内策略信息提取与基于路径转换的机密性检测两个方面进行设计。策略信息提取主要根据SELinux中安全策略源文件对系统内相关元素的定义，对系统内的相关信息进行归纳整理，并且给出系统内各种信息元素之间的关系。基于路径的机密性检测主要通过对系统内TE规则中的type_transition规则进行检测，获取系统内不同类型的转换方法，然后结合系统内的allow等规则，根据BLP模型所提出的不上读不下写基本安全思想，确定系统内可能会破坏系统机密性的相关规则。

公开(公告)号：CN115081013A

公开(公告)日：2022-09-20

申请号：CN202210594243.7

申请日：2022-05-27

Applicant: 哈尔滨工程大学

Inventor： 刘海波 ,  李岩 ,  沈晶 ,  于爱民 ,  乔冶 ,  秦铭 ,  许栋 ,  范祎明

IPC: G06F21/62

Abstract: 本发明公开了一种基于路径转换的机密性冲突检测方法，本发明主要围绕“规则检测”和“机密性冲突检测”这两个特性的实现，从系统内策略信息提取与基于路径转换的机密性检测两个方面进行设计。策略信息提取主要根据SELinux中安全策略源文件对系统内相关元素的定义，对系统内的相关信息进行归纳整理，并且给出系统内各种信息元素之间的关系。基于路径的机密性检测主要通过对系统内TE规则中的type_transition规则进行检测，获取系统内不同类型的转换方法，然后结合系统内的allow等规则，根据BLP模型所提出的不上读不下写基本安全思想，确定系统内可能会破坏系统机密性的相关规则。

公开(公告)号：CN119535468A

公开(公告)日：2025-02-28

申请号：CN202411952938.3

申请日：2024-12-27

Applicant: 哈尔滨工程大学

Inventor： 齐滨 ,  许栋 ,  王燕 ,  梁国龙 ,  王晋晋 ,  邱龙皓 ,  王逸林 ,  郝宇 ,  张志刚

IPC: G01S15/66 ,  G01S7/539

Abstract: 一种基于方位势函数加权的水声目标动态规划检测前跟踪方法，本发明涉及基于方位势函数加权的水声目标动态规划检测前跟踪方法，属于被动声纳水声多目标跟踪领域。本发明的目的是为解决传统的基于动态规划的检测前跟踪算法容易出现跟踪轨迹合并或跟踪轨迹错配的问题。本发明建立包含目标方位和方位势系数的增广目标状态模型，在值函数迭代时建立滑动窗，计算窗内轨迹的方位势系数，通过考虑定义了方位跟踪轨迹变化趋势的方位势系数来建立方位势函数，在值函数中加入方位势函数来反映方位轨迹的变化趋势，能够降低因轨迹邻近交叉时空间谱响应重叠造成的跟踪性能下降的概率。