経路保証プロトコルの効率的な安全性検証手法の開発

点击翻译按钮获取中文摘要

本研究では，経路保証プロトコルの安全性の検証を行う．対象となる経路保証プロトコルは，無線アドホックネットワークや無線センサネットワーク上で動作することを想定しており，端末が動的にネットワークへ参加や離脱を行うことが考えられる．このようなネットワークでは，さまざまな経路が構築される可能性がある．どのような経路が構築されても，適切に経路保証を行うことができることを示す．検証を行うにあたって，端末数が増加すると構築可能な経路の数が爆発的に増加することが挙げられる．その場合，全ての構築可能な経路を対象に検証を行うことは非常に難しい．そこで，効率的に検証を行う方法を開発する．検証を行うために，安全性を検証するためのツールを用い，そのツールのためのモデルを構築する．このモデルは，経路保証プロトコルの動作を表しており，端末間の接続状況を用いてどのような経路が構築されているかを表すネットワークトポロジも表現する．このトポロジを表現する際に，トポロジ形状が同じ場合には，同じ状態とみなすことで，検証の対象となる経路を削減することを目指す．対象となる経路削減方法を開発し，その方法を用いて安全性検証を行う．ツールにその方法を適用し，実行時間の比較，使用メモリ量の比較を行うことで，効率的に検証を行うことが可能であることを示す．