【摘 要】
：
近年来软件供应链(SSC)安全问题频发,给软件安全研究带来了巨大挑战。在每天新发布的海量软件的情况下,自动化SSC污染检测变得非常重要。首先剖析和阐述了SSC污染检测问题,之
【机 构】
：
战略支援部队信息工程大学数学工程与先进计算国家重点实验室,清华大学网络科学与网络空间研究院,陆军工程大学指挥控制工程学院
【基金项目】
：
国家自然科学基金联合基金项目（U1736209,61772308）, 中国国家重点研发计划项目（2017YFB0802900）
论文部分内容阅读
近年来软件供应链(SSC)安全问题频发,给软件安全研究带来了巨大挑战。在每天新发布的海量软件的情况下,自动化SSC污染检测变得非常重要。首先剖析和阐述了SSC污染检测问题,之后着眼于在SSC下游开展污染检测的需求,详细介绍了程序逆向分析技术及其在SSC污染检测中的应用,最后总结分析了现有技术在SSC污染检测任务中存在的不足与挑战,给出了克服这些挑战的若干值得研究的课题。
其他文献
随着我国装备制造业的不断发展,我国煤炭工业也因此在不断地发展。越来越多的大功率采掘设备在井下综采面内部被广泛应用,这样不仅能够有效地提高哦啊采掘的速度和采掘的效率
沈曾植（1851－1922），字子培，号乙庵，晚号寐叟，还有薏庵、睡庵、逊斋、李乡农、皖伯、谷隐居士、东轩、皤、姚埭老民、灌禅等许多别号，浙江嘉兴人。清光绪六年（188O）进土，官刑部主事。康有
感谢供销合作总社党组的信任,派我到中农集团工作,给我一段难得的、具有挑战的人生经历。中农集团具有光荣的历史传统,拥有优秀的管理团队,员工富有创业精神、奉献精神、拼搏
水口山工人运动是新民主主义革命时期党在湖南地区领导的为数不多的大规模工人运动,其前后历时近六年,取得了重要的斗争成果,在中国工人运动史上留下了浓墨重彩的一笔。水口
提出了一种结构新颖的模糊控制算法.通过对控制律的参数寻优和调整,实现了二级倒立摆的稳定控制.由于本文采用了连续性模糊控制算法,从而使解析描述的模糊控制规则可以不受模
金属有机骨架是一类包括金属和有机配体的多孔配位材料,其结构为网络结构且呈周期性。它们比表面积高,催化活性位点丰富,孔结构规整,孔径可调节,而且具有易官能化的特点,被广
改革开放以来,社会主义市场经济的发展取得了阶段性的进展,随着社会经济的大发展、大繁荣,从侧面促进了煤矿产业的集中集约型发展。我国的煤矿产业经过几次阶段性的改革变化
浙江省海宁市龙头阁两栖爬行动物研究所技术人员在80年代初期,看到当时几乎无人问津的乌龟时,这类爬行动物数量少,生长慢,易饲养,其营养价值越来越受到人们的认可;于是乎,技
目的分析护理新模式在产科的运用对降低剖宫产率的效果。方法选取2013年5月~2014年5月入住我院的待产妇246例为研究对象,将其分为对照组和观察组,各123例。对照组给予常规护
基于北京市十个区义务教育学生入学状况调查数据,分析发现,2014年大部分学生按照就近入学方式入学,政策落实情况较好;学生家长对义务教育入学工作整体评价较高,但对各区教育