耐侵入システムの設計と評価 : 確率モデルを中心に(<特集>「信頼性・保全性・安全性の事例:情報処理・ソフトウェア編」〜信頼性ハンドブック出版から10年を経て〜)
スポンサーリンク
概要
- 論文の詳細を見る
従来までの高信頼化ソフトウェア設計技術では,ソフトウェアシステムをネットワークから切り離した形態で利用することが前提とされてきた.すなわち,ソフトウェアに内在する固有フォールトが運用段階において表面化するシステム障害の影響を抑えることに主眼が置かれてきた.よって,高信頼化システムを実現するために,冗長原理に基づいたソフトウェアの耐故障設計技術が重要視されてきた.一方で,近年の高度情報ネットワーク化を契機として,悪意ある脅威によってソフトウェアシステムの脆弱性が攻撃され,結果としてセキュリティ障害が発生する例が頻発している.このようなセキュリティ障害の予防策の一環として,侵入検知機能と耐侵入機能の強化が考えられる.本稿では特に,耐侵入機能の設計に着目し,耐侵入システムのセキュリティ効果を定量的に把握するための確率モデルの開発例について紹介する.
- 日本信頼性学会の論文
- 2008-05-01
著者
関連論文
- ソフトウェア信頼性評価におけるソフトウェアメトリクスの活用(最近の信頼性・安全性の理論と応用)
- セキュリティパッチによる保守を伴うソフトウェアシステムに対するセキュリティ評価 (信頼性)
- 核推定法に基づいたソフトウェア故障データの解析 (信頼性)
- TIPSHアルゴリズムに基づいたウェーブレット縮小推定によるソフトウェア信頼性評価 (不確実・不確定性下での意思決定過程)
- マルコフ到着過程によるコンピュータウィルス増殖過程の推定(信頼性国際規格,保全性,信頼性一般)
- ベイズ推定に基づいたソフトウェアリリース時間の信頼区間(ソフトウェアの信頼性,信頼性理論,信頼性一般)
- HMMの学習アルゴリズムの並列化に関する一考察 (不確実・不確定性下での意思決定過程)
- IMS-based VoIP ネットワークシステムの定量的セキュリティ分析(ソフトウェアの信頼性,信頼性理論,信頼性一般)
- ランダムポートホッピングの性能評価(ソフトウェアの信頼性,信頼性理論,信頼性一般)
- マルコフ変調ソフトウェア信頼性モデル(セッション2 : ソフトウェアの信頼性,信頼性理論)
- 対数正規過程に基づいたソフトウェア信頼性評価に関する考察(信頼性(3))
- 連続状態ソフトウェア信頼性モデル(信頼性(2))
- 2-F-3 Web情報検索におけるマルコフ決定過程に基づいたランキングアプローチ(情報・通信)
- マルコフ決定過程によるWebページランキングアルゴリズム(Web マイニング・Web情報検索,データ工学論文)
- 動的なテスト環境要因を考慮したソフトウェア信頼性評価の一考察 (信頼性)
- 1-C-8 テスト環境要因を考慮したソフトウェア信頼性モデルの効率的推定手法(信頼性(2))
- 1-C-7 ソフトウェアメトリクスを考慮したソフトウェア信頼性評価(信頼性(2))
- マルコフ型到着過程を用いたソフトウェア信頼性モデルの統一化
- ソフトウェア信頼性のノンパラメトリック推定に関する考察(システムの信頼性,信頼性一般)
- 表計算ソフトウェアによる路線価評価システムの開発(都市・交通(1))
- 表計算ソフトウェアによるソフトウェア信頼性評価ツール(SRATS)の開発(ソフトウェア開発環境・開発支援システム, システム開発論文)
- MRSPNによるセキュリティシステムの性能評価
- 超アーランソフトウェア信頼性モデル
- 2-E-11 ノンパラメトリック予測推論に基づいたソフトウェアの最適若化方策 : 3ステップ適応的スケジューリング(信頼性(3))
- 確率的SISモデルによるコンピュータウィルス増殖過程の推定(信頼性(2))
- 確率モデルによるコンピュータウィルスの特徴分析(ネットワークセキュリティ)
- 国際会議報告 : ISAS 2006に出席して
- システム障害の発生を考慮した分散プロセスのデッドロック検出スケジューリング
- 1-D-8 多変量位相分布のパラメータ推定手法(マルコフ過程)
- 動的なテスト環境要因を考慮したソフトウェア信頼性評価の一考察(ソフトウェアの信頼性,信頼性理論,信頼性一般)
- セキュリティパッチによる保守を伴うソフトウェアシステムに対するセキュリティ評価(ソフトウェアの信頼性,信頼性理論,信頼性一般)
- 制約付最適逐次チェックポイント配置 : 厳密解と近似解について(ソフトウェアの信頼性,信頼性理論,信頼性一般)
- 1-D-9 チェックポイント配置問題におけるパフォーマビリティ解析(信頼性(3)・システム設計)
- 逐次チェックポイント配置のための厳密解法
- 制約付最適点検問題の近似手続きについて(保全・探索)
- 不完備情報下でのMin-Maxチェックポイント配置(信頼性(2))
- クラスタシステムに対する多重障害からの回復技術 : 歪チェックポイントモデルの厳密解法(ソフトウェアの信頼性,信頼性理論,信頼性一般)
- 対数ポアソン実行時間ソフトウェア信頼性モデルに関する一考察 : 余震発生モデルとの関連性を通して(信頼性(2))
- Q学習に基づいた自動スリープシステムの最適制御
- 強化学習によるDynamic Power Management Systemの実装(信頼性(2))
- 土地価格形成要因の定量データに基づいた固定資産税路線価式評価法(都市・地域(1))
- 比例ハザードモデルに基づいた固定資産税路線価式評価法(金融(2))
- 核推定法に基づいたソフトウェア故障データの解析(ソフトウェアの信頼性,信頼性理論,信頼性一般)
- ブートストラップ法によるソフトウェア信頼性評価に関する考察
- 2-E-12 Optimal (T,S)-Policies in a Discrete-Time Opportunity-Based Age Replacement
- 2-H-4 離散時間修理限界取替え方策とその推定アルゴリズム(信頼性(1))
- ソフトウェア若化を伴うアベイラビリティモデルの過渡解析(ソフトウェアの信頼性, 信頼性理論, 信頼性一般)
- 最適チェックポイント配置に対するベイズアプローチ(信頼性一般)
- 割引と2種類のリードタイムを有する離散時間スペア発注方策(セッション1 : ソフトウェアの信頼性,信頼性理論)
- 不完全な前向き回復処理を想定した年齢依存チェックポイント配置の近似手続き
- 不完全な前向き回復処理を想定した年齢依存チェックポイント配置の近似手続き
- 離散時間動作環境における周期的ソフトウェア若化スケジュールの推定(電子デバイスの信頼性と半導体界面・表面制御,信頼性一般)
- 離散時間動作環境における周期的ソフトウェア若化スケジュールの推定(電子デバイスの信頼性と半導体界面・表面制御,信頼性一般)
- 2つの定常状態評価規範の下での若化を伴うソフトウェアコストモデルの比較(ソフトウェアの信頼性,信頼性理論)
- コスト有効性に基づいた離散時間ソフトウェア若化スケジュールの推定
- 単体テストデータを用いたソフトウェア信頼性評価に関する一考察 (信頼性)
- 2-A-7 変分近似によるマルコフ連鎖の最適シミュレーション分布の推定(シミュレーション)
- 1-A-8 ソフトウェア加速寿命試験モデルの適用ガイドライン(信頼性(2))
- 準モンテカルロ法を用いた非定常マルコフ連鎖のシミュレーションに関する考察(ソフトウェアの信頼性,信頼性理論,信頼性一般)
- 位相型近似による Markov Regenerative Stochastic Petri Net の解析 (不確実性と意思決定の数理)
- 1-F-2 最適セキュリティパッチマネジメントに関する考察(信頼性(1))
- 脆弱性ライフサイクルとユーザプロファイルを考慮したソフトウェアシステムのセキュリティ評価(ソフトウェアの信頼性,信頼性理論,信頼性一般)
- An EM Algorithm for a Superposition of Markovian Arrival Processes (Theory and Application of Decision Analysis in Uncertain Situation)
- 強化学習によるUNIXワークステーションのメモリエージングに対する保全アルゴリズム(数理モデル応用)
- 強化学習によるUNIXワークステーションのメモリエージングに対する保全アルゴリズム
- 強化学習による最適チェックポイントの動的生成(信頼性(4))
- 2-E-11 時系列メトリクスに基づいたソフトウェア信頼性モデル(信頼性(2))
- オプション売買高の時間推移に関する考察
- 非同次ポアソン過程によるコンピュータウイルス増殖の統計モデル(評価モデル,ディペンダブルコンピューティング論文)
- 変分ベイズによるパラメータ相関を考慮した事後分布の近似計算
- マルチスケール解析によるソフトウェア強度関数推定法の信頼性評価への応用 (不確実性下における意思決定問題)
- マルコフ連鎖モンテカルロ法を用いた稀少事象の評価に関する一考察 (不確実性下における意思決定問題)
- ウェーブレットに基づいたソフトウェア信頼性評価に関する考察(ソフトウェアの信頼性,信頼性理論,信頼性一般)
- ソフトウェアメトリクスに基づいた信頼性評価モデル(信頼性(1))
- ソフトウェアの最適若化スケジューリングに対するノンパラメトリック予測推論 : 適応的スケジューリング
- 適応的核密度推定による最適ソフトウェア若化スケジューリング(最適化問題における確率モデルの展開と応用)
- 従属マルコフ連鎖モデルに基づいたソフトウェア安全性の評価(安全性論文小特集)
- 一般化ガンマソフトウェア信頼性モデル(VLSIシステム)
- 一般化ガンマソフトウェア信頼性モデル
- 一般ガンマ分布を適用したソフトウェア信頼性モデルのパラメータ推定(信頼性(5))
- モジュール構造をもつソフトウェアの信頼度成長モデル
- ヒストグラムに基づいた再生関数のノンパラメトリック推定 : 直接リーマンスチルチェス積分法の適用
- EMアルゴリズムに基づいたソフトウェア信頼性モデルの推定
- コスト有効性に基づいた通信ソフトウェアシステムに対する予防保全スケジュールの決定
- 一般化された発注-点検モデルについて(信頼性(2))
- EMアルゴリズムに基づいたソフトウェア信頼性モデルの推定
- コスト有効性に基づいた通信ソフトウェアシステムに対する予防保全スケジュールの決定
- コスト有効性に基づいた通信ソフトウェアシステムに対する予防保全スケジュールの決定(信頼性)
- 1-F-5 NPI-based Adaptive Software Rejuvenation Strategies under Expected Cost Criterion
- 1-B-6 潜在クラス分析に基づいた不正アクセス検知モデルの提案(情報通信(1))
- 多変量解析を用いた不正アクセス検知モデルの提案(ソフトウェアの信頼性,信頼性理論,信頼性一般)
- 統計的不正アクセス検知モデルの改良(不確実性を含む意思決定の数理とその応用)
- 2-D-5 適応的核推定に基づいた最適ソフトウェア若化スケジューリング(信頼性(4))
- 2-E-10 可変核推定法による最適ソフトウェア若化スケジューリング(信頼性(2))
- ノンパラメトリック予測推論に基づいたソフトウェアの最適若化スケジューリング : 期待費用モデル
- 少数サンプルに対する最適ソフトウェア若化スケジュールの推定(情報決定過程論の展開)
- ソフトウェアの最適若化スケジューリングに対するノンパラメトリック予測推論(ソフトウェアの信頼性,信頼性理論,信頼性一般)
- ソフトウェアの最適若化スケジューリングに対するノンパラメトリック予測推論
- 2-H-3 核型密度推定に基づいた最適ソフトウェア若化スケジュールの推定(信頼性(1))
- 1-D-8 少数サンプルに基づいた年齢取替方策の推定(信頼性(3)・システム設計)