计算机应用

作者：武振华, 张超, 孙贺, 颜学雄

单位：1. 战略支援部队信息工程大学 数学工程与先进计算国家重点实验室, 郑州 450001;2. 清华大学 网络科学与网络空间研究院, 北京 100084;3. 陆军工程大学 指挥控制工程学院, 南京 210007

关键词：软件供应链,污染检测,程序逆向分析,软件安全

基金：国家自然科学基金联合基金资助项目（U1736209，61772308）；国家重点研发计划项目（2017YFB0802900）。

近年来软件供应链（SSC）安全问题频发，给软件安全研究带来了巨大挑战。在每天新发布的海量软件的情况下，自动化SSC污染检测变得非常重要。首先剖析和阐述了SSC污染检测问题，之后着眼于在SSC下游开展污染检测的需求，详细介绍了程序逆向分析技术及其在SSC污染检测中的应用，最后总结分析了现有技术在SSC污染检测任务中存在的不足与挑战，给出了克服这些挑战的若干值得研究的课题。

来源：2020年第1期

《计算机应用》期刊编辑部

查看计算机应用杂志2020年第1期