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

学内論文

メールで送信

宛先

件名

巻号情報

全1件
No. 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数

1

  • TR

R001983

メールで送信

宛先

件名

巻号情報へ戻る

詳細情報

刊年

2001

形態

44 p.

シリーズ名

Information Science Technical Report ; TR2001003

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

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

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

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

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

ISSN

09199527

ブックマークを編集

リストを選択

メモ

リストを選択

ブックマークに登録

リストを選択

指定なし

メモ