技术论文题为“故障攻击在处理器访问控制:威胁,形式分析和Microarchitectural缓解“被Kaiserslautern-Landau大学的研究人员发表。
“处理隔离是一个安全体系结构的关键组件在任何硬件/软件系统。然而,即使实现正确和全面的软件(SW)水平,处理隔离可能会受到硬件的弱点(HW)。因此,在硬件层面,一个详尽的验证是可取的提供所需的正式保证确保微体系结构的机密性和完整性。形势进一步恶化,如果攻击者能够注入故障,需要额外关注正规安全的威胁分析。在本文中,我们考虑一个威胁模型,攻击者能够注入故障,同时,用户级程序执行。我们表明,这造成了严重的安全威胁,即使在系统硬故障攻击特定的,强调安全的系统软件。防止这种威胁,我们提供了一个详尽的形式验证方法,为访问控制处理器,提供安全保障和演示这种担保是持续存在的故障注入。保证正确和可靠的访问控制是至关重要的,因为它是处理隔离在硬件的基础。该方法隐式模型所有可能的单个和多个比特翻转以及停留在所有的错误。我们利用我们的正式分析的结果来增强系统保护机制,保证安全w.r.t.视为威胁模型。 At the example of several open source RISC-V processors, we demonstrate both the scalability of our formal analysis and the efficiency of the generated defenses.”
找到这里的技术论文。发表:2023年5月(2023年6月更新)。
安东,安娜l . Duque约翰内斯·穆勒,默罕默德·r·Fadiheh杜米尼克Stoffel和沃尔夫冈昆兹。“处理器故障攻击访问控制:威胁,形式分析和Microarchitectural缓解。”IEEE访问(2023)。
留下一个回复