Naoya Nitta
生駒 : 奈良先端科学技術大学院大学, 2002.3
1
R002116
2
禁帯出
R004573
2002
スタック検査機能を持つプログラムに対するセキュリティ検証
奈良先端科学技術大学院大学情報科学研究科博士論文 ; 2002年3月
学位記番号: 博第241号
報告番号: 甲第241号
授与年月日: 2002/03/22
学位の種類: 博士(工学)
英語 (eng)
新田, 直也 (ニッタ, ナオヤ)
access control
security verification
stack inspection
Java
indexed language
access controlsecurity verificationstack inspectionJavaindexed language