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