软件行为的一种静态可信度量模型

• 作者: 刘贵堂 周正 周鲁苹
• 来源期刊: 海军航空工程学院学报
• 学科: 工学
• 关键词: 软件行为 可信度量 静态分析 可信计算
• 年，卷（期）: 2012,（4）
• 页码范围: 459-463
• 分类号: TP309
• 字数: 5186字
• 语种: 中文

摘要

根据用户必需的软件中可能隐藏的缺陷或者破坏行为在整个软件中所占比例极低、而当前一般的恶意代码分析技术不适合此类软件的可信度量分析这种情况,提出了理想化的主体行为静态可信的强约束条件,然后结合软件业务流程的确定性、软件代码的可见性以及信息资产风险可评估性,提出了适合工程应用的主体行为静态可信的弱约束条件,并基于主体行为静态可信的弱约束条件构建了模型的实现框架,对用户必需的软件是否将如实地按照用户需求运行进行可信度量,提前确定软件中是否含有对信息系统或信息资产的潜在威胁,以便采取必要的防护措施.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周正	海军航空工程学院电子信息工程系	12	83	4.0	9.0
2	周鲁苹	鲁东大学信息与电气工程学院	6	24	3.0	4.0
3	刘贵堂	北京理工大学软件学院	1	3	1.0	1.0