A Formal Approach to Detecting Security Flaws in Object-Oriented Database Schemas

• Material Type: 文書・図像類
• Title: A Formal Approach to Detecting Security Flaws in Object-Oriented Database Schemas
• Author/Editor: Morita, Toshiyuki; Ishihara, Yasunori; Ito, Minoru
• Author Heading: Morita, Toshiyuki; Ishihara, Yasunori; Ito, Minoru
• Publication, Distribution, etc.: Nara Institute of Science and Technology
• Publication Date: 1998-06
• Publication Date (W3CDTF): 1998-06
• Periodical title: Information Science Technical Report
• No. or year of volume/issue: TR98007
• Issue: TR98007
• ISSN (Periodical Title): ISSN : 0919-9527
• Text Language Code: eng
• Target Audience: 一般
• Format (IMT): application/pdf
• Source: fulltext （fulltext）; https://naist.repo.nii.ac.jp/record/8797/files/R000667.pdf
• Access Restrictions: インターネット公開
• Periodical Title: URI; http://isw3.naist.jp/IS/TechReport/
• Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• Original Data Provider (Database): 奈良先端科学技術大学院大学 : 奈良先端科学技術大学院大学学術リポジトリnaistar

• Summary, etc.: Detecting security flaws is important in order to keep the database secure. A security flaw in object-oriented databases means that a user can infer t...