Identifying Security Critical Properties for the Dynamic Verification of a Processor
Identifying Security Critical Properties for the Dynamic Verification of a Processor
复制标题
识别处理器动态验证的安全关键属性
DOI：
10.1145/3037697.3037734
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Sturton, Cynthia
中科院分区：
文献类型：
--
作者：
Zhang, Rui;Stanley, Natalie;Griggs, Christopher;Chi, Andrew;Sturton, Cynthia
我们提出了一种方法，用于识别安全关键属性的处理器的动态验证中使用。事实证明，在给定一组有意义的安全属性的情况下，这种验证是防止利用处理器中漏洞的有效方法。我们使用已知的处理器勘误表建立一个初始的安全关键的处理器不变量。然后，我们使用机器学习来推断一组额外的不变量，这些不变量与任何特定的已知漏洞无关，但对安全性至关重要。我们构建了一个工具链来实现该方法，并对开源OR1200 RISC处理器进行了评估。我们发现，我们的工具可以识别19（86.4%）的22个手工制作的安全关键属性从以前的工作，并生成3个新的安全属性没有涵盖在以前的工作。
We present a methodology for identifying security critical properties for use in the dynamic verification of a processor. Such verification has been shown to be an effective way to prevent exploits of vulnerabilities in the processor, given a meaningful set of security properties. We use known processor errata to establish an initial set of security-critical invariants of the processor. We then use machine learning to infer an additional set of invariants that are not tied to any particular, known vulnerability, yet are critical to security.We build a tool chain implementing the approach and evaluate it for the open-source OR1200 RISC processor. We find that our tool can identify 19 (86.4%) of the 22 manually crafted security-critical properties from prior work and generates 3 new security properties not covered in prior work.
登录
查看更多内容
绕道：翻译软件以规避简单内核中的硬故障
DOI：
--
发表时间：
2008
期刊：
Dependable Systems and Networks
影响因子：
--
作者：
Albert Meixner;Daniel J. Sorin
通讯作者：
Daniel J. Sorin
IBM zSeries 处理器中的 Millicode
DOI：
10.1147/rd.483.0425
发表时间：
2004
期刊：
IBM J. Res. Dev.
影响因子：
--
作者：
L. Heller;Mark S. Farrell
通讯作者：
Mark S. Farrell
Phoenix：使用可编程硬件检测永久性处理器设计错误并从中恢复
DOI：
10.1109/micro.2006.41
发表时间：
2006
期刊：
2006 39th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO'06)
影响因子：
--
作者：
S. Sarangi;A. Tiwari;J. Torrellas
通讯作者：
J. Torrellas
System/360微程序控制
DOI：
10.1147/sj.64.0222
发表时间：
1967
期刊：
IBM Syst. J.
影响因子：
--
作者：
S. G. Tucker
通讯作者：
S. G. Tucker
修补处理器设计错误
DOI：
10.1109/iccd.2006.4380861
发表时间：
2006
期刊：
2006 International Conference on Computer Design
影响因子：
--
作者：
S. Narayanasamy;Bruce Carneal;B. Calder
通讯作者：
B. Calder