@article{oai:kutarr.kochi-tech.ac.jp:00000124,
 author = {國信, 茂太 and 高田, 喜朗 and 関, 浩之 and 井上, 克郎},
 issue = {10},
 journal = {電子情報通信学会論文誌. D, 情報・システム = The IEICE transactions on information and systems},
 month = {Oct},
 note = {本論文では，一般に再帰を含むプログラムに対して情報フローを効率良く解析する手法を示す．この手法において，データの機密度を表すセキュリティレベルは任意の有限分配束によって与えることができる．本論文では，提案する情報フロー解析法の健全性を証明し，このアルゴリズムがプログラムの記述長の3乗のオーダで実行できることを示す．更に，引数内の情報を隠すことができるような関数を適切に導入できるように，合同関係を用いてアルゴリズムを拡張する．最後に，試作システムを用いて提案アルゴリズムを実行した結果を紹介する．},
 pages = {961--973},
 title = {束構造をもつセキュリティクラスに基づく再帰的プログラムに対する情報フロー解析法},
 volume = {J85-D1},
 year = {2002}
}