| 研究課題/領域番号 |
17K12667
|
|---|
| 研究機関 | 国立研究開発法人産業技術総合研究所 |
|---|
研究代表者 |
川本 裕輔 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 研究員 (60760006)
|
|---|
| 研究期間 (年度) |
2017-04-01 – 2020-03-31
|
| キーワード | 情報セキュリティ / プライバシ / 情報理論 / 定量的情報流解析 / ゲーム理論 / 差分プライバシ |
|---|
| 研究実績の概要 |
本研究は、サイバーフィジカルシステムにおける量的性質、特に情報漏洩やプライバシの度合いをモデル化・解析・検証する手法を開発することを目的としている。
本年度は、サイバーフィジカルシステムにおける情報漏洩やプライバシの定量的なモデル化・解析・検証技術、およびその基礎となる理論や関連する技術について、以下の研究に取り組んだ。
(1) 昨年度発表したツールHyLeak（プログラム解析と統計手法の長所を組み合わせ、与えられたプログラムからの情報漏洩量を効率的に推定するツール）やその基礎となる技術、実験結果などの研究成果をまとめた論文を査読付きの国際誌Formal Aspects of Computingで発表した。
(2) 昨年度提案の情報漏洩の定量的モデル「情報漏洩ゲーム」（適応的に振る舞う攻撃者と防御者のもとでのプライバシ情報の漏洩量を分析するためのモデル）を発展させ、様々な攻撃者に応じて情報漏洩の状況を様々なゲームで定式化し、これらのゲームの間の関係を解明し、研究成果をまとめた論文を査読付きの国際会議と査読付きの国際誌Entropyで発表した。
(3) サイバーフィジカルシステムとして位置情報サービスを対象とし、プライバシの量的性質、特に差分プライバシとk匿名性について研究をおこなった。具体的には、位置情報サービスプロバイダが各ユーザから確率的ノイズを加えた位置情報を収集し、得られたデータセットを匿名化して第三者に提供する場合の匿名性と有用性のトレードオフを評価した。研究成果をまとめた論文を査読付きの国際会議で発表した。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
情報漏洩やプライバシの量的性質のモデル化の研究を着実に進めている。サイバーフィジカルシステムとしては位置情報サービスと、タイミング攻撃に対して脆弱なシステムを対象として研究を進めている。研究実績の概要で述べたとおり、プログラム解析と統計手法を融合させたツールHyLeakについての国際誌論文を発表し、また、情報漏洩やプライバシに関する量的性質のモデル化に関して複数の論文を発表できた。論理的アプローチと統計的アプローチの融合に関しても、着実に研究を進めている。
|
| 今後の研究の推進方策 |
情報漏洩やプライバシ以外の量的性質のモデル化について、論理的アプローチと統計的アプローチの融合に関する研究を進めようとしている。
|
| 次年度使用額が生じた理由 |
参加を予定していた国際学会に参加できなかった。
翌年度に国内外の学会参加費として支出する予定である。
|
