シラバス参照
|
シラバス参照
|
| 講義概要/Course Information |
| 科目基礎情報/General Information |
| 授業科目名 /Course title (Japanese) |
暗号理論特論 | ||
|---|---|---|---|
| 英文授業科目名 /Course title (English) |
Advanced Topics on Cryptography | ||
| 開講年度 /Academic year |
2014年度 | 開講年次 /Year offered |
全学年 |
| 開講学期 /Semester(s) offered |
後学期 | 開講コース・課程 /Faculty offering the course |
博士前期課程、博士後期課程 |
| 授業の方法 /Teaching method |
講義 | 単位数 /Credits |
2 |
| 科目区分 /Category |
大学院専門教育科目 - 専門展開科目 | ||
| 開講類・専攻 /Cluster/Department |
総合情報学専攻、情報・通信工学専攻 | ||
| 担当教員名 /Lecturer(s) |
太田 和夫、岩本 貢 | ||
| 居室 /Office |
東3-928(太田），東3-924（岩本） | ||
| 公開E-mail |
{kazuo.ohta, mitsugu} [at] uec.ac.jp | ||
| 授業関連Webページ /Course website |
なし | ||
| 更新日 /Last update |
2014/11/18 12:22:08 | 更新状況 /Update status |
公開中 /now open to public |
| 講義情報/Course Description |
| 主題および 達成目標（2,000文字以内） /Themes and goals（up to 2,000 letters） |
現代暗号理論は，計算量理論と情報理論に基づいた2通りの体系に分類できる． それぞれの体系についてテーマを選択して，基礎知識から説明を解き起こして，応用にまで言及する．定式化の理念および安全の証明方法などの考え方が理解できることを目標とする． |
|---|---|
| 前もって履修 しておくべき科目（1,000文字以内） /Prerequisites（up to 1,000 letters） |
離散数学第一／第二，アルゴリズム・データ構造，暗号理論，情報理論 |
| 前もって履修しておくこ とが望ましい科目（1,000文字以内） /Recommended prerequisites and preparation（up to 1,000 letters） |
計算科学特論，理論計算機科学特論，情報数理特論などを合わせて聴講すると，さらに理解が深まります． |
| 教科書等（1,000文字以内） /Course textbooks and materials（up to 1,000 letters） |
前半の授業で使用する資料などは，授業中に配布あるいはURLを紹介します． 後半の授業では，次の教科書を使う． [参考書] 「公開鍵暗号の数理」 森山，西巻，岡本 共立出版 ISBN978-4-320-01951-5 [教科書] Cover-Thomas, "Elements of Information Theory," Wiley-InterScience, 2006. ISBN-13: 978-0471241959 山本・古賀・有村・岩本（訳）： 情報理論ー基礎と広がり，共立出版，2012． ISBN-13: 978-4320123007 |
| 授業内容と その進め方（2,000文字以内） /Course outline and weekly schedule（up to 2,000 letters） |
前半ではゼロ知識証明，デジタル署名の基本概念を講義したのち, ゼロ知識証明からデジタル署名を構成する方法を紹介する。 後半では，暗号化と認証における情報理論的安全性概念について説明し，両者と統計学における仮説検定の関係について説明する 授業内容： 第１回(10/7)：ガイダンスと情報セキュリティ概論：公開鍵暗号の観点から（講義で扱う話題の位置づけの把握） (10/14)：体育祭で休講 第２回(10/21)：前提知識の確認（論理記号，同値類，剰余演算，論法など） 第３回(10/28)：本人確認法の脅威のモデル化（現実の攻撃者を抽象化して捉える考え方の習得） 第４回(11/4)：ゼロ知識証明（ZKIP）の定式化（定式化から直観的意味の連想） 第５回(11/11)：対話型証明（IP)の実例（平方剰余(QR)問題のIP） 第６回(11/18)：ゼロ知識(ZK)性の定義と証明（数学的帰納法の復習） 第７回(11/25): ゼロ知識(ZK)性の証明（つづき） 第８回(12/2)：署名の安全性（現実の攻撃者を抽象化してとらえる考え方の復習） 第９回(12/9)：Fiat-Shamir署名方式の安全性証明（対偶論法，帰着技法の習得） 第１０回(12/16)：暗号化における情報理論的安全性 第１１回(1/6)：認証における情報理論的安全性 第１２回(1/13)：仮説検定：問題設定と基礎的な結果 (1/20): 休講 第１３回(1/27)：仮説検定と認証理論：概論 第１４回(2/3)：秘密分散法における不正の検知手法（１）：順定理 第１５回(2/10, 補講調整日)：秘密分散法における不正の検知手法（２）：逆定理 |
| 実務経験を活かした 授業内容 (実務経験内容も含む) /Course content utilizing practical experience |
|
| 成績評価方法 および評価基準 （最低達成基準を含む） （1,000文字以内） /Evaluation and grading （up to 1,000 letters） |
レポートと，授業中の講義へ貢献度（質問に対する回答状況など）を考慮して総合的に評価する． |
| オフィスアワー： 授業相談（1,000文字以内） /Office hours（up to 1,000 letters） |
特に設けない．質問等があるときは事前にメールでアポイントメントを取ってから研究室を訪問すること． |
| 学生へのメッセージ（1,000文字以内） /Message for students（up to 1,000 letters） |
論理的な思考ができていること．キッチリと論文を読む習慣が身につくように指導したい．RSA法などの公開鍵暗号の知識を前提とします． |
| その他 /Others |
なし |
| キーワード /Keywords |
情報セキュリティ，計算量理論，公開鍵暗号，本人確認，デジタル署名，証明可能安全性， 盗聴通信路，識別不可能性，強秘匿性，統計的安全性．情報理論的安全性，不正検知 |