计算机技术与发展2021，Vol.31Issue(12)：116-121,6.DOI:10.3969/j.issn.1673-629X.2021.12.020
一种面向UEFI模块的形式化建模与验证方法
A Formal Modeling and Validation Method for UEFI Module
摘要
关键词
UEFI/形式化方法/模型检验/安全漏洞/有限状态自动机/下推自动机分类
信息技术与安全科学引用本文复制引用
王冠,郝晓星..一种面向UEFI模块的形式化建模与验证方法[J].计算机技术与发展,2021,31(12):116-121,6.基金项目
国家重点研发计划(2019YFB2102303) （2019YFB2102303）
国家自然科学基金(61971014) （61971014）
