blob: 4d792a88d4d2d7cb4f852aad207c8e7f6eff32ad (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
% Copyright (c) 2014,2016,2018 Casper Ti. Vector
% Public domain.
\chapter{Meltdown和Spectre攻击的防御方案分析}
\section{Meltdown型攻击的防御}
Meltdown型攻击利用了瞬时指令可以读取体系结构层次上不可访问的数据，并且用此数据做计算。因此一种防御方式是使体系结构层次上不可访问的数据，在微架构层次上仍然不可访问。
KAISER\supercite{kaiser}是一种已经部署在 Linux 内核上的一种防御
Meltdown 攻击的方案。它的作用是在用户空间中去除内核空间的地址映射，使
得用户空间的执行的指令无法访问内核空间的存储区域。
防御 Meltdown 型攻击的第二种方法是阻止异常的产生。
\section{Spectre型攻击的防御}
Spectre 型攻击的防御方案可以分为三类：阻止推测式执行、防止瞬时指令访问
秘密数据、切断隐蔽信道或降低隐蔽信道的精度。
\subsection{软件防御方案}
为了防御Spectre v1，Intel和AMD建议在分支指令后插入lfence指令阻止推测式
执行。由于lfence性能开销大，LLVM提出推测式装载指令加固（Speculative
Load Hardening）\supercite{spec-load-hardening} 技术，它的作用是在指
令流中添加数据相关，使得装载指令使用的地址依赖于分支结果。
retpoline\supercite{retpoline} 是 Google 提出的防御 Spectre-BTB 的方法。
它的作用是把程序中的间接转移指令修改为一个指令序列，最终使用 ret 指令
完成跳转，从而使用 RSB 而不是 BTB 来进行间接转移的转移预测。
% index masking
% poison value
% site isolation
% timer reduction
\subsection{硬件防御方案}
\subsubsection{SafeSpec}
\supercite{safespec}
\subsubsection{InvisiSpec}
\supercite{invisispec}
\subsubsection{DAWG}
\supercite{dawg}
\subsubsection{Context-Sensitive Fencing}
\supercite{context-sensitive-fencing}
\subsubsection{Conditional Speculation}
\supercite{conditional-speculation}
% vim:ts=4:sw=4
|
