• Top
  • Details (Local collection)
Security verification of programs with stack inspection

Security verification of programs with stack inspection

Naoya Nitta

生駒 : 奈良先端科学技術大学院大学, 2002.3

Thesis / Diss.

Volume No.

Total: 2
No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

R002116

2

  • [IS]2002

Restricted

No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

  • Abstract

R004573

Details

Publication year

2002

Alternative title

スタック検査機能を持つプログラムに対するセキュリティ検証

Series title

奈良先端科学技術大学院大学情報科学研究科博士論文 ; 2002年3月

Note

学位記番号: 博第241号

報告番号: 甲第241号

授与年月日: 2002/03/22

学位の種類: 博士(工学)

Country of publication

Japan

Title language

English (eng)

Language of texts

English (eng)

Author information

新田, 直也 (ニッタ, ナオヤ)

Subject

access control

security verification

stack inspection

Java

indexed language