Details
Title束構造をもつセキュリティクラスに基づく再帰的プログラムに対する情報フロー解析法
Authors國信茂太
 高田喜朗
 関 浩之
 井上克郎
Reference電子情報通信学会論文誌D-I, Vol.J85-D-I, No.10, pp.961-973, 2002年10月.
Typearticle
 学術論文
DateOct/17/2002
ReviewReviewed
Number381
Society name電子情報通信学会
FilesAdobe PDF Document

Back