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

閲覧可能ファイル 

ファイル	フォーマット	サイズ	閲覧回数	利用開始日	説明
IEICE_J85-D-I_10_961	pdf	1.79 MB	163	2013.12.09

論文情報

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

ホームへ戻る