【摘 要】
：
The android operating system provides a rich inter-component communication(ICC)method to bring enormous convenience.However,the android ICC also increases security risks.To address this problem,a form
【机 构】
：
School of Information Science and Engineering,Yanshan University;The Key Laboratory for Computer Vir
【出 处】
：
第十二届中国可信计算与信息安全学术会议
论文部分内容阅读
The android operating system provides a rich inter-component communication(ICC)method to bring enormous convenience.However,the android ICC also increases security risks.To address this problem,a formal method is proposed which can model and detecte inter-component communication behavior in android applications.Firstly,we generate data flow graphs and data fact for each component by component-level data flow analysis.Secondly,our approach treats ICC just like method calls.After analyzing the fields and data dependencies of intent,we find out the ICC caller and callee,track data flow from the ICC caller to callee,and construct the ICC model.Thirdly,the behavior model of android applications is constructed by a formal mapping method for component data flow graph based on Pi calculus.Then the runtime sensitive path trigger detection algorithm is given.Communication-based attacks are detected by analyzing the intent abnormity.Finally,we analyze the modeling and detection efficiency,and compare with the relevant methods.Through analyzing fifty-seven applications in real-world partly verify the effectiveness of the proposed method.
其他文献
心肌主要利用脂肪酸来产生能量,心肌脂肪酸代谢显像剂对评估心肌活力有重要的价值。但是到目前为止,99mTc 标记的心肌脂肪酸代谢显像剂仍在研究中,因此制备核素性质优良的新型99mTc 标记的高级脂肪酸显像剂具有重要意义。
对近五年国际原子能机构发布的《核技术评论》(2010-2014 年)报告进行梳理，从报告的同位素技术极其应用的进展中同位素技术未来发展的趋势。
电沉积法在源片制备技术方面具有沉积率高、沉淀稳固、均匀性好、设备简单等优点.本试验探索了水溶液体系中电沉积法制备铀裂变镀片的条件并制备了若干不同类型裂变镀片成品.采用铂丝作为阴极电极,电解液为0.15mol/L 草酸铵溶液,探索了镀片基材、电极处理工艺、电流密度、沉积时间、pH 值、镀液温度、电解液中UO2(NO3)2 浓度等条件对电沉积量、镀层均匀性以及镀层稳固性的影响,确定了电沉积法制备裂变镀
在裂变反应堆内引入"转换靶"，将热中子转换为14MeV 的聚变中子，是一种获得高强度聚变场的便捷方式。转换靶材料中的6Li 吸收中子后，产生氚离子，氚在电离的过程中与D 或Li 发生聚变放出中子。这样，就在堆芯内获得了包含裂变中子和聚变中子的裂变-聚变混合场。对转换靶问题进行理论分析，并展开了转换效率测量实验。
钠冷快堆中使用液态金属钠作为冷却剂，但是液体金属钠的化学性质非常活泼，为此钠冷快堆中设计了多层专门的防护措施，最大限度减少了钠冷却剂的泄漏。虽然液体金属钠从冷却剂系统中泄漏的概率很小，但是在严重事故工况下，容纳金属钠的压力容器仍然有破坏的可能，导致堆芯碎片、高温液体钠和混凝土结构材料直接接触，发生强烈的热、化学和机械效应。在美国、法国、英国等快堆技术先进国家早在20 世纪70 年代就开始积极开展钠
Virus,trojan and malware on embedded systems have brought signif-icant effect for the information security of the industrial control systems(ICS).ICS as the national core infrastructure,the security a
针对域间路由协议BGP 的LDDoS 攻击能够使得目标链路路由震荡，造成级联效应，导致整个互联网瘫痪并无法通过技术手段修复，是当前互联网面临的最大安全威胁之一。考虑到LDDoS 的网络规模需求，目前针对LDDoS 攻击的研究都是基于离散事件模拟技术进行评测，但其存在逼真度低、准确性差的问题。为此，提出了一种基于轻量级虚拟化技术的LDDoS 仿真验证方法，可有效兼顾仿真规模与仿真逼真性。围绕LDDo
In order to solve the data transmission security problem of the sensing network,this paper proposes a multi-level trusted clustering mech-anism.The proposed mechanism combines multi-level clustering,i
In the trusted testing of cloud platforms,isolation testing of virtual networks is one of the important tasks.The traditional isolation detection method only extracts network con_guration information