国立大学法人 東京工業大学

講義の概要とねらい

暗号理論の基礎について講義を行います。講義で扱う主な話題は、コイン投げプロトコル、計算複雑さ、秘密鍵暗号、公開鍵暗号、ストリーム暗号、ブロック暗号、利用モード、メッセージ認証コード、RSA暗号、拡張Euclid互除法、素数判定法、中国剰余定理、RSA-OAEP、ランダム・オラクル、ハッシュ関数、署名、RSA-FDH、 相手認証、ゼロ知識証明です。
本講義では、上記のような話題に対して、モデル、方式、証明手法を理解することがねらいです。本講義の理解より、ソフトウェアやハードウェア、ネットワークに関する情報セキュリティやサイバーセキュリティの基礎を理解することにもつながります。

到達目標

本講義を履修することによって以下を理解する。
1) 暗号理論に関するモデル
2) 暗号理論に関する具体的方式
3) 暗号理論に関する安全性証明手法

キーワード

暗号、セキュリティ、情報セキュリティ、サイバーセキュリティ、コイン投げプロトコル、計算複雑さ、秘密鍵暗号、公開鍵暗号、ストリーム暗号、ブロック暗号、利用モード、メッセージ認証コード、RSA暗号、拡張Euclid互除法、素数判定法、中国剰余定理、RSA-OAEP、ランダム・オラクル、ハッシュ関数、署名、RSA-FDH、 相手認証、ゼロ知識証明

学生が身につける力(ディグリー・ポリシー)

授業の進め方

授業は通常の講義の他に演習形式の講義があります。通常の講義3ないし4回につき1回の割り合いで演習形式の講義を行います。そこでは、通常の講義中に扱えなかった内容や小テストについて説明します。授業では毎回、その回の内容、または、それ以前の回の内容について小テストを出します。

授業計画・課題

教科書

初回の講義でお知らせします。

参考書、講義資料等

初回の講義でお知らせします。

成績評価の基準及び方法

授業中に行う小テスト (60%) と最終試験 (40%) で評価を行います。

関連する科目

• MCS.T213 ： アルゴリズムとデータ構造
• MCS.T214 ： オートマトンと数理言語論
• MCS.T323 ： 計算の理論
• MCS.T411 ： 計算量理論
• MCS.T405 ： アルゴリズム論

履修の条件(知識・技能・履修済科目等)

アルゴリズムとデータ構造の基礎、オートマトンと数理言語論の基礎、計算の理論の基礎について学んでいることが望ましい。