| 配分額 *注記 |
3,900千円 (直接経費: 3,000千円、間接経費: 900千円)
2010年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2009年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2008年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
|
|---|
| 研究概要 |
本研究では,まず,データベースへの推論攻撃に対して,「問合せ解像度の高低関係」という概念に基づく静的な安全性定義を提案した.推論攻撃とは,ユーザが,実行を許可された問合せのみを用いて,許可されていない問合せの実行結果を推論することをいう.本研究ではさらに,連言問合せを対象とし,問合せ解像度に関連するいくつかの性質を示した.また,ある前提条件のもとで,問合せ間の解像度高低関係が成立するための判定可能な必要十分条件を与えた
|
