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

國信, 茂太; 高田, 喜朗; 関, 浩之 他

電子情報通信学会論文誌D-I, 2002, J85-D-I(10), 961-973

アクセス数:565件（2025-07-06 06:58 集計）

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

閲覧可能ファイル 

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

論文情報

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

タイトル
束構造をもつセキュリティクラスに基づく再帰的プログラムに対する情報フロー解析法
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
PISSN
09151915
NCID
AA11341020
関連情報 (references)
URI
http://search.ieice.org/
アクセス権
open access
権利情報
copyright©2002 IEICE
出版タイプ
Version of Record
カテゴリ
学術雑誌論文 Journal Article