情報通信におけるインテリジェント・ディペンダビリティ・マネジメントモデルの開発

信息通信领域智能可靠性管理模型的开发

• 批准号: 15700060
• 负责人: 岡村 寛之
• 金额: $ 0.9万
• 依托单位: Hiroshima University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2003
• 资助国家: 日本
• 起止时间: 2003 至 2004
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15700060/
• 关键词: ディペンダビリティ; コンピュータウィルス; 不正アクセス検知; チェックポイント; マルコフ解析; ベイジアンネットワーク; 動的計画法; ソフトウェア信頼性; 強化学習; チェックポインティング; パワーマネジメント; ソフトウェアシステム; システム開発

平成16年度の主な成果として,確率モデルによるコンピュータウィルスの挙動解析,統計的不正検知アルゴリズムの開発,チェックポイント生成アルゴリズムの開発を行った.(1)確率モデルによるコンピュータウイルスの挙動解析確率モデルによるコンピュータウイルスの挙動解析では,連続時間マルコフ連鎖を使ったウイルス増殖のモデル化を行った.特に,ウイルス増殖における確率的事象に着目して,ウイルスの増殖能力を定量的に評価する尺度の導出を行った.また,現存するウイルス感染数のデータを用いて提案した尺度を算出し,ウイルスに関する特徴分析を行った.この結果は平成16年度に出版された学術雑誌で発表された.(2)統計的不正検知アルゴリズムの開発統計的不正検知アルゴリズムの開発では,サーバの利用状況(プロファイル)を常に監視して,DoSアタックなどの異常を検知するためのモデルを構築した.異常を検知する技術として,ベイジアンネットワークを導入することで,従来の統計的な手法よりも多くのデータを矛盾なく利用することが可能となり,検知の精度が向上した.この結果を平成16年度8月に開催された国際会議で発表した.(3)チェックポイント生成アルゴリズムの開発リアルタイム制御が必要なアプリケーションに対するチェックポイントアルゴリズムを新たに提案した.提案されたアルゴリズムは動的計画法に基づいており,従来のアルゴリズムと比較してどのような環境でも安定して解を算出することができる.この結果を平成17年度8月に開催される国際ワークショップで発表する予定である.その他にも本研究に関連するものでは,ソフトウェアシステムの信頼性を向上させるための予防保全手続きの一種であるソフトウェアレジュビネーションに関する研究と,ソフトウェア開発工程で利用されるソフトウェア信頼度成長モデルに関する研究がある.これらの成果も学術雑誌や国際会議で発表を行った.

Pp.47-53 16 year の main な results と し て, probabilistic モ デ ル に よ る コ ン ピ ュ ー タ ウ ィ ル ス の 挙 parsing, statistics against 検 know ア ル ゴ リ ズ ム の 発, チ ェ ッ ク ポ イ ン ト generated ア ル ゴ リ ズ ム の open 発 を line っ た. (1) probabilistic モ デ ル に よ る コ ン ピ ュ ー タ ウ イ ル ス の 挙 dynamic analytical probabilistic モ デ ル に よ る コ ン ピ ュ ー タ ウ イ ル ス の 挙 dynamic analytic で は, even 続 time マ ル コ フ chain を make っ た ウ イ ル ス raised colonization の モ デ ル change line を っ た. に, ウ イ ル ス raised colonization に お け る probabilistic things like に with mesh し て, ウ イ ル ス の good colonization ability を に of quantitative evaluation of 価 す る scale の export line を っ た. ま た, existing す る ウ イ ル ス infection number の デ ー タ を with い て proposal し を た scale calculate し, ウ イ ル ス に masato す る 徴 value analysis line を っ た. こ の results は pp.47-53 published 16 year に さ れ た learn Art 雑 tzu で 発 table さ れ た. (2) statistics against 検 know ア ル ゴ リ ズ ム の open 発 statistics against 検 know ア ル ゴ リ ズ ム の open 発 で は, サ ー バ の utilization (プ ロ フ ァ イ ル) を often に monitoring し て, DoS ア タ ッ ク な ど の abnormal を 検 know す る た め の モ デ ル を build し た. Abnormal を 検 know す る technology と し て, ベ イ ジ ア ン ネ ッ ト ワ ー ク を import す る こ と で, 従 to の statistical な gimmick よ り も more く の デ ー タ を contradiction な く using す る こ と が may と な り, 検 know の precision が upward し た. こ の results を pp.47-53 August 16th annual に open rush さ れ た international conference で 発 table し た. (3) チ ェ ッ ク ポ イ ン ト Generate ア ル ゴ リ ズ ム の open 発 リ ア ル タ イ ム suppression が necessary な ア プ リ ケ ー シ ョ ン に す seaborne る チ ェ ッ ク ポ イ ン ト ア ル ゴ リ ズ ム を new た に proposal し た. Proposal さ れ た ア ル ゴ リ ズ ム に は moving planning base づ い て お り, 従 to の ア ル ゴ リ ズ ム と compare し て ど の よ う な environment で も settle し を て solution calculated す る こ と が で き る. こ の results を pp.47-53 August 17th annual に open rush さ れ る international ワ ー ク シ ョ ッ プ で す 発 table る designated で あ る. そ の he に も this study に masato even す る も の で は, ソ フ ト ウ ェ ア シ ス テ ム の letter 頼 sex を upward さ せ る た め の to prevent security hand 続 き の a で あ る ソ フ ト ウ ェ ア レ ジ ュ ビ ネ ー シ ョ ン に masato す る research と ソ フ ト ウ ェ ア open 発 engineering で using さ れ る ソ フ ト ウ ェ ア letter 頼 degrees growing モ デ ル に masato す る research が あ る. こ れ ら の results も academic 雑 tzu や international conference で 発 table Youdaoplaceholder0 lines った.

项目成果

強化学習に基づいた分散チェックポイントの最適生成

基于强化学习的分布式检查点优化生成

• 发表时间: 2005
• 期刊: 数理科学講究録1409-決定理論と最適化アルゴリズム
• 作者: 秋岡明香;竹房あつ子;中田秀基;松岡聡;三浦謙一;Atsuko Takefusa;岡村寛之
• 通讯作者: 岡村寛之

本田紘介: "モジュールサイズの分布に基づいたソフトウェア欠陥密度の評価に関する考察"電子情報通信学会論文誌. Vol.J86-A, No.6. 713-717 (2003)

Hirosuke Honda：“基于模块尺寸分布的软件缺陷密度评估”，电子、信息和通信工程师协会学报，第 J86-A 卷，第 713-717 期（2003 年）。

Hiroyuki Okamura: "Dependability Analysis of a Transaction-Based Multi-Server System with Rejuvenation"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. Vol.E86-A, No.8. 2081-2090 (2003)

Hiroyuki Okamura：“基于事务的多服务器系统的可靠性分析与复兴”IEICE 电子、通信和计算机科学基础事务。

一般化ガンマソフトウェア信頼性モデル

广义伽马软件可靠性模型

• 发表时间: 2004
• 期刊: 電子情報通信学会論文誌 J87-D-I(8)
• 作者: 秋岡明香;竹房あつ子;中田秀基;松岡聡;三浦謙一;Atsuko Takefusa;岡村寛之;小林尚志;岡村寛之
• 通讯作者: 岡村寛之

土肥正: "コスト有効性に基づいた離散時間ソフトウェア若化スケジュールの推定"電子情報通信学会論文誌. Vol.J86-A, No.3. 269-277 (2003)

Tadashi Doi：“基于成本效益的离散时间软件更新计划”，电子、信息和通信工程师学会汇刊，第 J86-A 卷，第 3 期（2003 年）。