UEFI Bootkit模型与分析

• 作者: 唐文彬 祝跃飞 陈嘉勇 陈熹
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: UEFI 形式化 Bootkit 隐蔽技术 可信计算 检测系统
• 年，卷（期）: 2012,（10）
• 所属期刊栏目: 体系结构
• 页码范围: 308-312
• 分类号: TP309.5
• 字数: 5684字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.10.070

摘要

分析了UEFI Bootkit的工作原理和关键技术；在Harold木马模型的基础上,给出了UEFI Bootkit的形式化描述；分析了UEFI Bootkit和木马在隐蔽技术方面的差异,建立了UEFI Bootkit协同隐藏的形式化模型；给出了模型的一个应用实例,理论证明了在操作系统内核启动前检测Bootkit比在操作系统启动完成后检测具有更好的效果；开发了一套在操作系统内核加载前就开始检测的UEFI Bootkit检测系统；使用检测系统进行了实际的测试,结果表明,UEFI Bootkit检测系统具有较好的检测效果,有效地验证了模型的准确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈嘉勇	解放军信息工程大学信息工程学院	4	43	3.0	4.0
3	祝跃飞	解放军信息工程大学信息工程学院	62	440	13.0	16.0
6	陈熹	解放军信息工程大学信息工程学院	2	23	2.0	2.0
7	唐文彬	解放军信息工程大学信息工程学院	2	29	2.0	2.0