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

抵御计算机病毒的安全模型的开发和性能评估

• 批准号: 15651076
• 负责人: 土肥 正
• 金额: $ 2.5万
• 依托单位: Hiroshima University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Exploratory Research
• 财政年份: 2003
• 资助国家: 日本
• 起止时间: 2003 至 2005
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-15651076/
• 关键词: コンピュータウィルス; コンピュータセキュリティ; 確率モデル; ソフトウェア; 信頼性評価; 拡散・感染現象; キルシグナル; マルコフ解析; ウィルス拡散現象; マルコフモデル; ディペンダビリティ; コンピュータネットワーク; プレデター; セキュリティモデル; 性能評価; インターネット; ソフトウェア若化; 安全性

コンピュータネットワークを基本とした現在の高度情報化社会において,インターネットは不可欠な情報伝達媒体として認識されているが,同時にコンピュータウィルスの感染やサイバーテロなどの脅威に常にさらされているといっても過言ではない.本研究では,ウィルス撃退方法を確率モデルで記述し,コンピュータウィルス撃退のためのセキュリティモデルの開発を行う.さらに,期待ウィルス感染数やウィルス感染爆発確率,コンピュータウィルス撃退までの時間に関する尺度を定量的に導出することにより,当該ウィルス撃退方法の性能評価を行う.これにより,本研究で提案する自律的ウィルス撃退用セキュリティモデルの有効性を定量的に評価出来る.17年度は,これまでの研究成果を統括するとともに,開発されたセキュリティモデルの性能評価ならびに実証分析を行った.(1)評価実験:コンピュータネットワーク(PC数)の規模とウィルスの繁殖速度(推移確率行列)に応じてモデルの定量的な比較を行い,2つのモデルの特性について論じた[土肥].(2)模擬実験によるシステム評価:模擬実験では,研究室内に擬似的に構築されたLANシステム上で2種類のセキュリティモデルに基づいた耐ウィルス設計と避ウィルス設計を比較し,大規模なネットワークサイズを想定したシミュレーション実験を通じて,避ウィルス設計に対する耐ウィルス設計の頑強性を調べ,評価実験で得られた知見をより大規模なネットワークにおいて立証することを試みた.[土肥,岡村].上述の研究と平行しながら,初年度に達成した理論的知見,並びに実証研究の結果を内外で開催される学術会議で発表した.

In today's highly information-based society, information technology is essential to the development of information technology, and at the same time, information technology is essential to the development of information technology, and information technology is essential to the development of information technology. This study describes the accurate method of repelling the virus and the development of the virus. In this paper, the expected number of infections, the infection detection rate, and the time scale related to the repelling of the virus are derived quantitatively. In this study, we propose a quantitative evaluation of the effectiveness of self-discipline and self-discipline. In 2017, we summarized the research results of self-discipline and developed a quantitative evaluation of self-discipline and self-discipline performance. (1)Evaluation: Scale and reproduction speed (PC number) of soil and fertilizer. (2)Simulations: Simulations were conducted to compare the design of two types of LAN structures in the laboratory with the design of a large-scale LAN structure, and to evaluate the robustness of large-scale LAN structures. [Soil fertilizer, Okamura]. In parallel with the above research, theoretical insights were achieved in the first year, and the results of practical research were presented at academic conferences.

项目成果

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

Kazuki Iwamoto：“基于成本效益的离散时间软件更新计划”，电子、信息和通信工程师学会汇刊 (A) 269-277 (2003)。

Determination of optimal warranty period in a software development project

软件开发项目最佳保修期的确定

• 发表时间: 2005
• 期刊: International Journal of Quality and Reliability Management 22
• 作者: Koichiro Rinsaka

Behavioral analysis of fault-tolerant software systems with rejuvenation

具有复兴功能的容错软件系统的行为分析

• 发表时间: 2005
• 期刊: IEICE Transactions on Information and Systems (D) E88-D
• 作者: Andreas Gehrmann;Syohei Ishizu;Suzuki A. et al.;Matsuda S. et al.;岡村寛之;Koichiro Rinsaka
• 通讯作者: Koichiro Rinsaka

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)

H.Okamura：“基于事务的多服务器系统的可靠性分析与复兴”IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (A)。

T.Dohi: "Discrete availability models to rejuvenate a telecommunication billing application"IEICE Transactions on Communications (B). E86-B(10). 2931-2939 (2003)

T.Dohi：“离散可用性模型使电信计费应用程序焕发活力”IEICE 通信交易 (B)。