2005 Fiscal Year Annual Research Report

線型論理を応用した安全性向上のためのコスト解析の形式的手法

Research Project

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