タバコウゾウ オ モツ セキュリティ クラス ニ モトヅク プログラム ノ ジョウホウ フロー カイセキ
國信茂太
生駒 : 奈良先端科学技術大学院大学, 2001.3
1
R001745
2
禁帯出
2001
奈良先端科学技術大学院大学情報科学研究科修士論文 ; 2001年3月
学位記番号: 修第1473号
授与年月日: 2001/03/23
学位の種類: 修士(工学)
学生番号: 9951037
日本語 (jpn)
國信, 茂太 (クニノブ, シゲタ)
情報フロー解析
セキュリティクラス
不動点計算
健全性
情報フロー解析セキュリティクラス不動点計算健全性
