L4.6cmL3.0cmL7.0cm English & 中文 & 說明
English & 中文 & 說明

secret key encryption (SKE) & 秘密金鑰加密 & \((\KGen,\Enc,\Dec)\) 與 \(\calK,\calM,\calC\)
message authentication code (MAC) & 訊息鑑別碼 & \((\KGen,\Tag,\Vf)\) 與 \(\calK,\calM,\calT\)
randomised algorithm & 隨機化演算法 & 可擲硬幣；等價於多一個隨機輸入 \(\rho\)
deterministic algorithm & 確定性演算法 & 同輸入必同輸出；\(\Dec\)、\(\Vf\)、本課的 \(\Tag\)
randomness space \(\calR\) & 隨機性空間 & \(\rho\gets\calR=\bits^r\)；\(\Enc(\sk,m;\rho)\)
random coins & 隨機帶 & 演算法用到的隨機位元
failure symbol \(\bot\) & 失敗符號 & \(\Dec\) 對非法密文的輸出；讀作「bottom」
correctness & 正確性 & \(\Dec(\sk,\Enc(\sk,m))=m\)；\(\Vf(\ik,m,\Tag(\ik,m))=1\)
canonical verification & 典範驗證 & 重算標籤並比對；需確定性 \(\Tag\)
integrity key \(\ik\) & 完整性金鑰 & MAC 的金鑰，與 \(\sk\) 獨立
tag space \(\calT\) & 標籤空間 & 標籤所在集合；長度決定猜中機率 \(1/\abs\calT\)
alphabet & 字母表 & 有限符號集合 \(\alpha\)
string / word & 字串 & 符號的有限序列
empty string \(\varepsilon\) & 空字串 & 長度 0；\(\alpha^0=\{\varepsilon\}\)
Kleene star \(\alpha^*\) & Kleene 星號 & 任意有限長度字串的集合
natural numbers \(\N\) & 自然數 & 本課含 0：\(\{0,1,2,\dots\}\)
function & 函數 & 每個輸入恰對應一個輸出
image \(f(X)\) & 像 & 所有輸出所成的集合
injective (one-to-one) & 單射 & \(f(x)=f(x')\Rightarrow x=x'\)
surjective (onto) & 滿射 & \(f(X)=Y\)
bijective & 雙射 & 單射且滿射；可逆
inverse function \(f^{-1}\) & 反函數 & 雙射才有；\(\Dsk\) 是 \(\Esk\) 的左反函數
pigeonhole principle & 鴿籠原理 & \(\abs X>\abs Y\Rightarrow\) 無單射 \(X\to Y\)
permutation & 排列 & 集合到自身的雙射；\(n\) 個元素有 \(n!\) 個
unambiguous decryption & 無歧義解密 & 知 \(\sk\) 可唯一還原 \(m\)；\(\iff\Esk\) 單射
ciphertext expansion & 密文膨脹 & 隨機化加密 \(\abs\calC\ge\abs\calM\cdot\abs\calR\)
Kerckhoffs’ principle & Kerckhoffs 原則 & 安全不得依賴演算法保密（第二條）
desiderata & 期望條件 & Kerckhoffs 對六條原則的原稱
Shannon’s maxim & Shannon 格言 & 「the enemy knows the system」
security through obscurity & 安全靠隱匿 & 以保密設計為安全依據；反面教材
open design & 開放設計 & Saltzer–Schroeder（1975）的安全設計原則
codebook & 碼書 & 單字（或片語）到碼字的對照表
one-part / two-part code & 一部碼／二部碼 & 碼字有序／隨機；後者需兩本書
cryptographic game & 密碼學遊戲 & 挑戰者與敵手依規則互動，定義安全
challenger & 挑戰者 & 持有秘密、執行遊戲規則的一方
adversary & 敵手 & 試圖獲勝的（PPT）演算法
oracle & 預言機 & 敵手可呼叫的黑盒：\(\OEnc,\ODec,\OTag\)
eavesdropper & 竊聽者 & 只觀察密文的被動敵手
chosen plaintext attack (CPA) & 選擇明文攻擊 & 敵手可取得自選明文的密文
chosen ciphertext attack (CCA) & 選擇密文攻擊 & 敵手可取得自選密文的解密（\(c\ne c_b\)）
chosen message attack (CMA) & 選擇訊息攻擊 & 敵手可取得自選訊息的標籤
indistinguishability (IND) & 不可區分性 & 分不出兩個自選訊息中哪個被加密
challenge ciphertext \(c_b\) & 挑戰密文 & 遊戲中要被分辨的那一個密文
advantage & 優勢 & \(\abs{\Prob[\text{win}]-\tfrac12}\)（IND）或 \(\Prob[\text{win}]\)（EUF）
semantic security & 語意安全 & 密文不幫助計算任何訊息函數；等價 IND-EAV
Hamming weight & 漢明重量 & 位元串中 1 的個數
malleability & 可延展性 & 改密文可預測地改明文；IND-CCA 排除之
existential unforgeability (EUF) & 存在性不可偽造 & 對任何新訊息皆不可偽造
strong unforgeability (SUF) & 強不可偽造 & 連舊訊息的新標籤也不可偽造
forgery & 偽造 & 通過 \(\Vf\) 的非合法產生之 \((m',\tau')\)
security parameter \(n\) & 安全參數 & 通常為金鑰長度；一切以 \(n\) 為基準
probabilistic polynomial time (PPT) & 機率多項式時間 & 「有效率」的形式定義
negligible function & 可忽略函數 & 終究小於任何多項式倒數
non-negligible / noticeable & 不可忽略／明顯 & 至少是某個多項式的倒數（無窮多次）
asymptotic security & 漸近安全 & 以 \(n\to\infty\) 敘述；PPT 與 negligible
concrete security & 具體安全 & \((t,\eps)\)-安全：時間 \(\le t\) 則優勢 \(\le\eps\)
information-theoretic security & 資訊論安全 & 對無限算力敵手仍安全（一次性密碼本）
computational security & 計算安全 & 僅對有效率敵手安全
brute force attack & 暴力破解 & 枚舉所有金鑰並辨認明文
known / chosen plaintext & 已知／選擇明文 & 攻擊者握有 \((m,c)\) 對／可指定 \(m\)
unicity distance & 唯一解距離 & \(U=\log_2\abs\calK/D\)：解唯一所需最短密文
redundancy & 冗餘 & 語言每字母多餘的位元數 \(D=\log_2\abs\alpha-r\)
spurious key & 偽金鑰 & 解出可讀明文但錯誤的金鑰
Caesar cipher & Caesar 密碼 & \(c_i=m_i+\sk\bmod26\)；\(\abs\calK=26\)
monoalphabetic substitution & 單字母替換 & 金鑰為字母表的排列；\(26!\) 把金鑰
ROT13 & ROT13 & 位移 13 的 Caesar；加密即解密