束構造のセキュリティモデルに基づくプログラムの情報フロー解析
題名 | 束構造のセキュリティモデルに基づくプログラムの情報フロー解析 |
---|---|
著者 | 國信茂太, 高田喜朗, 関 浩之, 井上克郎 |
文献 | 電子情報通信学会技術研究報告、SS2000-27〜30, Vol.100, No.472, pp. 25-32, 2000. |
種類 | report / 研究会 |
日付 | 2000年11月28日 |
番号 | 319 |
学会名 | 電子情報通信学会 |
ファイル | |
備考 | 電子情報通信学会ソフトウェアサイエンス研究会、平成12年11月27日〜28日開催、於:三重厚生年金休暇センター。(奈良先端科学技術大学院大学発表分) |
引用形式 | @techreport{2000ID319, author = {, 國信茂太 and , 高田喜朗 and 関, 浩之 and , 井上克郎}, year = {2000}, month = {nov 28}, title = {束構造のセキュリティモデルに基づくプログラムの情報フロー解析}, } |