オブジェクト指向データベースにおける推論攻撃不可能性の逐次的検査法
スポンサーリンク
概要
- 論文の詳細を見る
データベースの安全性を維持するためには推論攻撃の可能性を検出することが重要である.推論攻撃とは, 許可された問い合わせの実行結果を用いて, 許可されてない問い合わせの実行結果を得ようと試みることである.オブジェクト指向データベースでは, 推論攻撃に対する安全性検査はデータベースのサイズの多項式時間で行えることがわかっている.しかし, データベースインスタンスやアクセス権が一部更新されたときに最初から安全性検査をやり直すのは非効率的である.本稿では, オブジェクト間の到達可能性という概念を導入し, それを用いてデータベースの更新が安全性を保存するための十分条件を求め, それに基づいた逐次的検査法を提案する.データベースがある条件を満たす場合は提案手法は従来法より効率よく安全性を判定できる.
- 社団法人電子情報通信学会の論文
- 2000-03-16
著者
-
石原 靖哲
大阪大学大学院情報科学研究科
-
藤原 融
大阪大学 大学院情報科学研究科
-
森 健吾
大阪大学 大学院基礎工学研究科 情報数理系
-
石原 靖哲
大阪大学 大学院基礎工学研究科 情報数理系
-
藤原 融
大阪大学 大学院基礎工学研究科情報数理系専攻
関連論文
- 公理的安全性の枠組みにおける汎用的結合可能な相互認証と鍵交換の記号的安全性(理論)
- 静止画の輝度値または周波数領域へ透かし情報を埋め込む形式の電子透かしに対するJPEG圧縮攻撃に関する性能評価と考察(フレッシュマンセッション,フレッシュマンセッション,一般)
- 誤り訂正符号の性能評価(情報通信基礎サブソサイエティ合同研究会)
- ユーザ指定関係に基づいた情報保存を満たすXMLスキーマ進化
- 画素空間へのパッチワーク法と相関型電子透かし法の検出誤り確率の比較(情報セキュリティ応用)
- 評価者間類似度を用いた不正評価排除によるレピュテーションシステムの性能向上(セッション4:コミュニティ(1))
- ネットワーク符号化におけるリード・ソロモン型符号の距離分布について(一般セッション,フレッシュマンセッション,一般)
- BS-5-6 カルテ情報自己管理のための墨塗り署名(BS-5. ネットワークサービスのセキュリティ技術の展開,シンポジウムセッション)
- 最小距離の半分の重みをもつ訂正不可能誤りの数の下界(情報通信基礎サブソサイエティ合同研究会)
- コンテンツ事前配信のための匿名フィンガープリンティング
- 木埋め込み関係に基づくXMLスキーマ進化に応じたXPath問合せ変換(夏のデータベースワークショップ2007(データ工学,一般))
- 木の埋め込み関係に基づくXMLスキーマ進化に応じた文書変換器の生成法(夏のデータベースワークショップ2007(データ工学,一般))
- 木埋め込み関係に基づくXMLスキーマ進化に応じたXPath問合せ変換(XML (1),夏のデータベースワークショップ2007(データ工学,一般))
- 木の埋め込み関係に基づくXMLスキーマ進化に応じた文書変換器の生成法(XML (1),夏のデータベースワークショップ2007(データ工学,一般))
- XMLデータベースにおけるスキーマ進化のための更新操作群とそれらのスキーマ表現能力保存に関する性質(基礎理論,フォーマルアプローチ論文)
- XMLデータベースへの型推論を用いた攻撃に対する安全性検証(XML,夏のデータベースワークショップDBWS 2006)
- XMLデータベースへの型推論を用いた攻撃に対する安全性検証(XML)
- 楕円曲線上のペアリングを用いた分離不能多重化通信方式
- 代数的仕様からのドュメント自動生成について
- 抽象的順序機械型代数的仕様からのドキュメント生成システム
- 抽象的順序機械型代数的仕様からのドキュメント生成システムの試作
- XMLデータベースへの推論攻撃による機密情報特定可能性の形式化とある前提条件のもとでの特定可能性検証法の提案
- XMLデｰタベｰスにおける表現能力を保存したスキｰマ更新操作
- XMLデータベースにおける表現能力を保存したスキーマ更新操作(Web,XML,文書検索)(データ工学,ディペンダビリティ,一般)
- XMLデータのスキーマ統合のための枠組の提案
- 異なる構造を持つXMLデータを統合するための構造間の関係について(実空間とサイバースペースの融合 : 感性, データベース, ロボティクスおよび一般)
- 関連性の高いアイテム集合のマイニングに要する計算量
- 検索および再帰なし無閉路スキーマに対する型検査問題の計算量
- オブジェクト指向データベースにおける推論攻撃不可能性の逐次的検査法
- 評価者間類似度計算の改善による汚染コンテンツダウンロード抑制効果向上
- The validity problem of positive XPath queries in the presence of DTDs (ソフトウェアサイエンス)
- 自然語仕様から代数的仕様への変換における表現式の構文規則の生成
- メソッドスキーマにおける型整合性の解析アルゴリズム
- メソッドスキーマの型整合性の十分条件
- 自然語仕様から代数的仕様への変換における辞書項目生成の支援
- 通信プロトコルの自然語仕様から代数的仕様への変換における文章間の依存関係の解析
- 最小距離の半分の重みをもつ訂正不可能誤りの数の下界(情報通信基礎サブソサイエティ合同研究会)
- 最小距離の半分の重みをもつ訂正不可能誤りの数の下界(情報通信基礎サブソサイエティ合同研究会)
- 検索効率と汚染コンテンツ抑制の非構造化オーバレイに対する評価指標の検討
- 検索効率と汚染コンテンツ抑制の非構造化オーバレイに対する評価指標の検討
- 検索効率と汚染コンテンツ抑制の非構造化オーバレイに対する評価指標の検討
- 評価者間類似度を用いた不正評価排除によるレピュテーションシステムの性能向上(セッション4:コミュニティ(1))
- 評価者間類似度を用いた不正評価排除によるレピュテーションシステムの性能向上(セッション4:コミュニティ(1))
- オブジェクト指向データベースにおける推論攻撃不可能性の逐次的検査法
- オブジェクト指向データベースにおける推論攻撃不可能性の逐次的検査法
- Generic Modelにおける困難性仮定への攻撃の数式処理を用いた導出(情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- XMLスキーマで定義された型とXPath式との対応の解析手法
- ユーザ指定関係に基づいた情報保存を満たすXMLスキーマ進化
- XMLデータベースにおける表現能力を保存したスキーマ更新操作(Web,XML,文書検索)(データ工学,ディペンダビリティ,一般)
- 二元線形ブロック符号に対する再帰的Log-MAPアルゴリズム
- 二元線形ブロック符号に対する再帰的Log-MAPアルゴリズム
- 二元線形ブロック符号に対する再帰的Log-MAPアルゴリズム
- XMLスキーマで定義された型と XPath 式との対応の解析手法
- 抽象的順序機械型代数的仕様からのドキュメント生成システム
- 空調機用マイコンソフトの形式的仕様記述と検証法について
- Generic Modelにおける困難性仮定への攻撃の数式処理を用いた導出(情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- 畳込み符号に対する再帰的最ゆう復号法とその計算複雑度の評価
- 畳込み符号に対する再帰的最ゆう復号法とその計算複雑度の評価
- 畳込み符号に対する再帰的最ゆう復号法とその計算複雑度の評価
- 誤り訂正符号の性能評価(情報通信基礎サブソサイエティ合同研究会)
- 誤り訂正符号の性能評価(情報通信基礎サブソサイエティ合同研究会)
- データマイニングに要する計算量に関する一考察
- タプル間の依存関係を表現できる確率的データベースモデルの提案
- 無閉路オブジェクト指向データベーススキーマにおける型検査問題の計算量
- オブジェクト指向データベースにおける型検査問題の計算量
- オブジェクト指向データベースにおける型検査問題の計算量
- 線形符号の重み一定部分符号に対する再帰的最尤復号法における最適セクション分割
- マルチエージェント環境における時刻の前後関係に関する推論問題
- Static Adversaryに対してEUC安全な認証の記号的基準について(情報通信基礎サブソサイエティ合同研究会)
- Static Adversaryに対してEUC安全な認証の記号的基準について(情報通信基礎サブソサイエティ合同研究会)
- Static Adversaryに対してEUC安全な認証の記号的基準について(情報通信基礎サブソサイエティ合同研究会)
- DTD存在下での否定を含まないXPathクエリの恒真性判定
- オブジェクト指向データベースにおけるインスタンスの内容に依存したアクセス権モデルの設計 (時空間データベースおよび一般)
- コンテンツ事前配信のための匿名フィンガープリンティング
- 乗法的不完全秘密分散の実現不可能性
- オブジェクト指向データベーススキーマにおけるセキュリティフロー検出の形式的手法
- オブジェクト指向データベースにおけるデータ漏洩検出問題に関する考察
- オブジェクト指向データベースにおけるアクセス権モデルの設計
- 仕事に対するエージェント集合割り当て問題の近似アルゴリズム
- 2本の時間軸間の時間的推論
- 仕事に対するエージェント集合割り当て問題の近似アルゴリズム
- オブジェクト指向データベースにおける質問のアクセス権分析
- Type Consistency Problems for Queries in Object-Oriented Databases
- 統計的フラジャイル電子透かし方式に対する改ざんピクセル復元法(セキュリティ関係,一般)
- 統計的フラジャイル電子透かし方式に対する改ざんピクセル復元法(セキュリティ関係,一般)
- 統計的フラジャイル電子透かし方式に対する改ざんピクセル復元法(セキュリティ関係,一般)
- オーエンス・ルイス : アンビエント環境制御を用いた知的オフィスチェアの提案(アンビエントインテリジェンス技術とその応用)
- オブジェクト指向データベースにおける質問の型検査問題
- オブジェクト指向データベースプログラムにおける型検査のアクセス制御への応用
- Combining the tractability of duplicate-free DTDs and disjunction-capsuled DTDs for XPath satisfiability with sibling axes (ソフトウェアサイエンス)
- 決定性線形トップダウン木変換器における問合せ保存の決定可能性 (ソフトウェアサイエンス)
- Hybrid Additive-Multiplicative Watermarking for General Embedding Domains (マルチメディア情報ハイディング・エンリッチメント)
- Hybrid Additive-Multiplicative Watermarking for General Embedding Domains (情報通信システムセキュリティ)
- Hybrid Additive-Multiplicative Watermarking for General Embedding Domains (技術と社会・倫理)
- Hybrid Additive-Multiplicative Watermarking for General Embedding Domains (情報セキュリティ)
- EUC安全なメッセージ認証のためのmulti-messageプロトコルに対する記号的基準(一般,情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- EUC安全なメッセージ認証のためのmulti-messageプロトコルに対する記号的基準(一般,情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- 兄弟軸をもつXPath充足可能性問題に対するduplicate-free DTDとdisjunction-capsuled DTDの多項式時間可解性の融合
- 決定性線形トップダウン木変換器における問合せ保存の決定可能性
- 加法と乗法のハイブリッド電子透かしの一般的な埋込領域への拡張(セキュリティ,一般)