【摘 要】
:
近年来频发的隐私泄露事件引起了公众对于应用程序安全性的担忧,对于程序中隐私数据的保护直接关系着用户是否可以放心使用该程序。基于最小特权原则,程序分区通过将整个程序划分为多个分区,能够隔离出与隐私数据相关的操作,进而保护程序中的隐私数据。为了解决手动程序划分工作量大、易于出错和不具备通用性的局限性问题,采用LLVM和Clang构建了一种基于数据依赖分析和代码重构的自动程序划分框架。在数据依赖图的构建
论文部分内容阅读
近年来频发的隐私泄露事件引起了公众对于应用程序安全性的担忧,对于程序中隐私数据的保护直接关系着用户是否可以放心使用该程序。基于最小特权原则,程序分区通过将整个程序划分为多个分区,能够隔离出与隐私数据相关的操作,进而保护程序中的隐私数据。为了解决手动程序划分工作量大、易于出错和不具备通用性的局限性问题,采用LLVM和Clang构建了一种基于数据依赖分析和代码重构的自动程序划分框架。在数据依赖图的构建过程中,执行流图的引入保证了依赖分析是流敏感的,避免添加了冗余的数据依赖边到图中,从而构建了精确的数据依赖图。基于源代码中的敏感注解和数据依赖图,两阶段分区算法和分区规范生成算法计算了敏感分区和非敏感分区的构成,并输出了用于自动代码重构的分区规范。代码重构工具链的实施能够将源代码自动重构为远程过程调用框架上的敏感分区和非敏感分区,并实现了分区所需提供的远程服务接口,从而隔离了对隐私数据的访问。通过对五个常见的开源程序和SPEC CPU 2006基准测试中的所有C/C++程序进行自动划分,测试结果表明提出的自动程序划分框架能够保证构建精确的数据依赖图,输出用于代码重构的分区规范,并生成远程过程调用框架上的分区程序。此框架可以用于有效的自动划分实际程序,并且分区后的程序具有较小的性能开销。
其他文献
视野计是对青光眼患者进行医疗检查的医疗器械,主要用来测定眼球的视野缺损程度以便于观察青光眼的病情进展和治疗效果。在视野检查领域,提出了以头戴显示设备来完成视野检查的解决方案,即头戴式视野计,该产品成本低、检查成功率高,但在市场上尚未形成大规模应用,还存在着一些亟待解决的问题,例如:设计研发人员在产品开发过程中如何明确设计目标以改进设计方案,如何评价头戴式视野计的用户体验,产品如何在检查过程中给用户
在互联网和信息化高度发达的今天,有关后台产品的研究主要在数据可视化和云技术等方向上,对后台产品界面设计和交互体验上的系统性研究成果缺乏。因此,如何建立符合用户认知需求的后台产品界面,有效的降低用户的认知负荷成为了后台产品设计的关键问题。交互动效以丰富的视觉表现和内在的易用有效为基础,在互联网领域广泛应用,交互动效设计的引入不仅能够给产品带来差异化的创新设计,还能与用户界面进行良好的结合提升使用体验
<正>新装修的家居里面会有大量甲醛,挥发期长达10年,倘若甲醛超标则危害更大。有什么办法快速去除甲醛呢?小编帮你整理出一些实用妙招。开窗通风甲醛是一种挥发性物质,可以打开房间的门窗,使屋内外保持空气对流。还可放上一个落地扇,开启摇头模式以加速空气对流速度。放置活性炭角落处甲醛可用活性炭吸
<正>一线研究员眼中奇怪的川金丝猴社会。作为研究金丝猴的动物学硕士研究生,我来讲一讲我研究的金丝猴。首先,金丝猴的分类地位是哺乳纲灵长目猴科仰鼻猴属。金丝猴其实有好几个不同的种:川金丝猴、黔金丝猴、滇金丝猴、越南金丝猴和怒江金丝猴(也有人叫它缅甸金丝猴,其实都一样,因为这种金丝猴在云南怒江和缅甸都有分布,发现得最晚,也就是大家说的第五种金丝猴)。
从系统和协同视角出发,构建“海洋实体经济—海洋科技创新—现代涉海金融—海洋人力资源”四位协同现代海洋产业体系理论框架,通过PVAR模型识别其敏感因素指标,采用序排列多边形面积法测度中国现代海洋产业体系发展水平,运用马尔科夫链分析其动态演进特征。研究发现:(1)经识别后确定现代海洋产业体系发展水平评价指标包括:海域集约利用指数、沿海地区货物进出口率、海洋产业结构高度化指数、海洋科研经费总额、人均研究
随着煤矿开采机械化水平的提高,粉尘已成为制约煤矿安全生产、危害职业健康的突出问题。湿式除尘器因投资少、结构简单而被广泛应用。为进一步改善湿式除尘器的性能,详细分析了其整体结构和原理,对动力、除尘和脱水结构的组成部分、工作原理、影响因素和优缺点进行系统分析梳理。在此基础上,针对现有湿式除尘器存在的不足,提出未来应从整体性、局部性、经济性、环保性等角度考虑,研发结构一体化、能适应井下狭小空间、功能多样
建立超细无烟煤粉体颗粒在工业锅炉燃烧室的燃烧模型,并以阳泉无烟煤和3种典型福建无烟煤为对象,定量计算了不同环境温度下粒径在20~75μm范围内无烟煤颗粒的燃尽时间。研究发现:1无烟煤颗粒的燃尽时间随煤粉颗粒粒径的减小或环境温度的升高而减少,但当环境温度较高时,粒径变化对煤粉颗粒燃尽时间的影响较小;煤粉颗粒粒径越小,环境温度对其燃尽时间的影响越小。2对于粒径在20~75μm范围内的福建无烟煤颗粒,当
茶树菇,其味纯清香,口感极佳,近年来,茶树菇栽培在河南省淅川县种植规模不断扩大。依据淅川县的经济状况和技术水平,结合气候条件及地理条件,逐渐探索出半地下菇棚设施化种植技术。文章从场地选择布局、半地下菇棚搭建、品种选择、栽培管理、采收及病虫害防治等方面对茶树菇半地下设施化种植技术模式进行总结,以供参考。