期刊文献+

针对ARM安全监视器的模糊测试方法研究

Research on Fuzz Testing Method for ARM Secure Monitor
原文传递
导出
摘要 在基于TrustZone的可信执行环境中,ARM安全监视器作为核心组件运行于最高特权级,并且在不同供应商之间通用,其可靠性是整个系统安全性的基础。然而,目前缺乏对安全监视器进行自动化测试的方法,因此提出了一种对ARM的安全监视器进行覆盖率引导的模糊测试方法。该方法首先将调用参数分为三类,针对不同参数类型采用不同的处理方法,处理后的调用信息按照预设的文件格式存储,生成初始的种子文件库。其次,结合调用信息,将种子文件分块处理,实现结构化变异。此外,在用户系统环境中添加代理和驱动程序,实现对测试用例的解析和执行。在安全监视器的开源项目上评估了该测试方法,发现了5个唯一性崩溃。该评估表明,模糊测试是测试ARM安全监视器的一种可行且有益的方法。 In a TrustZone-based trusted execution environment,the ARM secure monitor runs as a core component at the highest privilege level.It is commonly used across different vendors,making its reliability the foundation of the entire system's security.However,there is currently a lack of automated testing methods for the secure monitor.Therefore,this paper proposes a coverage-guided fuzz testing method for the ARM secure monitor.This method first categorizes the calling parameters into three types,uses different processing methods for each type and stores the processed calling information in a preset file format to generate the initial seed corpus.Then,combined with the calling information,the seed files are segmented and structurally mutated.An agent and driver program are added to the user system environment to parse and execute test cases.This paper implements the proposed method and evaluates it on an open-source secure monitor project,resulting in the discovery of five unique crashes.The findings demonstrate that fuzz testing is a feasible and beneficial approach for testing the ARM secure monitor.
作者 王丽娜 赵敬昌 余荣威 王泽 WANG Lina;ZHAO Jingchang;YU Rongwei;WANG Ze(Key Laboratory of Aerospace Information Security and Trusted Computing,Ministry of Education,School of Cyber Science and Engineering,Wuhan University,Wuhan 430072,Hubei,China;School of Business Administration,Hunan University,Changsha 410082,Hunan,China)
出处 《武汉大学学报(理学版)》 CAS CSCD 北大核心 2024年第4期453-462,共10页 Journal of Wuhan University:Natural Science Edition
基金 湖北省重点研发计划项目(2022BAD079) 国家自然科学基金(42071431,61876134) 国家重点研发计划项目(2020YFB1805400,2021YFB3100700)。
关键词 模糊测试 可信计算 可信执行环境 安全监视器 可信固件 fuzzing test trusted computing trusted execution environment secure monitor trusted firmware
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部