@techreport{oai:ipsj.ixsq.nii.ac.jp:00018977,
 author = {高須賀, 史和 and 橋本, 健二 and 石原, 靖哲 and 藤原, 融 and Fumikazu, Takasuka and Kenji, Hashimoto and Yasunori, Ishihara and Toru, Fujiwara},
 issue = {77(2006-DBS-140)},
 month = {Jul},
 note = {推論攻撃とは，ユーザが許可されている問合せとその実行結果から，許可されていない問合せの実行結果(機密情報)を推論しようとすることである．本稿では，ユーザが許可されている複数の問合せとその結果から，型推論を用いて機密情報の候補を絞り込む攻撃を考える．そしてXMLデータベースへの型推論を用いた攻撃に対する安全性を形式的に検証する手法を提案する．, 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.},
 title = {ＸＭＬデータベースへの型推論を用いた攻撃に対する安全性検証},
 year = {2006}
}