文献

J-GLOBAL ID：201902218430849927   整理番号：19A1087568

情報フローパターンの非定常フロー解析【JST・京大機械翻訳】

Illegal Flow Analysis for Lattice Model of Information Flow

著者 (4件)： Wang Xuejian (中国人民解放軍信息工程大学 鄭州450001) ,  Zhao Guolei (中国人民解放軍信息工程大学 鄭州450001) ,  Chang Chaowen (中国人民解放軍信息工程大学 鄭州450001) ,  Wang Ruiyun (中国人民解放軍信息工程大学 鄭州450001)
資料名： Jisuanji Kexue  (Jisuanji Kexue)
巻： 46  号： 2  ページ： 139-144  発行年： 2019年 
JST資料番号： C2530A  ISSN： 1002-137X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： インターネットの発展とネットワーク空間地位の上昇に伴い、情報の重要性と日増しが増加している。情報セキュリティを確保するため、不正情報フローの制御は特に重要である。情報フローパターンにおける情報フローのセキュリティを分析して,モデル内部の情報フローをより良く分類するために,まず第一に,情報フローグリッドモデルを線形化し,このモデルを線形化して記述し,それを線形情報フローパターンと呼ぶ。次に、マルコフ連鎖を導入し、マルコフ連鎖の常帰態属性と瞬間態属性の確率変化を利用して、モデル内の主体とオブジェクト間の転換状態を数量化し、モデル内部の各情報フローを検出できる。さらに、モデル内部の主体とオブジェクトのそれぞれに対応する常時状態と瞬間状態の確率対比により、各情報フローのセキュリティ状態を分析し、即ち、モデル検査中に同時に二つの常時状態が現れる場合、セキュリティモデルに違反し、それによって不正情報フローの出現を招く。確率変化に同一性があるため、この方法は誤差を発生し、その検出結果に影響を与える。この不足を補うため、SPA言語を紹介し、その後、線形情報フローパターンに対してSPA言語の記述を行い、形式化中の無干渉法を採用してマルコフ連鎖モデル内の確率同一性の不足について補足的な説明を行った。最後に,隠れた不正な情報フローを検出し,誤差を含む各情報フローのセキュリティ状態を判断し,セキュリティモデルに従うが,セキュリティポリシーに違反する情報フローは,無干渉属性を満足しないと結論づけた。これは,情報フローセキュリティ検出ソフトウェアの設計とハードウェア応用にとって重要である。Data from Wanfang. Translated by JST.【JST・京大機械翻訳】

シソーラス用語： 干渉 ,  ハードウェア ,  モデル ,  モデリング ,  言語 ,  情報セキュリティ ,  インターネット ,  セキュリティ ,  Markov連鎖 ,  ソフトウェア ,  モデル検査 ,  *流れ分布 ,  線形性 ,  干渉測定
準シソーラス用語： セキュリティポリシー ,  *情報フロー , 【Automatic Indexing@JST】

分類 (2件)： 人工知能  (JE08000Z) ,  計算機網  (JC03000K)

タイトルに関連する用語 (4件)： 情報フロー ,  非定常 ,  フロー ,  解析