インターネットを代表とする、情報通信ネットワークの整備、および、情報通信技術の高度な活用にともない、サイバーセキュリティに対する脅威も深刻化しています。サイバー攻撃は社会に対して重大な影響を及ぼし続けており、攻撃による個人情報の漏洩や知的財産の流出が社会に与えるダメージは計り知れません。サイバーセキュリティ分野は大変重要であるにもかかわらず、現在、人材は大きく不足している状況です。
東工大は、このような社会的要請に応え、2016年4月にサイバーセキュリティ特別専門学修プログラムを開設します。このサイバーセキュリティ特別専門学修プログラムでは、NRIを中心として、楽天、NTT、産総研とも連携することにより、サイバーセキュリティの実践的な内容を学ぶとともに、東工大の情報・通信分野の特色である理論分野の強みも活かし、理論的背景にある知識も同時に身につけられます。カリキュラムは情報理工学院に開設する、サイバーセキュリティ概論 (1Q, 2-0-0)、サイバーセキュリティ暗号理論 (3Q, 2-0-0)、サイバーセキュリティ攻撃・防御第一 (2Q, 1-1-0)、サイバーセキュリティ攻撃・防御第二 (3Q, 1-1-0)、サイバーセキュリティ攻撃・防御第三 (4Q, 1-1-0)の5科目を中心としています。
本講義ではサイバーセキュリティの基本要素として暗号理論を学びます。特に、サイバーセキュリティに関連する暗号理論におけるモデル、方式、証明手法を理解することがねらいです。
本講義を履修することによって以下を理解する。
1) サイバーセキュリティの基本要素としての暗号理論に関するモデル
2) サイバーセキュリティの基本要素としての暗号理論に関する具体的方式
3) サイバーセキュリティの基本要素としての暗号理論に関する安全性証明手法
暗号、セキュリティ、情報セキュリティ、サイバーセキュリティ、安全性証明
✔ 専門力 | 教養力 | コミュニケーション力 | ✔ 展開力(探究力又は設定力) | ✔ 展開力(実践力又は解決力) |
授業は講義形式で行います。授業において小テストを授業中、あるいは、持ち帰りにより行います。
授業計画 | 課題 | |
---|---|---|
第1回 | 講義全体の概要、公開鍵暗号のモデル | モデルの概念を理解する |
第2回 | 公開鍵暗号の基本的な方式 | 方式のアルゴリズムを理解する |
第3回 | 公開鍵暗号の基本的な方式に対する安全性証明 | 安全性証明の手法を理解する |
第4回 | 公開鍵暗号の先端的な方式 | 方式のアルゴリズムを理解する |
第5回 | 公開鍵暗号の先端的な方式に対する安全性証明 | 安全性証明の手法を理解する |
第6回 | 署名のモデル | モデルの概念を理解する |
第7回 | 署名の基本的な方式 | 方式のアルゴリズムを理解する |
第8回 | 署名の基本的な方式に対する安全性証明 | 安全性証明の手法を理解する |
第9回 | 署名の先端的な方式 | 方式のアルゴリズムを理解する |
第10回 | 署名の先端的な方式に対する安全性証明 | 安全性証明の手法を理解する |
第11回 | 特殊な機能をもつ公開鍵暗号のモデル | モデルの概念を理解する |
第12回 | 特殊な機能をもつ公開鍵暗号の基本的な方式 | 方式のアルゴリズムを理解する |
第13回 | 特殊な機能をもつ公開鍵暗号の基本的な方式に対する安全性証明 | 安全性証明の手法を理解する |
第14回 | 特殊な機能をもつ公開鍵暗号の先端的な方式 | 方式のアルゴリズムを理解する |
第15回 | 特殊な機能をもつ公開鍵暗号の先端的な方式に対する安全性証明 | 安全性証明の手法を理解する |
教科書は用いません。
参考書は講義でお知らせします。
授業期間中に数回、小テストを授業中、あるいは、持ち帰りにより行います。小テストは各回で同じ重みをもちます。この合計を全体の評価とします。
事前に身につけているべき知識や技術はありません。しかしながら、計算機科学の基本的な概念の知識があることで授業内容をスムーズに理解できます。
keisuke[at]is.titech.ac.jp
メールで予約すること。