ＸＭＬデータベースへの型推論を用いた攻撃に対する安全性検証

• Item type: SIG Technical Reports(1)
• 公開日: 2006-07-12
• タイトル: ＸＭＬデータベースへの型推論を用いた攻撃に対する安全性検証
• タイトル / 言語: en
• タイトル: Security Verification against Attacks Using Type Inference on XML Databases
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 大阪大学大学院情報科学研究科
• 著者所属: 大阪大学大学院情報科学研究科
• 著者所属: 大阪大学大学院情報科学研究科
• 著者所属: 大阪大学大学院情報科学研究科
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, Osaka University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, Osaka University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, Osaka University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science and Technology, Osaka University
• 著者名: 高須賀, 史和; 橋本, 健二; 石原, 靖哲; 藤原, 融
• 著者名(英): Fumikazu, Takasuka; Kenji, Hashimoto; Yasunori, Ishihara; Toru, Fujiwara
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 推論攻撃とは，ユーザが許可されている問合せとその実行結果から，許可されていない問合せの実行結果(機密情報)を推論しようとすることである．本稿では，ユーザが許可されている複数の問合せとその結果から，型推論を用いて機密情報の候補を絞り込む攻撃を考える．そしてXMLデータベースへの型推論を用いた攻撃に対する安全性を形式的に検証する手法を提案する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Inference attacks mean that an attacker tries to infer the execution result of a query unauthorized to the attacker (i.e., secret information) from the execution results of queries authorized to the attacker. In this manuscript, attacks using type inference are considered, where an attacker narrows the candidates for the secret information using authorized queries and their execution results. Then, a method of verifying the security against attacks using type inference on XML databases is proposed.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112482
• 書誌情報: 情報処理学会研究報告データベースシステム（DBS）; 巻 2006, 号 77(2006-DBS-140), p. 187-192, 発行日 2006-07-12
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会