研究テーマ

Lévy Walkはランダムウォークの一種であり，アホウドリ，ミツバチ，シャチなどの海洋捕食動物の採餌行動のモデルとされており，人間の行動パターンに統計的な近似が可能であることが知られています．Lévy Walkの研究は多く行われていますが，グラフ上におけるLévy Walkの研究はほとんどなされていません．

本研究では，道路網などのモデルであるユニットディスクグラフ上におけるLévy Walkに基づいたブラインド探索を行い，Lévy Walkの探索性能とグラフの特徴（直径など）や探索目標との距離についての関係を明らかにします．これによりネットワークインフラを仮定しない（DTN上での）センサネットワークなどにおいてLévy Walkに基づいたモバイルセンサによるサンプリングで重大なインシデントなどを効率的に検知することができると考えています．

カッコウは自身で卵を孵さず，他の鳥の巣へ自身の卵を托卵することによって孵化させます．この際にどの巣に托卵するかということが孵化の成功率を上げるために重要になってきます．カッコウは独自の托卵アルゴリズムにより非常に巧妙に托卵先の巣を選択し，托卵を行うことで子孫を繁栄させています．

本研究では，カッコウの托卵を模したアルゴリズムを用いて，アドホックネットワーク上の低需要だが特定の人にとっては非常に重要な情報（たとえば災害時の個人の安否情報など）をネットワーク上のリソースの消費を最小限に抑えながらデータの消失を防ぐようなデータ複製機構の実現を目指しています．

IoT環境は様々なサービスを提供するインフラとなりつつある一方で，IoTデバイスによって収集されるデータは個人情報を含むものもあるため，高度なセキュリティとサービスを継続するための可用性が求められている．しかしながら，監視カメラなどのようなIoTデバイスは通常のコンピュータシステムと比較してセキュリティ的には脆弱であり，外部からの攻撃によって収集したデータを窃取され個人情報が流出してしまう可能性がある．また，通常のコンピュータシステムにおいても，OSに脆弱性が存在する場合は同様のことが起こりうる．このような問題点に対して近年ハードウェアと協調したセキュリティ機構である，Trusted Execution Environment (TEE) が注目されている．

本研究では，IoTデバイスやコンピュータシステムなどの多彩なデバイスから構成されるIoT環境においてTEEを用いた高度なセキュリティとシステムの可用性を実現します．

クラウド上における仮想化技術（Virtual Machineやコンテナ）の発展により，複数のVMやコンテナを組み合わせてサービスを構築することが一般的になってきています．一方で，このような仮想化技術に基づいたサービスの形態に適応したサービスの耐故障化技術の研究開発も同様に求められています．

本研究では，複数の仮想化サーバにおけるチェックポイント機構の実装，仮想化サーバ向けのチェックポイントアルゴリズムの開発，それに基づくスケールアウトやサーバマイグレーションの実現と性能評価を行っています．