设计可信操作系统

英文讲义资料的一部分。

封面