-
公开(公告)号:CN119849920A
公开(公告)日:2025-04-18
申请号:CN202411857127.5
申请日:2024-12-17
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06Q10/0635 , G06Q50/04
Abstract: 本发明公开了一种基于风险与属性的装备嵌入式系统安全性评估方法,包括以下步骤:对装备嵌入式系统进行分析,分解出系统资产层级结构,构建安全性评估模型;根据不同作用效果,从资产安全属性的维度构建安全性评估指标体系;表征安全风险要素的特征属性,对装备嵌入式系统的安全风险要素进行识别赋值;依据安全性评估模型与指标体系,通过权重设计方法对评估指标进行赋权,并采用安全性融合计算算法按照系统资产层级结构从不同安全属性的维度完成系统安全性评估计算。本发明通过对装备嵌入式系统体系架构和任务场景进行分析,分解同时考虑系统组件单元的不同安全属性,实现对装备嵌入式系统多层级多维度的安全性评估,评估结果更加充分、准确。
-
公开(公告)号:CN110442518B
公开(公告)日:2022-11-11
申请号:CN201910661748.9
申请日:2019-07-22
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F11/36
Abstract: 本发明公开了一种基于可信特征度量的软件可信性评估与改进方法,包括以下步骤:软件可信评估架构:采用层次性结构,自底向上依次为度量指标、度量元、子属性、属性、研制阶段可信性、软件可信性,其中度量指标、度量元、子属性、属性组成了软件的可信特征;基于线性加权与非线性加权的可信值集结;可信特征对软件可信性实际贡献分析;可信特征对软件可信性实际贡献与期望贡献偏差分析;可信特征对软件可信性实际贡献与理想贡献占比分析;软件可信改进分析。本发明采用层次性结构实现软件可信评估架构,获得以相同量值度量元可信度提升的软件可信改进最好效果的目标,能够为软件研制能力与生产水平的提高以及软件是否达到可信要求提供定量判断的依据。
-
公开(公告)号:CN110442518A
公开(公告)日:2019-11-12
申请号:CN201910661748.9
申请日:2019-07-22
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F11/36
Abstract: 本发明公开了一种基于可信特征度量的软件可信性评估与改进方法,包括以下步骤:软件可信评估架构:采用层次性结构,自底向上依次为度量指标、度量元、子属性、属性、研制阶段可信性、软件可信性,其中度量指标、度量元、子属性、属性组成了软件的可信特征;基于线性加权与非线性加权的可信值集结;可信特征对软件可信性实际贡献分析;可信特征对软件可信性实际贡献与期望贡献偏差分析;可信特征对软件可信性实际贡献与理想贡献占比分析;软件可信改进分析。本发明采用层次性结构实现软件可信评估架构,获得以相同量值度量元可信度提升的软件可信改进最好效果的目标,能够为软件研制能力与生产水平的提高以及软件是否达到可信要求提供定量判断的依据。
-
公开(公告)号:CN116738365A
公开(公告)日:2023-09-12
申请号:CN202310712732.2
申请日:2023-06-16
Applicant: 中国工程物理研究院计算机应用研究所
IPC: G06F18/25 , G06F18/20 , G06F18/21 , G06F18/2115
Abstract: 本发明涉及多源信息融合相关技术领域,尤其为一种基于Pignistic概率转换和奇异值分解的证据冲突度量方法,包括以下步骤,步骤一:建立信息融合辨识框架Θ,采集传感器数据构建证据基本概率分配函数(BPA);步骤二:建立证据基本概率分配函数矩阵M和焦元Pignistic概率转换矩阵P,对M进行Pignistic概率转换,将证据焦元差异映射到信度差异上,得到证据基本信任函数矩阵M′;步骤三:根据证据基本概率分配函数矩阵M和基本信任函数矩阵M′,构建了证据复合信任函数矩阵M″;步骤四:对证据复合信任函数矩阵M″进行奇异值分解,根据证据矩阵的相似特性和冲突特性,将矩阵空间划分为相似子空间S和冲突子空间N,将冲突子空间奇异值和与相似子空间奇异值之比作为证据冲突度量因子GSVD。本发明克服了传统证据冲突度量方法适应性差、准确性低、稳定性差的问题,提升了证据理论在信息融合领域运用的准确性。
-
公开(公告)号:CN110569197B
公开(公告)日:2022-11-11
申请号:CN201910865517.X
申请日:2019-09-12
Applicant: 中国工程物理研究院计算机应用研究所
Abstract: 本发明公开了一种用于软件可信性评估的可信证据分析与度量方法,包括以下步骤:基于软件研制文档与标准的软件可信需求的获取;基于软件可信特性的软件可信证据模型的构建;基于证据模型设计软件可信评估证据体系;基于粒度标准的软件可信需求的分解;软件可信需求与证据源追溯关系的建立;软件可信需求优先级的确定;软件可信需求实现的分析与判定;软件可信证据直接度量元的采集与软件可信证据间接度量元的度量。本发明基于软件可信证据模型,通过可信需求驱动的证据分析与判定方法开展证据数据采集、度量,保证了用于软件可信性评估的证据数据的准确性与客观性,从而提高了软件可信性评估结果的可靠性。
-
公开(公告)号:CN110569197A
公开(公告)日:2019-12-13
申请号:CN201910865517.X
申请日:2019-09-12
Applicant: 中国工程物理研究院计算机应用研究所
Abstract: 本发明公开了一种用于软件可信性评估的可信证据分析与度量方法,包括以下步骤:基于软件研制文档与标准的软件可信需求的获取;基于软件可信特性的软件可信证据模型的构建;基于证据模型设计软件可信评估证据体系;基于粒度标准的软件可信需求的分解;软件可信需求与证据源追溯关系的建立;软件可信需求优先级的确定;软件可信需求实现的分析与判定;软件可信证据直接度量元的采集与软件可信证据间接度量元的度量。本发明基于软件可信证据模型,通过可信需求驱动的证据分析与判定方法开展证据数据采集、度量,保证了用于软件可信性评估的证据数据的准确性与客观性,从而提高了软件可信性评估结果的可靠性。
-
-
-
-
-