摘要：在工业4.0的时代背景下,信息物理系统(CPS)需要慎重考虑安全性、可控性问题。该文基于受到执行器攻击的信息物理系统模型,研究攻击检测与安全状态估计。针对攻击检测问题,设计了一种有限时间异常检测器,可确保系统受到的攻击在预设的有限时间之内被准确检测出来。在此基础上设计了一种观测器对系统的状态进行安全估计。理论分析表明,该观测器可以保证在检测到攻击时立即调整系统,确保系统达到一个安全稳定的状态。最后,通过实验仿真验证了所提方法的有效性。

摘要：针对Android平台恶意软件日益泛滥的问题,提出一种Android应用威胁等级评估技术,包括特征构建和威胁等级评估规则设计2部分.首先利用静态分析和动态分析技术,提取出Android应用APK文件的权限、行为、漏洞特征,利用信息增益算法筛选后构建特征库,再基于朴素贝叶斯模型设计函数,通过定义有单调性、典型性、直观性的函数,最终实现对APK文件权限和行为特征的打分;漏洞方面的评估则是先根据等级划分指南划分威胁等级,通过反编译APK文件获取源代码后,对代码进行逐行读取搜索匹配漏洞,再根据漏洞对应威胁等级来对APK文件进行威胁等级评估.实验结果表明,根据计算所得分数划分应用的威胁等级,更为直观明了,也能更为有效地对Android应用进行威胁等级评估.