课程笔记

本章深入探讨现代密码学的基石——可证明安全（Provable Security）的三大支柱（形式化定义、精确假设、严格证明），介绍符号体系、密码学原语、威胁模型演进等内容，是隐私计算课程的理论基础。

本章概述安全多方计算（Secure Multi-Party Computation, MPC）的基本概念、核心问题、应用场景，介绍秘密分享机制和安全加法/乘法协议的基础构造思想，是隐私计算课程的理论入门。

本文系统介绍数据级并行（DLP）和线程级并行（TLP），包括Flynn分类法、SIMD（向量处理器、阵列处理器）、MIMD（共享存储器、消息传递）、多核处理器等内容，是计算机系统 III 硬件部分的重要章节。

本文系统介绍存储层次结构的核心概念，包括局部性原理、Cache的基本操作、Cache组织方式（直接映射、组相联、全相联）、替换策略、写策略、Cache性能分析等内容，是计算机系统 III 硬件部分的重要章节。

本文系统介绍指令级并行的核心概念，包括流水线基础回顾、相关性（数据相关、名相关、控制相关）、冒险（结构冒险、数据冒险、控制冒险）、动态调度、Tomasulo算法、分支预测等内容，是计算机系统 III 硬件部分的重要章节。

本文介绍计算机系统 III 硬件部分的核心理念——"带走你自己的系统"，包括计算机系统的抽象层次、系统贯通方法、理论层次与实验实现的映射，以及系统能力的重要性，是系统课程的基础入门。

本文系统梳理概率论的核心内容，包括随机实验、样本空间、事件、概率公理化定义、条件概率、全概率公式、贝叶斯公式、随机变量、分布函数、常见分布等内容，是信息安全专业数学基础课程的重要笔记。

本文系统梳理离散数学的核心概念，包括命题逻辑、谓词逻辑、集合论、关系与函数、图论基础等内容，是信息安全专业数学基础课程的重要笔记。