01 / 導讀
導讀
適合誰
適合高年級本科首次嚴格密碼學課程。困難主要在概念精確性：需要讓攻擊者許可權、安全實驗與主張一致，而不是依靠高等微積分完成閱讀。
需要的基礎
需離散機率、組合、模運算和讀證明能力，並理解虛擬碼、作用域、陣列與子程式。附錄用於複習，不能替代第一次系統學習離散數學。
涵蓋內容
從一次一密、秘密共享到偽隨機生成器、函式、置換、對稱加密、雜湊、金鑰交換和簽名，再延伸訊息協議、認證、零知識和後量子主題。安全透過遊戲與程式變換表達。
如何使用
證明前先寫攻擊者能看到的介面；每一步混合變換都指出改了哪行程式碼、依據何種等價或假設。給不安全變體構造區分器，檢查直覺論證遺漏的量詞和機率界限。用習題及動畫核對結構，不用玩具程式執行成功代替安全證明。
版本與來源
當前授權線上全文屬於MIT Press版本，許可CC BY-NC-ND 4.0，與早期流傳草稿區分。非商業分發需保留署名，不能分發修改版；此處不推測紙本出版日或載體編號。
