summaryrefslogtreecommitdiff
path: root/chap/chap4.tex
diff options
context:
space:
mode:
authorIru Cai <mytbk920423@gmail.com>2019-05-14 22:27:06 +0800
committerIru Cai <mytbk920423@gmail.com>2019-05-14 22:27:06 +0800
commitd103ea92da66722264f3cf0b148c4118ce47d8dc (patch)
tree20cda90e621ebae015cc04eb67b13270a2710cbc /chap/chap4.tex
parent99fecc3db6e1c0214fcc1ac10655fc60b01d1a36 (diff)
downloaddissertation-d103ea92da66722264f3cf0b148c4118ce47d8dc.tar.xz
upd
Diffstat (limited to 'chap/chap4.tex')
-rw-r--r--chap/chap4.tex5
1 files changed, 3 insertions, 2 deletions
diff --git a/chap/chap4.tex b/chap/chap4.tex
index 5be6d75..ab8b34f 100644
--- a/chap/chap4.tex
+++ b/chap/chap4.tex
@@ -31,8 +31,9 @@ DIFT 可以作为 Spectre 攻击的检测手段之一。Spectre 的论文中指
法则是这种观点的一种具体设计。在其他使用了 DIFT 的防御 Spectre 的设计中,
所追踪的对象有所不同。CSF\supercite{context-sensitive-fencing} 中的译码
级信息流追踪框架 DIFT,用于追踪处理器使用的数据是否来源于用户输入,从而
-处理器可以根据此信息判断是否需要插入 fence 微码。OISA\supercite{oisa}
-在指令系统的定义中即包含了 DIFT 技术,用于追踪一个数据是否为秘密数据。
+处理器可以根据此信息判断是否需要插入 fence 微码。有的指令系
+统\supercite{oisa}在定义中即包含了 DIFT 技术,用于追踪一个数据是否为秘
+密数据。
和 Conditional Speculation
\supercite{conditional-speculation} 的 TPBuf 过滤器一样,本文的工作同样