IsolatOS: Detecting Double Fetch Bugs in COTS RTOS by Re-enabling Kernel Isolation.
实时操作系统(RTOS)在读取用户空间内存时,如果多次读取同一地址且未保证一致性,容易产生双重获取(double-fetch)漏洞。传统静态分析无法检查商业现货(COTS)RTOS内核,而依赖宽时间窗口阈值的动态启发式方法误报率高且模拟开销
共收录 5 条相关情报。
← 返回所有主题实时操作系统(RTOS)在读取用户空间内存时,如果多次读取同一地址且未保证一致性,容易产生双重获取(double-fetch)漏洞。传统静态分析无法检查商业现货(COTS)RTOS内核,而依赖宽时间窗口阈值的动态启发式方法误报率高且模拟开销
本研究针对微控制器(MCU)为基础的物联网设备中常用的嵌入式实时操作系统(RTOS)的安全性问题展开分析。初步研究发现,FreeRTOS等流行RTOS缺乏基本的安全保护机制;而Zephyr OS和ThreadX虽已具备基本安全保护,但其系统
该论文提出了一种名为 StackPatch 的动态漏洞修复框架,专门针对资源受限且要求持续运行的嵌入式设备(如医疗设备、软PLC等)。现有动态补丁技术不适用于嵌入式系统,因为这类设备计算能力和内存有限,且缺乏足够的空闲内存来支持传统补丁机制
本文提出了一种针对实时操作系统(RTOS)内核的上下文自适应函数级模糊测试方法,名为RTCON。RTOS广泛应用于嵌入式系统和物联网设备,其内核安全性至关重要。传统模糊测试通常以系统调用或整个程序为输入,但RTOS内核具有高度耦合的上下文依
这篇论文研究了在低功耗微控制器(例如ARM TrustZone-M)上,实时操作系统(RTOS)的时间保持与可信执行环境(TEE)之间的冲突问题。在TrustZone-M架构中,安全世界和非安全世界共享中断控制器等资源。通常,非安全子系统运