基于软硬件协同形式验证的固件漏洞分析技术

• 作者: 张朋辉 楼康威 田曦
• 来源期刊: 网络与信息安全学报
• 学科: 工学
• 关键词: 固件安全 TLA 形式验证 漏洞分析 软硬件协同
• 年，卷（期）: 2016,（7）
• 所属期刊栏目: 学术论文
• 页码范围: 59-68
• 页数: 10页
• 分类号: TP309
• 字数: 8053字
• 语种: 中文
• DOI: 10.11959/j.issn.2096-109x.2016.00071

摘要

为了系统高效地分析固件中潜在的安全隐患,提出了一种基于行为时序逻辑TLA的软硬件协同形式验证方法.通过对固件工作过程中的软硬件交互机制进行形式建模分析,在动态调整攻击模型的基础上,发现了固件更新过程中存在的安全漏洞,并通过实验证实了该漏洞的存在,从而证明了形式验证方法的可靠性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	田曦	国防科学技术大学电子科学与工程学院	8	65	2.0	8.0
2	张朋辉	国防科学技术大学电子科学与工程学院	2	1	1.0	1.0
3	楼康威	国防科学技术大学电子科学与工程学院	2	1	1.0	1.0