研究課題
インターネットで安全に通信するための手順（暗号プロトコルと呼ばれる）に欠陥が無いこと，すなわち安全であることの確認が喫緊の課題となっている．本研究の目的は，今後の進展が込まれるモノのインターネット（Internet of Things: IoT）において，End-to-End のネットワークに連動したセキュリティレベルで，ユーザとモノを結ぶ暗号プロトコルの組み合わせに対して安全性を評価する技術の開発である．そのために，以下の四つを達成することを目標としていた．(1) ネットワークに連動したセキュリティレベルの定式化．(2) 安全性評価の枠組みの提案．(3) 安全性検証法の設計．(4) 提案法の主要部分の試作と適用実験による有効性確認．平成29年度は，IoT の End-to-End のネットワークを具体化し，ユーザとモノのインタラクションを最小化する暗号プロトコルを対象として，(1)～(4) を以下のように実施した．まず，(1) ではIoTデバイスへの攻撃に対するセキュリティレベルを定式化し，(2) 攻撃における結託構造に基づく安全性評価の枠組みを提案した．そして，(3) セキュリティレベルを達成しているか否かを判定するための条件を明らかとし，(4) 条件判定法を実装した．さらに，高いセキュリティレベルを達成するために必要となるコストの下限を明らかとし，セキュリティレベルの最適化法を提案した．
すべて 2018 2017
すべて 雑誌論文 (2件) (うち査読あり 2件、 オープンアクセス 1件) 学会発表 (2件)
Designs, Codes and Cryptography
巻: - ページ: 1-13
10.1007/s10623-017-0424-7
Proceedings of ICITS 2017, Lecture Notes in Computer Science
巻: 10681 ページ: 73-82
10.1007/978-3-319-72089-0_5
