基于多源多层次信息融合的网络安全态势感知方法

针对网络安全态势感知范围局限、信息来源单一及准确性偏差较大的问题,提出了一个全方位整体上感知网络安全态势框架.充分考虑多信息源和多层次信息融合,从3个维度上动态生成网络当前安全状况,准确地反映网络当前安全态势,易于逆向查找异常组件.提出"3σ法则"离散化连续型随机变量方法,对建立适合处理非确定性信息融合的贝叶斯网模型有重要的理论与实践指导意义.最后,利用网络实例数据,对该模型和算法进行了验证,结果表明了该方法的正确性.     

一个Z的证明责任产生器

在写出规格说明后，需要对规格说明的严密性进行证明，定理证明则可以消除规格说明中的模糊性和不一致性，从而验证规格说明是否满足用户需求．证明责任是从规格说明中产生待证的性质，该文描述了一个Z的证明责任产生器的工作过程、完成证明责任产生器的工作难点就在于如何生成证明责任，本文对这一工作进行了详细的介绍。     

PA样本下密度核估计的相合性

设{X,i≥1}为同分布正相协（简记PA）随机变量序列，f(x)为X1的概率密度函数，基于样本X1，X2，…Xn，在适当条件下证明了密度函数f(x)核估计的强相合及r阶矩相合。