形式化定义

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