2021 Fiscal Year Annual Research Report
Development of e-learning system for human resource development in the information security field
| Project/Area Number |
18K02917
|
|---|
| Research Institution | Osaka Electro-Communication University |
|---|
Principal Investigator |
村上 恭通 大阪電気通信大学, 情報通信工学部, 教授 (50368172)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
岡崎 裕之 信州大学, 学術研究院工学系, 准教授 (50432167)
布田 裕一 東京工科大学, コンピュータサイエンス学部, 教授 (50706223)
|
|---|
| Project Period (FY) |
2018-04-01 – 2022-03-31
|
| Keywords | 情報セキュリティ人材育成 / 暗号技術学習支援 / eラーニングシステム / 形式的暗号プロトコル安全性検証ツール / CAI教材 / Proverif / Moodle / Virtual Programming Lab |
|---|
| Outline of Annual Research Achievements |
我が国において情報セキュリティ人材の育成は急務である。暗号技術は情報セキュリティを実現するための基盤要素であり、暗号を専門とする研究者や技術者のみならずネットワークエンジニアや運用者にとっても暗号技術に関する知識の習得は必須である。形式的暗号プロトコル安全性検証ツールを用いることにより、既存の教材では実現し得ないような実際の暗号技術の動作や攻撃を、学習者が設定した暗号システム上でシミュレーションしながらインタラクティブに学べる。このツールを用いた教材システムを開発することで、学習効果のより高い教材を実現できるため、本研究課題の成果は暗号技術の基礎知識を身に着けたセキュリティ技術者の育成に大きく貢献できる。本研究課題を遂行するために、(1)個々の暗号技術とその学習教材の開発、(2)暗号技術の組み合わせによる暗号プロトコルの構成に関する学習教材の開発、(3) 上記(1),(2)を統合する教育用ユーザインタフェースおよび教材システム開発と評価、を行う予定である。本年度は、(1)については、形式化を令和元年度・2年度の成果をもとに、カメレオンハッシュ関数、修正可能なブロックチェーンなどのより具体的な暗号技術の形式化を行った。(2)の暗号技術の組み合わせの教材については、学生の教育効果を考慮して、穴埋め問題、デバッグ問題などさまざまな出題方法を比較、検討中である。(3)については、令和元年度・2年度に外部サービスを用いて構築したeラーニングシステムを大阪電気通信大学内に設置したサーバに導入し、外部からインターネット経由で本システムを利用できる環境を整えた。
|
Research Products
(5 results)
