论文部分内容阅读
提出一个基于可信第三方的Android应用完整性验证模型.采用特征选择算法、XML解析和反编译来获取Android系统完整性信息,终端通过与可信第三方进行验证来保证应用的完整性.对比实验结果表明了系统的有效性和可行性.
基于可信第三方的Android应用完整性验证模型
【摘 要】
：
提出一个基于可信第三方的Android应用完整性验证模型.采用特征选择算法、XML解析和反编译来获取Android系统完整性信息,终端通过与可信第三方进行验证来保证应用的完整性.对
【机 构】
：
河北大学网络技术研究所
【出 处】
：
郑州大学学报：理学版
【发表日期】
：
2015年2期
【基金项目】
：
国家自然科学基金资助项目,编号61170254, 国家科技支撑计划项目,编号2013BAK07B04, 河北省自然科学基金资助项目,编号F2014201152
其他文献
运用源生成法构造了一个带自相容源的变系数（3＋1）维KP方程,运用Hirota方法对其进行研究,并给出了带自相容源的变系数（3＋1）维KP方程的一组贝克隆变换.
建立了一类具有垂直传染和多类易感者的流行病脉冲微分系统,证明了系统无病周期解的存在性和全局吸引性,并进一步给出了系统持续生存的条件.
研究了环Fp^m＋uFp^m＋…＋uk-1Fp^m上任意长度的常循环码的等价性,利用等价性给出了该环上一些常循环码的结构.
研究了生长曲线模型中利用lasso所得到的参数估计B_L的误差.在设计矩阵X1分别满足RE条件、兼容性条件和UDP条件时,依次得到估计误差‖BL-B‖1的上界,并且该上界与协调参数成
利用分析法研究一类具有强迫项的高阶差分方程△^d（a（t）x（t）-b（t）x（t-τ））＋p（t）x（t-σ）＋q1（t）x^μ（t-σ）-q2（t）xλ（t-σ）=f（t）的振动性,得到了这类方程解振动的充分条件.