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