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

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