King’s College London 6CCS3CIS Cryptography（2025/26）
Week 2
形式化定義、Kerckhoffs 原則與安全遊戲
完全學習教材 & Problem Set 2 詳解
SKE 與 MAC 的正式定義空間、字母表與函數單射／滿射／雙射
Kerckhoffs 六原則IND-EAV／IND-CPA／IND-CCAEUF-CMAPPT 與可忽略函數
| 教材內容 | 講義逐頁精讀、延伸補充（Katz–Lindell、Kerckhoffs 原典、真實案例）、圖解、Problem Set 2 全部題目詳解（含程式驗證的 Caesar 密碼資料）、重點整理、中英術語表、自我測驗 |
| 對應教材 | Second lecture（60 頁投影片）、Problem Set 2（Problems 1–3）、KL-IMC 第 1、3、4、5 章相關節次 |
| 適用對象 | 修習 6CCS3CIS（Level 6）之學生；建議先讀 Week 1 教材；需基本離散數學（集合、函數、機率） |
依據 6CCS3CIS 第二週講義（Nguyen & Postlethwaite, 2025-10-09）與 Problem Set 2（Postlethwaite, 2025-10-06）編寫， 並參考 Katz–Lindell《Introduction to Modern Cryptography》第三版、Kerckhoffs《La cryptographie militaire》（1883）及相關原始文獻
第一部分
講義精讀與延伸
對應講義 pp. 2–23：SKE 與 MAC 的正式定義、空間與函數、Kerckhoffs 原則、IND 與 EUF-CMA 安全遊戲、PPT 與可忽略函數
第二部分
Problem Set 2 詳解
Problem 1：On message and ciphertext spaces Problem 2：On brute force attacks Problem 3：On Kerckhoffs’ principles
第三部分
總複習
本週重點整理 中英術語對照表 自我測驗 參考資料