研究課題
本研究は、サイバーフィジカルシステムの量的性質、特に情報漏洩やプライバシの度合いをモデル化・解析・検証する手法を開発することを目的としている。本年度は、形式的アプローチと統計的アプローチの融合による仕様記述の枠組みや、サイバーフィジカルシステムにおけるプライバシの定量的なモデル化・解析・検証技術、およびその基礎となる理論や関連技術について、以下の研究に取り組んだ。(1) 形式的アプローチと統計的アプローチの融合により、論理的知識と統計的知識を記述できる様相論理StatELを提案し、分布間の距離に基づく可能世界意味論を与えた。また、統計的仮説検定や機械学習モデルの様々な統計的性質（精度、頑健性、公平性など）をStatELの論理式を用いて形式化した。研究成果を査読付き国際会議で発表した。(2) プライバシの量的性質、特に確率分布についての情報漏洩の度合いをモデル化し解析する枠組みを提案した。具体的には、差分プライバシを確率分布に持ち上げた「分布プライバシ」を定義し、確率的ノイズやダミーデータの付加で実現できる分布プライバシを理論的に明らかにし、最適輸送問題との関連を示した。実験では、サイバーフィジカルシステムとして位置情報サービスを対象とし、ユーザの属性情報の保護メカニズムの分布プライバシと有用性を実証した。研究成果を査読付き国際会議ESORICS'19とAllerton'19で発表した。(3) プライバシの量的性質、特に差分プライバシの変種について研究をおこなった。具体的には、機微な情報のみを保護するメカニズムを提案し、実現できるプライバシや有用性を理論的に明らかにした。また、サイバーフィジカルシステムとして位置情報サービスを対象とした実験により、提案メカニズムの有用性を実証した。研究成果を査読付き国際会議USENIX Security'19で発表した。
すべて 2019 その他
すべて 国際共同研究 (1件) 雑誌論文 (5件) (うち査読あり 5件、 オープンアクセス 1件) 学会発表 (6件) (うち国際学会 6件)
Proc. of the 28th USENIX Security Symposium (USENIX Security 2019)
巻: - ページ: 1877-1894
Proc. of the 24th European Symposium on Research in Computer Security (ESORICS 2019), Part I, Lecture Notes in Computer Science
巻: 11735 ページ: 128-148
10.1007/978-3-030-29959-0_7
Proc. of the 57th Annual Allerton Conference on Communication, Control, and Computing (Allerton 2019)
巻: - ページ: 718-725
10.1109/ALLERTON.2019.8919803
Proc. of the 17th International Conference on Software Engineering and Formal Methods (SEFM 2019), Lecture Notes in Computer Science
巻: 11724 ページ: 293-311
10.1007/978-3-030-30446-1_16
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, Lecture Notes in Computer Science
巻: 11760 ページ: 344-362
10.1007/978-3-030-31175-9_20
