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

• Material Type: 文書・図像類
• Title: Dicidability and complexity of the security verification problem for programs with stack inspection
• Author/Editor: Nitta, Naoya; Ikada, Satoshi; Takata, Yoshiaki; Seki, Hiroyuki
• Author Heading: Nitta, Naoya; Ikada, Satoshi; Takata, Yoshiaki; Seki, Hiroyuki
• Publication, Distribution, etc.: Nara Institute of Science and Technology
• Publication Date: 2001-03
• Publication Date (W3CDTF): 2001-03
• Periodical title: Information Science Technical Report
• No. or year of volume/issue: TR2001003
• Issue: TR2001003
• ISSN (Periodical Title): ISSN : 0919-9527
• Text Language Code: eng
• Target Audience: 一般
• Access Restrictions: インターネット公開
• Periodical Title (URI): URI; http://isw3.naist.jp/IS/TechReport/
• Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• Original Data Provider (Database): 奈良先端科学技術大学院大学 : 奈良先端科学技術大学院大学学術リポジトリnaistar

• Summary, etc.: Java development kit 1.2 provides a runtime access control mechanism which inspects a control stack to examine whether the program has appropriate acc...