プログラム実装時に生じる差分プライバシーの誤りの調査と改善策の提案

• Item type: Symposium(1)
• 公開日: 2024-10-15
• タイトル / 言語: ja
• タイトル: プログラム実装時に生じる差分プライバシーの誤りの調査と改善策の提案
• タイトル / 言語: en
• タイトル: Study on Errors in Differential Privacy Program Implementation
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 差分プライバシー，プログラムエラー，形式検証
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_5794
• 資源タイプ: conference paper
• 著者所属: NTT社会情報研究所
• 著者所属: NTT社会情報研究所
• 著者所属: NTT社会情報研究所
• 著者所属(英): en
• 著者所属(英): NTT Social Informatics Laboratories
• 著者所属(英): en
• 著者所属(英): NTT Social Informatics Laboratories
• 著者所属(英): en
• 著者所属(英): NTT Social Informatics Laboratories
• 著者名: 山本, 充子; 三浦, 尭之; 中林, 美郷
• 著者名(英): Juko, Yamamoto; Takayuki, Miura; Misato, Nakabayashi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 差分プライバシーは，データに含まれる個人のプライバシーを保護する安全性指標として注目されている．しかし，差分プライバシーを実現するためのアルゴリズムの設計や実装は複雑であり，誤った実装はプライバシー漏洩のリスクにつながる．本研究では，差分プライバシーを保証するプログラムを作成する際の間違えやすい要因の特定と改善方法の提案を目的とし，差分プライバシーを満たさない実装に着目した実態調査を行った．調査は，公開されている5つの代表的な差分プライバシーのオープンソースとそのGitHub上のIssueを対象にした．調査の結果，実装の誤りの種類は実装レベルと設計レベルの2つに要因が分けられた．中でも仕様と設計におけるノイズ処理が最も誤りのパターンが多いことが明らかになった．これらのプライバシー漏洩に対処するために，検証による解決方法を先行研究とともに紹介する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Differential privacy is a mathematical framework designed to protect individual privacy when analyzing large datasets. As data privacy concerns have grown, differential privacy has gained significant attention. However, the design and implementation of algorithms to apply differential privacy is complex, and incorrect implementation leads to the risk of privacy leakage. In this study, we conduct a survey of the actual conditions focusing on implementations that do not satisfy differential privacy, with the aim of identifying factors that can easily lead to mistakes when creating programs that guarantee differential privacy and proposing ways to improve them. The survey covers five representative open sources of differential privacy and their issues on GitHub. The survey results showed that the types of implementation errors were divided into two factors: implementation and design. Of these, noise handling in specification and design was found to be the most common pattern of errors. To address these privacy leaks, solutions through verification are presented along with previous studies.
• 書誌情報: コンピュータセキュリティシンポジウム2024論文集; p. 907-914, 発行日 2024-10-15
• 出版者 / 言語: ja
• 出版者: 情報処理学会