【摘 要】
:
针对Android系统粗粒度的权限机制及隐私保护机制安全性较低的问题,提出粒度可控的多域隔离隐私保护模型MDSDroid,并在Android系统上设计模型实现框架。通过定义模型变量以及
【机 构】
:
解放军信息工程大学密码工程学院,河南省信息安全重点实验室,中标软件有限公司
【基金项目】
:
国家重点研发计划项目“协同精密定位技术”(2016YFB0501900),国家部委基金.
论文部分内容阅读
针对Android系统粗粒度的权限机制及隐私保护机制安全性较低的问题,提出粒度可控的多域隔离隐私保护模型MDSDroid,并在Android系统上设计模型实现框架。通过定义模型变量以及访问控制策略,实现应用程序及其数据间的隔离和强安全访问控制机制。采用Z语言对模型进行形式定义,并运用形式验证工具Z/EVES进行形式分析,保证模型策略的正确执行,在增强系统安全的同时保护隐私数据的安全性。实验结果表明,该模型系统与Android原生系统相比具有较低的性能损耗。
其他文献
针对无线传感器网络中因能量、故障和环境因素造成网络损失的问题,为传感器节点设计一种防攻击机制。定义传感器节点状态为工作、关闭和监听信道,结合分簇式无线传感器网络的连
湖南省水果专家刘庆民为果农开通专家热线,指导邵阳县黄塘乡石牛村的农民嫁接改良果树,运用新技术科学培土、施肥。目前石牛村200多亩经过改良的果树硕果满枝,喜获丰收,亩产3000
担任山西夏县乡镇企业局局长的10年间,胡丙申以个人名义为农民担保了近70万元贷款;退休后10年靠开店、打工挣钱,他又替农民偿还了39万元的债务。去年12月4日,这位诚信道德模范因
摘要:摘要:对新形式下图书馆的社会功能进行解读,分析了目前经典阅读存在的问题及高校图书馆进行经典阅读教育与推广的必要性,提出高校图书馆应从编制推荐书目、建立经典阅览室和开展经典专题讲座等方面进行阅读教育与推广。 关键词:高校图书馆;以文化人;读者服务;经典阅读推广 中图分类号:G252 文献标识码:A 1 引言 图书馆为保存典籍而产生,又随其承担的社会职能的变化而发展。图书馆的发展史就是其
广东省高州市依托“互联网+”平台大力发展农村电子商务。去年该市通过销售荔枝、龙眼等,直接为农民创收5000多万元。全球首个桂圆电子交易中心汇金农业也落户该市。
近年来,河南省确山县把高标准粮田建设列为全县的重点工程,全力推进,高标准粮田建设成效显著。至2014年底,全县累计建成“田成方、林成网、路相通、沟相连、旱能浇。涝能排”的旱
由国土资源部中国地质调查局组织实施的南海天然气水合物试采工程7月9日全面完成预期目标,第一口井的试开采产气和现场测试研究取得圆满成功,并实施关井作业.这标志着我国海
对图书馆建筑的文化韵律和实用哲学进行了论述。图书馆建筑蕴涵着民族和历史文化,抒发着人与自然的和谐旋律。图书馆建筑彰显的设计理念,将图书馆建筑的价值观统一于它的实用哲
通过对艾坝电站机座悬空基础处理三个方案的分析,确定在发电机通风坑下游壁设置钢筋混凝土梁,以锚固钢筋锚固梁,最后通过内力计算验证了该方案的可行性。