• Top
  • Details (Local collection)
Dicidability and complexity of the security verification problem for programs with stack inspection

Dicidability and complexity of the security verification problem for programs with stack inspection

Naoya Nitta, Satoshi Ikada, Yoshiaki Takata, and Hiroyuki Seki

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

In-house publ.

Send by email

Address

Subject

Volume No.

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

1

  • TR

R001983

Send by email

Address

Subject

Back to volume top

Details

Publication year

2001

Form

44 p.

Series title

Information Science Technical Report ; TR2001003

Country of publication

Japan

Title language

English (eng)

Language of texts

English (eng)

Author information

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

伊加田, 恵志 (イカダ, サトシ)

高田, 喜朗 (タカタ, ヨシアキ)

関, 浩之 (セキ, ヒロユキ)

ISSN

09199527

Edit bookmark

Select list

Memo

Select list

Add to bookmark

Select list

Not specified

Memo