束構造をもつセキュリティクラスに基づく再帰的プログラムに対する情報フロー解析法

國信, 茂太; 高田, 喜朗; 関, 浩之; 井上, 克郎

このアイテムのアクセス数:103件（2022-05-25 12:26 集計）

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

閲覧可能ファイル

ファイル	フォーマット	サイズ	閲覧回数	説明
IEICE_J85-D-I_10_961	pdf	1.79 MB	144

論文情報

タイトル	束構造をもつセキュリティクラスに基づく再帰的プログラムに対する情報フロー解析法
別タイトル	An Information Flow Analysis of Recursive Programs Based on a Lattice Model of Security Classes
タイトル (ヨミ)	タバ　コウゾウ　ヲ　モツ　セキュリティ　クラス　二　モトヅク　サイキテキ　プログラム　二　タイスル　ジョウホウ　フロー　カイセキホウ
著者	國信, 茂太國信, 茂太
	高田, 喜朗高田, 喜朗
	関, 浩之関, 浩之
	井上, 克郎井上, 克郎
著者の別表記	Kuninobu, Shigeta
	Takata, Yoshiaki
	Seki, Hiroyuki
	Inoue, Katsuro
著者 (ヨミ)	クニノブ, シゲタ
	タカタ, ヨシアキ
	セキ, ヒロユキ
	イノウエ, カツロウ
キーワード等	情報フロー解析
	セキュリティクラス (SC)
	不動点計算
抄録	本論文では，一般に再帰を含むプログラムに対して情報フローを効率良く解析する手法を示す．この手法において，データの機密度を表すセキュリティレベルは任意の有限分配束によって与えることができる．本論文では，提案する情報フロー解析法の健全性を証明し，このアルゴリズムがプログラムの記述長の3乗のオーダで実行できることを示す．更に，引数内の情報を隠すことができるような関数を適切に導入できるように，合同関係を用いてアルゴリズムを拡張する．最後に，試作システムを用いて提案アルゴリズムを実行した結果を紹介する。
公開者	電子情報通信学会
公開者の別表記	The Institute of Electronics, Information and Communication Engineers
公開者 (ヨミ)	デンシ　ジョウホウ　ツウシン　ガッカイ
掲載誌名	電子情報通信学会論文誌D-I
巻	J85-D-I
号	10
開始ページ	961
終了ページ	973
刊行年月	2002-10-01
ISSN	09151915
NCID	AA11341020
URL	http://hdl.handle.net/11094/26449
関連情報 (references)	http://search.ieice.org/
権利情報	copyright©2002 IEICE
言語	日本語
カテゴリ	学術雑誌論文 Journal Article

著者版フラグ	publisher
NII資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
dcmi資源タイプ	text
DCTERMS.bibliographicCitation	電子情報通信学会論文誌D-I.J85-D-I(10) P.961-P.973
DC.title	束構造をもつセキュリティクラスに基づく再帰的プログラムに対する情報フロー解析法
DCTERMS.alternative	An Information Flow Analysis of Recursive Programs Based on a Lattice Model of Security Classes
DC.creator	國信, 茂太
	高田, 喜朗
	関, 浩之
	井上, 克郎
DC.creator	Kuninobu, Shigeta
	Takata, Yoshiaki
	Seki, Hiroyuki
	Inoue, Katsuro
DC.publisher	電子情報通信学会
DC.language" scheme="DCTERMS.RFC1766	日本語
DCTERMS.issued" scheme="DCTERMS.W3CDTF	2002-10-01
DC.identifier" scheme="DCTERMS.URI	http://hdl.handle.net/11094/26449
DC.subject	情報フロー解析
	セキュリティクラス (SC)
	不動点計算
DCTERMS.abstract	本論文では，一般に再帰を含むプログラムに対して情報フローを効率良く解析する手法を示す．この手法において，データの機密度を表すセキュリティレベルは任意の有限分配束によって与えることができる．本論文では，提案する情報フロー解析法の健全性を証明し，このアルゴリズムがプログラムの記述長の3乗のオーダで実行できることを示す．更に，引数内の情報を隠すことができるような関数を適切に導入できるように，合同関係を用いてアルゴリズムを拡張する．最後に，試作システムを用いて提案アルゴリズムを実行した結果を紹介する。
DC.rights	copyright©2002 IEICE
citation_title	束構造をもつセキュリティクラスに基づく再帰的プログラムに対する情報フロー解析法
citation_author	國信, 茂太
	高田, 喜朗
	関, 浩之
	井上, 克郎
citation_publisher	電子情報通信学会
citation_language	日本語
citation_date	2002-10-01
citation_journal_title	電子情報通信学会論文誌D-I
citation_volume	J85-D-I
citation_issue	10
citation_firstpage	961
citation_lastpage	973
citation_issn	09151915
citation_public_url	http://hdl.handle.net/11094/26449
citation_keywords	情報フロー解析
	セキュリティクラス (SC)
	不動点計算

閲覧可能ファイル

論文情報

論文詳細を表示