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

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

このアイテムのアクセス数:31件（2018-10-22 03:34 集計）

このアイテムへのリンクには次のURLをご利用ください:http://hdl.handle.net/11094/26713

閲覧可能ファイル

ファイル	フォーマット	サイズ	閲覧回数	説明
itr102_246_19	pdf	728 KB	21

論文情報

タイトル	プログラム依存グラフを利用した情報漏洩解析手法の提案と実装
別タイトル	A proposal and implementation of the information leak analysis using program dependence graph
タイトル (ヨミ)	プログラム　イゾン　グラフ　ヲ　リヨウ　シタ　ジョウホウ　ロウエイ　カイセキ　シュホウ　ノ　テイアン　ト　ジッソウ
著者	西, 秀雄西, 秀雄
	横森, 励士横森, 励士
	井上, 克郎井上, 克郎
著者の別表記	Nishi, Hideo
	Yokomori, Reishi
	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
ISSN	09135685
NCID	AN10013287
URL	http://hdl.handle.net/11094/26713
権利情報	Copyright © 2002 IEICE
権利情報	本文データはCiNiiから複製したものである
言語	日本語

著者版フラグ	publisher
NII資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
dcmi資源タイプ	text
DCTERMS.bibliographicCitation	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス.102(246) P.19-P.24
DC.title	プログラム依存グラフを利用した情報漏洩解析手法の提案と実装
DCTERMS.alternative	A proposal and implementation of the information leak analysis using program dependence graph
DC.creator	西, 秀雄
	横森, 励士
	井上, 克郎
DC.creator	Nishi, Hideo
	Yokomori, Reishi
	Inoue, Katsuro
DC.publisher	電子情報通信学会
DC.language" scheme="DCTERMS.RFC1766	日本語
DCTERMS.issued" scheme="DCTERMS.W3CDTF	2002-07-19
DC.identifier" scheme="DCTERMS.URI	http://hdl.handle.net/11094/26713
DC.subject	プログラム依存グラフ
	セキュリティクラス
	情報フロー
	情報漏洩解析
	program dependence graph
	security class
	information flow
	information leak analysis
DCTERMS.abstract	情報漏洩解析とは, 重要な情報を扱うプログラムが情報の漏洩を引き起こさないかどうか確認するための手法である. プログラムの入力値に設定された機密度から出力値の機密度を求める情報漏洩解析が提案, 実現されている. 一方で, プログラム依存グラフと呼ばれるプログラム内の文間の依存関係を有向辺で表現したグラフが, プログラム構造解析の分野において利用されている. 既存の情報漏洩解析手法では, 解析時に繰り返し計算を行うため, 様々な機密度を入力値に与えて再計算を行うときに解析の時間的コストが問題となる. そこで本研究では, プログラム依存グラフを利用した情報漏洩解析手法の提案を行う. さらに, 束構造を持つセキュリティモデルに対する情報漏洩解析の実現方法を提案する. また, システムを試作し, 適用事例を通じてその有効性を検証する.
DCTERMS.abstract	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.
DC.rights	Copyright © 2002 IEICE
DC.rights	本文データはCiNiiから複製したものである
citation_title	プログラム依存グラフを利用した情報漏洩解析手法の提案と実装
citation_author	西, 秀雄
	横森, 励士
	井上, 克郎
citation_publisher	電子情報通信学会
citation_language	日本語
citation_date	2002-07-19
citation_journal_title	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
citation_volume	102
citation_issue	246
citation_firstpage	19
citation_lastpage	24
citation_issn	09135685
citation_public_url	http://hdl.handle.net/11094/26713
citation_keywords	プログラム依存グラフ
	セキュリティクラス
	情報フロー
	情報漏洩解析
	program dependence graph
	security class
	information flow
	information leak analysis

閲覧可能ファイル

論文情報

論文詳細を表示