コンパイラとOSの連携によるデータフロー間伝播解析

• Item type: Symposium(1)
• 公開日: 2011-10-12
• タイトル: コンパイラとOSの連携によるデータフロー間伝播解析
• タイトル / 言語: en
• タイトル: Analysis of Data Spread between Data Flows in Cooperation with Compiler and OS
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: OS・仮想化
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_5794
• 資源タイプ: conference paper
• 著者所属: 立命館大学グローバル・イノベーション研究機構
• 著者所属: 立命館大学情報理工学部
• 著者所属: 立命館大学情報理工学部
• 著者所属(英): en
• 著者所属(英): Ritsumeikan University
• 著者所属(英): en
• 著者所属(英): Ritsumeikan University
• 著者所属(英): en
• 著者所属(英): Ritsumeikan University
• 著者名: 樫山, 武浩; 瀧本, 栄二; 毛利, 公一
• 著者名(英): Takehiro, Kashiyama; Eiji, Takimoto; Koichi, Mouri
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 情報漏洩を防止するために，データフローを主体としたアクセス制御を実現するセキュアOSの開発を行っている．これまで，セキュアOSでは，コンパイラにおいて静的解析したデータフロー情報に基づいて，プロセス内における保護データの使用を監視してきた．本稿では，変数間の代入や関数呼出しによって発生するデータフロー間のデータ伝播を動的に解析する手法を提案する．本手法では，実行時情報をもとに，データフロー間の結合状態を動的に決定することにより，変数間や関数を跨ぐ広域なデータフローを細粒度に解析することが可能となる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: We have been developing operating system DF-Salvia which provides mandatory access control based on data flow for the purpose of preventing data leakage. DF-Salvia observes behavior of processes based on data flow information analyzed in compiler. In this paper, method for analyzing data spread between data flows dynamically is described. The proposed method decides bonding state between data flows according to the running state. As a result, it becomes possible for wide-area data flow that steps over variable and functions to be analyzed.
• 書誌情報: コンピュータセキュリティシンポジウム2011 論文集; 巻 2011, 号 3, p. 768-773, 発行日 2011-10-12
• 出版者 / 言語: ja
• 出版者: 情報処理学会