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

第三部分

總複習

本週重點整理  中英術語對照表  自我測驗  參考資料