詳細
題名	束構造をもつセキュリティクラスに基づく再帰的プログラムに対する情報フロー解析法
著者	國信茂太
	高田喜朗
	関 浩之
	井上克郎
文献	電子情報通信学会論文誌D-I, Vol.J85-D-I, No.10, pp.961-973, 2002年10月.
種類	article
	学術論文
日付	2002/10/17
査読	査読付き
番号	381
学会名	電子情報通信学会
ファイル

戻る