From 428840d44775d0fef1e82f09fd9745c43ee4a4d6 Mon Sep 17 00:00:00 2001
From: Iru Cai <mytbk920423@gmail.com>
Date: Thu, 30 May 2019 17:01:28 +0800
Subject: more refinement

---
 chap/chap1.tex |  4 ++--
 chap/chap2.tex |  2 +-
 thesis.bib     | 10 ++++++++++
 3 files changed, 13 insertions(+), 3 deletions(-)

diff --git a/chap/chap1.tex b/chap/chap1.tex
index ba1096a..6896168 100644
--- a/chap/chap1.tex
+++ b/chap/chap1.tex
@@ -124,8 +124,8 @@ Gem5 的灵活性使得研究者可以根据需要选择不同的系统模型，
   存一致性模型的存储系统模拟框架。
 \end{enumerate}
 
-Gem5 模拟器使用 C++ 编写，并集成了 Python，模拟器的核心功能由 C++ 实现，
-而 Python 用于初始化、配置和控制模拟器。为了支持多种指令系统和缓存一致
+Gem5 模拟器的核心功能由 C++ 语言实现，而初始化、配置和控制模拟器的操作由用户编写的 Python 程序完成。
+为了支持多种指令系统和缓存一致
 性协议，Gem5 分别使用了两种领域专用语言，指令系统描述语言
 和 SLICC 在 Gem5 构建时转为 C++ 代码并编译，生成指令系统和缓存一致性协议
 的模型代码。
diff --git a/chap/chap2.tex b/chap/chap2.tex
index e72c42f..ffdf275 100644
--- a/chap/chap2.tex
+++ b/chap/chap2.tex
@@ -15,7 +15,7 @@ Diffie-Hellman，RSA 等密码的私钥。\supercite{TimingAttack} 这是最早
 \supercite{MOP2010}、电磁辐射\supercite{EMpower}、温度
 \supercite{hutter}、噪声\supercite{acoustic}等。
 
-侧信道攻击的一个用途是用于构造隐蔽信道（covert channel）。隐蔽信道是指
+侧信道攻击的一个用途是用于构造隐蔽信道（covert channel）\supercite{covert}。隐蔽信道是指
 在系统安全策略定义之下，不被允许传输数据的双方，用于传输数据的信道。
 
 现代计算机系统采用多种优化手段，优化可以作用于处理的数据的值、数据的位
diff --git a/thesis.bib b/thesis.bib
index 8df6f5a..ee97289 100644
--- a/thesis.bib
+++ b/thesis.bib
@@ -914,4 +914,14 @@ This thesis highlights two aspects of the BOOM design: its industry-competitive
 	pages={89-97},
 	type={J}
 }
+
+@article{covert,
+	title={A Note on the Confinement Problem},
+	author={Butler W. Lampson},
+	journal={Commun. ACM},
+	year={1973},
+	volume={16},
+	pages={613-615},
+	type={J}
+}
 % vim:ts=4:sw=4
-- 
cgit v1.2.3