基于门级信息流分析的安全体系架构设计

• 作者: 慕德俊 胡伟 邰瑜 黄兴利
• 来源期刊: 电子科技大学学报
• 学科: 工学
• 关键词: 隐通道 门级信息流分析 信息流控制 安全体系架构 安全漏洞
• 年，卷（期）: 2015,（3）
• 所属期刊栏目: 计算机工程与应用
• 页码范围: 428-432
• 页数: 5页
• 分类号: TP309
• 字数: 3833字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0548.2015.03.019

摘要

现代处理器架构中的缓存器、分支预测器等部件通常都包含难以检测的隐通道，成为攻击者入侵系统的切入点。现有方法难以有效地检测硬件相关的隐通道，从而使得这些安全漏洞往往在攻击造成严重损失后才暴露出来。该文构建了一种基于执行租赁机制的安全体系架构，以严格控制不可信执行环境的影响边界，保证不同执行环境之间的严格隔离，并采用门级抽象层次上的信息流分析方法，建立硬件架构的信息流模型，实现对硬件中全部逻辑信息流的精确度量，通过捕捉有害信息流动来检测硬件架构中潜在的安全漏洞，进而通过指令集架构的信息流模型向上层提供信息流度量能力，以实现软硬件联合安全验证。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	慕德俊	西北工业大学自动化学院	220	1829	19.0	33.0
2	胡伟	西北工业大学自动化学院	22	83	5.0	8.0
3	黄兴利	西北工业大学自动化学院	12	22	3.0	4.0
4	邰瑜	西北工业大学自动化学院	5	10	2.0	3.0