摘要。主动故障注入是对敏感数据计算现实世界数字系统计算的可靠威胁。在存在故障的情况下争论安全性是不平凡的,最新的标准过于保守,缺乏细粒度比较的能力。但是,需要将两个替代实现的安全性进行比较,以找到安全性和绩效之间的令人满意的妥协。此外,替代故障场景的比较可以帮助优化实施有效的对策。在这项工作中,我们使用定量信息流量分析来建立一个在故障注入下的硬件电路的漏洞指标,该指标在信息泄漏方面衡量攻击的严重程度。pieptiment用例范围从将其脆弱性与特定故障场景的实现进行比较到优化反向调查。我们通过将其集成到用于物理攻击的最先进的评估工具中来自动化指标的计算,并在主动故障攻击者下对安全性提供新的见解。
主要关键词