プログラム依存グラフを利用した情報漏洩解析手法の提案と実装

西, 秀雄; 横森, 励士; 井上, 克郎

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 2002, 102(246), 19-24

アクセス数:377件（2025-07-01 14:38 集計）

固定URL: https://hdl.handle.net/11094/26713

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明 information
itr102_246_19 pdf なし 728 KB 68 2014.02.03  

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル
プログラム依存グラフを利用した情報漏洩解析手法の提案と実装
A proposal and implementation of the information leak analysis using program dependence graph
プログラム　イゾン　グラフ　ヲ　リヨウ　シタ　ジョウホウ　ロウエイ　カイセキ　シュホウ　ノ　テイアン　ト　ジッソウ
著者
著者名
西, 秀雄 ; ニシ, ヒデオ ; Nishi, Hideo
NRID
1000040379152 1000040379152
著者名
横森, 励士 ; ヨコモリ, レイシ ; Yokomori, Reishi
NRID
1000020168438 1000020168438
著者名
井上, 克郎 ; イノウエ, カツロウ ; Inoue, Katsuro
キーワード等
プログラム依存グラフ
セキュリティクラス
情報フロー
情報漏洩解析
program dependence graph
security class
information flow
information leak analysis
抄録
情報漏洩解析とは, 重要な情報を扱うプログラムが情報の漏洩を引き起こさないかどうか確認するための手法である. プログラムの入力値に設定された機密度から出力値の機密度を求める情報漏洩解析が提案, 実現されている. 一方で, プログラム依存グラフと呼ばれるプログラム内の文間の依存関係を有向辺で表現したグラフが, プログラム構造解析の分野において利用されている. 既存の情報漏洩解析手法では, 解析時に繰り返し計算を行うため, 様々な機密度を入力値に与えて再計算を行うときに解析の時間的コストが問題となる. そこで本研究では, プログラム依存グラフを利用した情報漏洩解析手法の提案を行う. さらに, 束構造を持つセキュリティモデルに対する情報漏洩解析の実現方法を提案する. また, システムを試作し, 適用事例を通じてその有効性を検証する.
Information leak analysis is a mechanism which investigates information leakage from program data to the outside of the system, and the method which provides a secrecy level for each output of the program with respect to a given secrecy level for each input. On the other hand, a program dependence graph which represents dependency relations in the program is used in program slicing. The existing information leak analysis calculates by repetition calculation of the analysis in a procedure unit, so it takes many times to re-compute a program giving the various secrecy levels to input values. In this paper, we propose the realization method of the information leak analysis which uses program dependence graph with a lattice model. Moreover, we actually implement this system and confirme our approach.
出版者
電子情報通信学会
The Institute of Electronics, Information and Communication Engineers
デンシ　ジョウホウ　ツウシン　ガッカイ
収録物名
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
巻(号)
102(246)
ページ
19-24
刊行年月
2002-07-19
言語
日本語
ハンドルURL
https://hdl.handle.net/11094/26713
PISSN
09135685
NCID
AN10013287
アクセス権
open access
権利情報
Copyright © 2002 IEICE
本文データはCiNiiから複製したものである
出版タイプ
Version of Record
カテゴリ
学術雑誌論文 Journal Article