采用完整性威胁树的信息流完整性度量方法

• 作者: 吴奇烜 孙聪 马建峰
• 来源期刊: 网络与信息安全学报
• 学科: 工学
• 关键词: 完整性 信息流 可满足性模理论 攻击树
• 年，卷（期）: 2019,（2）
• 所属期刊栏目: 学术论文
• 页码范围: 50-57
• 页数: 8页
• 分类号: TP309
• 字数: 4965字
• 语种: 中文
• DOI: 10.11959/j.issn.2096-109x.2019016

摘要

针对传统信息流完整性分析方法缺乏对具体系统结构及关联性攻击事件考虑的缺陷,提出完整性威胁树对系统信息流完整性做量化分析,提出条件触发门对存在关联的攻击事件进行建模.使用攻击代价来量化攻击各信道的难易度,依据架构相关的完整性威胁树,利用可满足性模理论及其工具求解最小攻击代价,以量化分析系统完整性威胁.通过对实际飞控系统模型的建模分析求解说明方法的实用性,并得出条件触发门参数对系统完整性的影响.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马建峰	西安电子科技大学网络与信息安全学院	389	4956	30.0	50.0
2	孙聪	西安电子科技大学网络与信息安全学院	12	41	3.0	6.0
3	吴奇烜	西安电子科技大学网络与信息安全学院	2	8	1.0	2.0