【摘 要】
：
当前,隐私数据保护是信息系统安全的重要研究挑战,对应用程序进行隐私泄露检测是隐私泄露保护的有效方案.污点分析技术可以有效地对应用程序进行保密性和完整性的安全检测,提
【机 构】
：
计算机体系结构国家重点实验室（中国科学院计算技术研究所）,中国科学院大学
【基金项目】
：
国家自然科学基金项目(61521092,61432016),国家重点研发计划项目(2017YFB0202002).
论文部分内容阅读
当前,隐私数据保护是信息系统安全的重要研究挑战,对应用程序进行隐私泄露检测是隐私泄露保护的有效方案.污点分析技术可以有效地对应用程序进行保密性和完整性的安全检测,提前报告出潜在的隐私泄露风险.然而,当前高敏感度的静态污点分析还存在开销过高的问题.通过对目前主流的污点分析工具FlowDroid进行深入分析,发现其污点分析计算中大量无关联污点传播是导致开销过高的重要原因,统计实验表明无关联传播占比高达85.2%.针对这一问题,尝试利用近年来一种有效的程序分析优化手段——稀疏优化——的方法,对静态污点分析中无关
其他文献
高校教师作为特殊群体,担负着为国家建设和社会发展培养人才及知识创新等重要任务,同时也承受着来自社会、工作、家庭和职业发展等方面的诸多压力,引起了很多心理健康问题。
介绍动态分析在深水海底管道S型铺设中的应用.重点介绍海管铺设动态分析所计算依据的原理.从输入数据以及校核准则等方面说明动态分析与静态分析的主要区别以及动态分析的优势.介绍响应振幅因子的计算及表示方法;通过对S型管道铺设的动态分析进行了说明.同时简要介绍了铺管分析中常用到的计算软件.
铝合金船在长时间坐墩时，受环境温度和持久应力的共同作用而产生超常规的应变增量，使船体结构变形增大。通过两种典型的船用铝．镁合金和铝．镁一硅合金的母材和焊材的长时间拉伸试
自升式平台收放桩时桩腿与海床间的撞击力是决定作业气象窗口的主要参数.基于能量守恒定律和刚性地基的假定推导桩腿撞击力公式,建立桩腿撞击安全因子的评估方法.应用平台运
构建具有职业教育特色的、系统的、有效的教学质量评价体系和评价标准,对提高我国高职教育教学质量具有巨大的现实意义。但我国目前尚未形成统一的评价体系和标准,理论研究也