@article{sel381,
author = {國信茂太 and 高田喜朗 and 関 浩之 and 井上克郎},
title = {束構造をもつセキュリティクラスに基づく再帰的プログラムに対する情報フロー解析法},
journal = {電子情報通信学会論文誌D-I, Vol.J85-D-I, No.10, pp.961-973, 2002年10月.},
year = 2002,
month = oct,
}
| Details | |
|---|---|
| Title | 束構造をもつセキュリティクラスに基づく再帰的プログラムに対する情報フロー解析法 |
| Authors | 國信茂太 |
| 高田喜朗 | |
| 関 浩之 | |
| 井上克郎 | |
| Bibliography | 電子情報通信学会論文誌D-I, Vol.J85-D-I, No.10, pp.961-973, 2002年10月. |
| Type | Paper |
| Date | October 17, 2002 |
| Review | Reviewed |
| Number | 381 |
| Society Name | 電子情報通信学会 |
| Files | |
| BibTeX | @article{sel381,
author = {國信茂太 and 高田喜朗 and 関 浩之 and 井上克郎},
title = {束構造をもつセキュリティクラスに基づく再帰的プログラムに対する情報フロー解析法},
journal = {電子情報通信学会論文誌D-I, Vol.J85-D-I, No.10, pp.961-973, 2002年10月.},
year = 2002,
month = oct,
}
|