paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Preserving Privacy in Software Composition Analysis: A Study of Technical Solutions and Enhancements

软件成分分析中的隐私保护:技术方案与增强研究
ICSE 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE)2025匹配度 4/10 · 论文将程序分析技术用于优化隐私保护软件成分分析(SCA)中的MPC协议开销,与用户关注的程序分析/静态分析有交叉,但研究场景是安全隐私而非ML/Agentic程序或浮点/贝叶斯程序分析,且未涉及LLM/Agent,因此匹配度有限。引用 2 inbox
Huaijin Wang, Zhibo Liu, Yanbo Dai, Shuai Wang, Qiyi Tang, Sen Nie, Shi Wu
crossref: 2026-09-12

AI 速览

一句话:首次系统分析软件成分分析(SCA)的隐私需求,并用程序分析削减基于 MPC 的隐私保护方案开销。

软件成分分析(SCA)通过识别应用中的开源组件被学术界与工业界广泛采用,但现有流程要求用户把源码上传至远程 SCA 服务器,而应用往往包含专有代码、算法、商业秘密与用户数据,导致隐私问题阻碍了 SCA 在真实场景中的落地。本文首次系统分析 SCA 的隐私需求,并给出一幅刻画不同隐私收益与开销的技术方案全景图。鉴于事实上的 SCA 框架主要由代码相似度技术驱动,作者探索将多种隐私保护协议与该框架结合;在可行方案中,多方计算(MPC)提供了最强的隐私保证与可接受的准确率,但带来 184 倍的高开销。为此,作者利用程序分析技术减少加密协议的交互次数来优化 MPC-based SCA 框架。评估表明,该优化把 MPC 开销降至 8.5%,且不牺牲隐私保证与 SCA 准确率。

问题
SCA 需要用户上传源码到远程服务器进行组件识别,应用中的专有代码、算法与用户数据面临隐私泄露风险,导致该技术难以在实际场景中部署。
方法
系统刻画 SCA 的隐私需求并比较多种隐私保护协议与代码相似度驱动的 SCA 框架的结合方案,最终选用 MPC,并借助程序分析技术减少 MPC 加密协议的交互次数以降低开销。
评估
通过实现与实验评估各方案的隐私增益与性能开销,对比显示 MPC 基线开销为 184 倍,而所提优化将其降至 8.5%,同时保持隐私保证与 SCA 准确率不变。
原文摘要(Abstract)

Software composition analysis (SCA) denotes the process of identifying open-source software components in an input software application. SCA has been extensively developed and adopted by academia and industry. However, we notice that the modern SCA techniques in industry scenarios still need to be improved due to privacy concerns. Overall, SCA requires the users to upload their applications' source code to a remote SCA server, which then inspects the applications and reports the component usage to users. This process is privacy-sensitive since the applications may contain sensitive information, such as proprietary source code, algorithms, trade secrets, and user data. Privacy concerns have prevented the SCA technology from being used in real-world scenarios. Therefore, academia and the industry demand privacy-preserving SCA solutions. For the first time, we analyze the privacy requirements of SCA and provide a landscape depicting possible technical solutions with varying privacy gains and overheads. In particular, given that de facto SCA frameworks are primarily driven by code similarity-based techniques, we explore combining several privacy-preserving protocols to encapsulate the similarity-based SCA framework. Among all viable solutions, we find that multi-party computation (MPC) offers the strongest privacy guarantee and plausible accuracy; it, however, incurs high overhead (184×). We optimize the MPC-based SCA framework by reducing the amount of crypto protocol transactions using program analysis techniques. The evaluation results show that our proposed optimizations can reduce the MPC-based SCA overhead to only 8.5% without sacrificing SCA's privacy guarantee or accuracy.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot8818,
  title = {Preserving Privacy in Software Composition Analysis: A Study of Technical Solutions and Enhancements},
  author = {Huaijin Wang and Zhibo Liu and Yanbo Dai and Shuai Wang and Qiyi Tang and Sen Nie and Shi Wu},
  booktitle = {ICSE},
  year = {2025},
  doi = {10.1109/icse55347.2025.00055}
}