可信计算方法和安全

先修要求

• 系统安全、应用密码学和体系结构基础。
• 理解密钥、证书和启动链概念。
• 具备阅读系统论文的能力。

学习目标

• 解释信任根、度量启动和远程证明。
• 评估 TPM、TEE 和虚拟化信任边界。
• 设计密钥封存、策略绑定和证明验证流程。
• 分析可信执行中的侧信道和回滚风险。
• 构建一个小型可信计算原型或审计报告。

教学组织

• 每周 2 次课堂：一次讲授核心概念，一次用于实验、论文讨论或项目评审。
• 课程按 16 周推进，每周都有可检查的作业、实验或项目里程碑。
• 强调可复现材料：代码、配置、数据、实验日志和报告需要能被助教或同学复查。

周计划

考核方式

课程项目

项目可以实现远程证明流程、TPM 密钥封存实验、TEE 应用审计或供应链证明策略。

课程政策

• 允许使用 AI 工具，但所有生成代码、实验记录和设计建议必须经过学生本人审查，并在报告中说明使用方式。
• 严禁提交不能解释的代码、证明、配置或实验结果；答辩时每名成员都需要解释自己负责部分的设计、测试和取舍。
• 迟交会影响迭代评分，但课程更看重可复现、可审计和可维护的结果，而不是临时堆砌。