@techreport{oai:ipsj.ixsq.nii.ac.jp:00073168,
 author = {樫山, 武浩 and 河島, 裕亮 and 井田, 章三 and 瀧本, 栄二 and 毛利, 公一 and Takehiro, Kashiyama and Yusuke, Kawashima and Shozo, Ida and Eiji, Takimoto and Koichi, Mouri},
 issue = {45},
 month = {Mar},
 note = {近年，頻発している情報漏洩の原因の多くは，誤操作や管理ミス，紛失といった正当なアクセス権限を持つユーザの過失によるものである．我々は，これらに起因する情報漏洩を防止するためのアクセス制御機構を備えたオペレーティングシステム DF-Salvia を開発してきた．DF-Salvia では，プロセスの挙動を監視し，プロセスがデータを書き出す際に，データの読み込み元のファイルに付加された保護ポリシに従って計算資源へのアクセス要求の実行可否を判定する．これにより，予め保護すべきデータが格納されるファイルにポリシを適用することで，正当なアクセス権限を持つユーザによるデータ漏洩を防止する．DF-Salvia のアクセス機構では，コンパイラにおいてプログラム解析したデータフロー情報に基づくことで，データの読み込み元のファイルを特定し，適用すべき保護ポリシを決定する．そこで，本稿では，DF-Salvia のアクセス制御のためのデータフロー情報のプログラム解析について述べる．, Recently, leak incidents of data have occurred frequently. In many cases, the factors of data leakage are as follows: taking data out illegally or unfairly, or misoperation by a user with authority to access them. We have been developing operating system DF-Salvia for the purpose of preventing data leakage which resulted from these factors. DF-Salvia monitors behavior of processes not to access computer resources which have a possibility of data leakage. When a process requests to access such resources, DF-Salvia allows the operation if it does not violate the data protection policy. The access control of DF-Salvia depends on data flow information which is obtained by program analysis. In this paper, method for analyzing the data flow information is described.},
 title = {データフロー情報に基づくアクセス制御のためのプログラム解析},
 year = {2011}
}