FTAによる内的セキュリティシステムのための知識表現
スポンサーリンク
概要
- 論文の詳細を見る
計算機システムの正規の利用者による過失や背信行為によるセキュリティ問題を内的セキュリティ問題と呼ぶ.特にシステム管理者によるものはシステムに致命的な損害をもたらすが、未着手のままである.筆者らはこの問題を解決するための内的セキュリティシステムの構築を目指し,管理作業から人間の介在を排除することで管理者による内的セキュリティ問題を解決する管理作業自動化システムを提案する.必要な管理対象についての知識表現はFault Tree Analysis(FTA)から得る.そして得られた知識表現を用いて管理作業を行う手法とその実例を挙げ,提案手法の有用性を示す.
- 社団法人電子情報通信学会の論文
- 2002-10-04
著者
関連論文
- 個人に対する排他的な情報提示システムに関する考察(知的財産関係,一般)
- 4H-SiC(0001)面の高能率研削
- 経路ベース木構造による主幹・側幹分岐型動脈の三次元構造の表現(画像認識,コンピュータビジョン)
- MF142 認知症予防を目的とする共想法における会話活性度の解析と評価(MF14 情報・コミュニケーション支援,あたり前のことを知る)
- パッシブリンク機構を有する車輪式移動機構の性能向上
- A-4-24 特徴量選択機能を付加した決定木によるタンパク質結晶化状態判定(A-4.信号処理,基礎・境界)
- 歯科用セラミックス機能性材料の研削特性
- 動脈グラフの閉路の真偽判定法(生体工学)
- 多重蛍光の定量的分析のための独立成分分析による線形性評価に関する研究(生体工学)
- WWWを活用したCALシステムの構想と試み
- 内的セキュリティ問題の観点に基づくインシデント事例の分類に関する考察(知的財産関係)
- 生体フルカラー連続断面画像からの組織抽出法の検討 : ウマ卵巣内構造物の可視化
- A-1-14 OLDAによる生体連続断面画像からの関心組織の自動抽出(A-1.回路とシステム,基礎・境界)
- 枝ベースの木構造による血管形状の数値化の試み
- 逆畳み込み演算による3D-ISMフルカラー連続断面画像からの下層透過成分除去の試み
- 血管の3次元形状の数値化に向けた閉路検出による特徴量抽出の試み
- ウマ卵巣内における卵胞配置の可視化の試み : 奇蹄目に特異的な卵巣構造の解明
- フルカラー生体連続断面画像からの自動組織抽出法の検討 : 統計的手法を用いたウマ卵巣からの卵胞自動抽出の試み(領域抽出及び関連技術)(関連学会との共催によるバイオメディカルイメージング連合フォーラム)
- 生体フルカラー連続断面画像からの関心組織領域の自動抽出法 : 第一報 : 関心領域の四段階選別
- 内的セキュリティ問題に対する自動管理システムのための知識の定式化(パラレル,インターネットと情報倫理教育,一般)
- 内的セキュリティ問題に対する自動管理システムのための知識の定式化(パラレル,インターネットと情報倫理教育,一般)
- 内的セキュリティ問題に対する自動管理システムのための知識の定式化(パラレル,インターネットと情報倫理教育,一般)
- G-基底によるU-終結式の構成(数式処理と数学研究への応用)
- Grobner Basis of a Module over K[x$_1$,...,x$_n$] and Polynomial Solutions of a System of Linear Equations
- GROBNER BASIS OF IDEAL OF CONVERGENT POWER SERIES
- 一般消去法による方程式の解法と実例(数式処理と数学研究への応用)
- 単因子の計算法(数式処理と数学研究への応用)
- Grobner-Basisとその応用(数式処理と数学研究への応用)
- A-2-5 タブーサーチのタンパク質結晶化状態判別への応用(A-2.非線形問題,基礎・境界)
- 1V-2 学習段階に応じた閾値による多目的一括強化学習法の改良(学習・推論,学生セッション,人工知能と認知科学)
- 1V-1 重み空間の逐次分割にもとづく多目的一括強化学習法(学習・推論,学生セッション,人工知能と認知科学)
- LF-002 価値関数族の区間推定を用いた多目的強化学習法(人工知能・ゲーム)
- 荷重報酬和モデルで表されるタスク族に対する一括強化学習法
- P2Pシステムにおける効果的なコンテンツ複製配置のためのローカル学習
- A-2-10 無限通りのタスク群に対する並行強化学習(A-2.非線形問題,基礎・境界)
- 2P1-S-020 段差適応型ホロノミック全方向移動ロボットの開発 : 第9報:段差乗り越え走行を考慮した車輪制御速度決定手法の開発(車輪移動ロボット4,生活を支援するロボメカ技術のメガインテグレーション)
- 2P1-N-034 線分抽出に基づいたタンパク質の結晶化状態判定(マシンビジョンと外観検査,生活を支援するロボメカ技術のメガインテグレーション)
- 1M-1 ホモトピー法への一次分数変換の適用法について
- 大学における事務ネットワークセキュリティについて
- 隠れマルコフモデルによる歩行パターンからの目的地推定 : 累積判別率による評価(テーマセッション(4),ユビキタス情報社会と複合現実感のためのパターン認識・メディア理解)
- FTAによる内的セキュリティシステムのための知識表現
- 管理者支援システムに関する考察
- A-6-4 半自動証明系Isabelleにおける証明過程の再利用について(A-6.情報理論,一般講演)
- Presentation Hensel's Lemma in Isabelle/HOL(Computer Algebra : Design of Algorithms, Implementations and Applications)
- F_018 Constructing and Using a Web Service to Find Theorems
- F-028 The Implementation of a Proof Search System for Isabelle
- Formalization of the valuation theory (Algebra, Languages and Computation)
- A-014 グリッドコンピューティングを用いた連立代数方程式の解法 : 根の振る舞いの解析に向けて(A.モデル・アルゴリズム・プログラミング)
- ホモトピー法のパラメータに一次分数変換を適用した近接根問題の解法について(アルゴリズム理論)
- A Relation between a Group and a Ring (Computer Algebra : Algorithms, Implementations and Applications)
- A Machine Proof of the Proposition : "Ideal $\subseteq \cup_i$ PrimeIdeal$_i$ $\Rightarrow$ Ideal $\subseteq$ PrimeIdeal$_i$" (Computer Algebra : Algorithms, Implementations and Applications)
- "Ring Story"再考 : トレンド,エヴォリューション,そして計画
- 一次分数変換を利用した連立代数方程式の近接根の分離と擬局所化における誤差について
- 連立代数方程式の数値解法における一次分数変換の新たな適用について
- 連立代数方程式の減次の可能性について(数式処理における理論と応用の研究)
- 連立代数方程式の擬局所化の過程で生じる誤差についての報告
- 連立代数方程式の擬局所化の過程で生じる誤差について
- 連立代数方程式の近接根の分離と擬局所化の可能性について(数式処理における理論と応用の研究)
- 一次分数変換を利用した近接根の分離方法とその誤差について
- 一次分数変換を利用した連立代数方程式の高精度計算法
- 1次分数変換を利用した1変数代数方程式の近接根の分離
- ロバスト統計に基づいた適応的な背景推定法
- 擬モーメント特徴量を用いたアクティブカメラの回転推定
- D-8-11 Isabelleでの所属関係の自動証明の実現について(D-8. 人工知能と知識処理,一般セッション)
- 分散データベースを用いたIDSの構築
- 特殊関数のデータ・ベース化について(数式処理における理論とその応用の研究)
- On Solving the Initial Problem of LR Arrays
- 分数変換による近接根の分離について(数式処理における理論とその応用の研究)
- Some Computations over Successive Algebraic Extension Fields
- 連立代数方程式の解の重複度(精度保証付き数値計算法とその応用)
- 記号行列式の一階微分の評価法
- ネータの正規化定理について(数式処理と数学研究への応用)
- 連立代数方程式の解の重複度(非線形問題の数値解析)
- Zeuthen's Rule について(数式処理と数学研究への応用)
- 国際数式記号処理学会議(ISSAC-90)への呼掛け(数式処理と数学研究への応用)
- 連立代数方程式について(数式処理と数学研究への応用)
- 多変数連立代数方程式の解法 (数式処理)
- 連立代数方程式のある種の解法について : 代数的・数値的算法による全解構成法(数式処理と数学研究への応用)
- Weierstrass Points on Curves of Fermat Type
- [特別講演]高等教育機関におけるネットワーク運用ガイドライン第一版の制定経緯について
- 大きさの変化に不変な顔と顔以外の対象の識別法
- 部分と全体のマッチングによる屋外環境下における対象物の検出
- 2A1-A11 認知症を予防する共想法の提案と介護予防施設における実施(移動知)
- An automated reasoning system based on isabelle/HOL (Algebras, Languages, Algorithms and Computations)
- 2A1-B05 タンパク質結晶成長状態評価システムの開発 : 自動評価処理のためのソフトウェア構築
- 1A2-D03 分散染色法によるアスベスト定性分析作業支援のための偏光顕微鏡画像管理システムの開発
- 1A2-C16 アスベスト定性分析支援の為のアスベスト結晶検出画像処理 : 分散色変化を利用したアスベスト結晶計数法
- 1A1-D06 周波数解析による顕微鏡画像からのアスベスト結晶検出手法
- 2P1-B06 アスベスト定性分析支援の為の粒子検出画像処理 : 背景色分散を用いた粒子抽出(建設・解体ロボット・メカトロニクス)
- 2P1-A24 アスベスト定性分析のための顕微鏡自動観察装置の開発(エコ・ロボティクス・メカトロニクス)
- 2A1-A12 共想法支援システムの開発と高齢者による評価(移動知)
- 2P1-C10 隠れマルコフモデルによる歩行パターンからの目的地推定 : 推定結果評価手法の検討(ロボットビジョン)
- 2P1-C09 動画像における移動物体抽出のための相関分析による影領域判定手法とその評価に関する研究(ロボットビジョン)
- A Rule Selection Method for Automated Reasoning (Algebraic Systems and Theoretical Computer Science)
- An analysis of the Bernstein's theorem for an automated prover (Algebra and Computer Science)
- 2C1-2 ふわふわディスプレイの開発(知的インタフェース)