詳細
題名束構造のセキュリティモデルに基づくプログラムの情報フロー解析
著者國信茂太
 高田喜朗
 関 浩之
 井上克郎
  
文献電子情報通信学会技術研究報告、SS2000-27〜30, Vol.100, No.472, pp. 25-32, 2000.
種類report
 研究会
日付2000/11/28
備考電子情報通信学会ソフトウェアサイエンス研究会、平成12年11月27日〜28日開催、於:三重厚生年金休暇センター。(奈良先端科学技術大学院大学発表分)
番号319
学会名電子情報通信学会
ファイル

戻る