| 研究課題/領域番号 |
19K11912
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分60050:ソフトウェア関連
|
|---|
| 研究機関 | 南山大学 |
|---|
研究代表者 |
石原 靖哲 南山大学, 理工学部, 教授 (00263434)
|
|---|
| 研究期間 (年度) |
2019-04-01 – 2024-03-31
|
| 研究課題ステータス |
交付 (2022年度)
|
| 配分額 *注記 |
4,030千円 (直接経費: 3,100千円、間接経費: 930千円)
2021年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2020年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
2019年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
|
|---|
| キーワード | データ交換 / 情報公開ポリシー / 問合せ解像度 / CQ-rewriting / 情報公開ポリシ― / アクセス制御 |
|---|
| 研究開始時の研究の概要 |
複数のサイトが情報を交換・共有した上で，おのおののサイトがその利用者に情報の一部を公開するという状況を考える．この際，情報のもともとの提供者がもつ情報公開ポリシーに反した公開を行うべきではない．しかし，通常，異なるサイトは異なる形式で情報を管理しているため，ポリシーに反しないことを保証するのは自明ではない．本研究では，利用者に許可された問合せの「解像度」という概念を用いて情報公開ポリシーをモデル化する．問合せ解像度は，その問合せがもとの情報の違いをどこまで区別できるかを表している．そして，ポリシーに反した情報公開が一切起きないことを静的に保証した，情報交換・公開フレームワークを開発する．
|
| 研究実績の概要 |
2022年度は，主として，前年度までに得られた理論的成果を雑誌論文としてまとめる作業と，理論的成果を実装して実用面からの評価を行う研究に取り組んだ．前者については，成果をまとめた論文が電子情報通信学会論文誌Dに採録となり，2023年4月に公刊された．その内容は，あるクラスに属するソース側ポリシとデータ交換メカニズムを入力として，「弱適切」なターゲット側ポリシが存在するかを判定し，存在するならそれを導出するアルゴリズムの提案である．提案したアルゴリズムは，ターゲット側ポリシの候補を総当たり的に生成して弱適切かどうかを判定するものであり，実用場面での実行時間の評価が課題として残っていた．後者については，以上のような動機のもと，研究室学生の協力を得て，論文発表したアルゴリズムの実装と性能評価を行ったものである．一般的なノートPC上で提案アルゴリズムをPythonとPrologで実装し，ソース側ポリシを表す問合せの引数の個数を増加させたときの実行時間を調査した．その結果，引数が5個以下の場合には処理は数分で完了したものの，6個以上にするとメモリ不足が原因と思われるエラーにより実行が完了しなかった．ターゲット側ポリシの候補1つあたりにかかる処理時間からの推測により，十分なメモリをもつPCを使えば，引数8個程度までなら実用的といえる時間内に処理が完了するという結論が得られた．実装したプログラムの洗練化や，ソース側ポリシの引数の個数以外のパラメータを動かしたときの実行時間の調査などが今後の課題として残されている．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
弱適切なポリシの存在を正確に判定できる問題クラスと判定アルゴリズムを提案し，実行時間の評価もある程度行えた．
|
| 今後の研究の推進方策 |
弱適切なターゲット側ポリシの存在判定が難しい最大の理由は，ターゲット側ポリシの候補を探索する空間をうまく有限に絞れない（絞れたとしても組合せ爆発が起きる）という点である．2023年度以降は，SMTソルバを利用することで，この問題が実用上解ける範囲を拡大することを試みる．
|
