| 研究概要 |
《推論系の設計》
平成16年度において確立した「線型論理を応用したコスト解析を形式化するための計算体系」において,コスト解析を行なうための推論体系の確立に取り組んだ.プロトコルの仕様および攻撃パターンを与えたときに,コスト解析を行うためのアルゴリズムを考案した.その後,攻撃パターンの(半)自動探索アルゴリズムについて検討した.
《推論系の実装》
上記の推論系の設計に基づいて,推論系の実装に着手した.また実装されたシステムに対して,さまざまなプロトコルのコスト解析を行なうことを通して,実践上必要となると予想されるDoS攻撃耐性の安全性基準などを検討した.
《DoS攻撃耐性に関する実験とコスト解析の計算体系の改良》
理論上得られたDoS攻撃耐性が,実際のネットワーク環境におけるDoS攻撃耐性とを比較する.その結果をコスト解析の計算体系に反映させ,更なる改良をはかった。
|
