コンピュータウイルス撃退のためのセキュリティモデルの開発と性能評価

2003 Fiscal Year Annual Research Report

• Project/Area Number: 15651076
• Research Institution: Hiroshima University
• Principal Investigator: 土肥 正 広島大学, 大学院・工学研究科, 教授 (00243600)
• Co-Investigator(Kenkyū-buntansha): 岡村 寛之 広島大学, 大学院・工学研究科, 助教授 (10311812)
• Keywords: コンピュータウィルス / セキュリティモデル / 性能評価 / マルコフ解析 / ディペンダビリティ / インターネット / ソフトウェア若化 / 安全性

Research Abstract

平成15年度は主に,コンピュータウィルスの自律的撃退モデルの解析,大規模マルコフモデルの解析,インターネットトラヒックの計測を行った.まず,コンピュータウィルスの自律的撃退モデルとしてウィルスへの感染が発見されると関連する経路に警告を発するキルシグナルモデルを連続時間マルコフ連鎖によって記述し,ウィルス感染と自律的撃退の時間的挙動をモデル化した.次に,大規模マルコフモデルの解析では,ソフトウェアの予防保全(若化)を実施するためのセミマルコフモデルを解析するための数値解析を行い,アルゴリズムの比較を行った.最後に,インターネットトラヒックの計測では,広島大学に設置している研究室内LANのトラヒックを計測し,キルシグナルモデルにおける時間遅れ(シグナル配信時間)をパラメータとして獲得することに成功した.
ソフトウェア若化スケジュールを決定するためのセミマルコフモデルの解析結果は,電子情報通信学会論文誌(A)ならびにIEICE Transactions (A),(B),(D)において発表された.また,コンピュータウィルスの自律的撃退モデルの解析結果の一部は情報処理学会論文誌において公表予定である.実際のインターネットアクセスデータを計測し,不正アクセスの統計的検知を行った研究成果は,2004年度に開催予定の国際会議において発表する予定である.ここでは,送受信したパケット数やバイト数の相関を考慮し,不正アクセス確率の定量的評価を行った.

Research Products

• [Publications] 岩本一樹: "コスト有効性に基づいた離散時間ソフトウェア若化スケジュールの推定"電子情報通信学会論文誌(A). J86-A(3). 269-277 (2003)
• [Publications] H.Okamura: "Dependability analysis of a transaction-based multi server system with rejuvenation"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (A). E86-A(8). 2081-2090 (2003)
• [Publications] T.Dohi: "Discrete availability models to rejuvenate a telecommunication billing application"IEICE Transactions on Communications (B). E86-B(10). 2931-2939 (2003)
• [Publications] H.Okamura: "Fine-grained shock models to rejuvenate software systems"IEICE Transactions on Information and Systems (D). E86-D(10). 2165-2171 (2003)
• [Publications] 小林尚志: "確率モデルによるコンピュータウィルスの特徴分析"情報処理学会論文誌. (採録予定). (2004)