组合分类数据挖掘在访问控制中的应用

由于访问控制需要处理大量数据,造成现有自动访问控制模型误报率高且实时性差,数据挖掘技术的优势在于能从大量数据中根据规则发现特征和模式,本文提出了一种基于并行组合分类数据挖掘思想的自动访问控制模型.     

数据库安全模型的设计

电子商务时代数据库安全显得尤为重要,许多传统数据库安全系统都存在着漏洞,攻击者就可以利用这些漏洞进入到数据库系统中。特别是敏感数据更容易受到攻击,为了避免这些威胁的发生,本文提出了一种安全数据库的设计方案,以便最大程度上保护敏感数据的安全。     

战术互联网关键技术研究

战术互联网技术是数字化部队战术指挥控制系统的主要支撑技术之一.基于战术互联网研究现状,详细讨论了战术互联网所涉及的分群、信道接入控制、路由协议以及信息处理等问题,给出了未来战术互联网的研究和发展方向.提出了基于编制的战术互联网无线通信网络模型并将最大连接度算法应用于该模型,在介绍美军战术互联网的信道接入标准的同时详细分析了基于超宽带技术的战术互联网信道接入设计.     

改进的安全协议一阶逻辑模型

由于Blanchet安全协议一阶逻辑模型不能够给出易于理解的攻击序列,基于该安全协议一阶逻辑模型,对逻辑推理中的规则及合一化操作进行了分类,给出了操作置换规则,明确了改进系统中的一些关键性概念和命题。最后,以化简的Needham-Schroeder协议为例,对秘密性进行形式化验证,结果表明改进的系统能够给出易于理解的攻击序列。     

一种改进的动态流特征选择算法

流特征选择算法在深度流检测技术中发挥着重要作用,数据流的正确识别和分类都需要选择流特征,通过这些流特征在业务流中的差异区分业务流类型。当前基于信息度量的特征选择算法在整个样本空间中计算特征的信息熵,没有将特征选择过程中的动态变化信息加入计算,因此不能准确地度量特征选择过程中各个特征之间的相互关系程度,冗余信息的存在影响特征选择结果,导致分类算法性能降低。提出一种改进的动态特征选择算法,该算法基于信息标准,充分考虑特征选择过程中信息标准的动态变化,通过删除由信息动态变化导致的冗余及无用信息,避免动态选择过程的干扰,达到准确并高效选择特征的目的。实验数据说明,提出的动态流特征选择算法的分类性能比当前其他选择算法较好。     

密码协议形式化分析的计算合理性

基于Abadi-Rowgaway的形式化加密的计算合理性定理,提出和证明了密码协议形式化分析的计算合理性定理。通过对群密钥分配协议安全性的分析,说明定理对协议的可选择攻击具有较强的分析能力,提出了群密钥分配协议的形式化方法与计算方法下安全性的形式化定义,并证明了其合理性。