BLP安全模型及其发展

经典的BLP模型是在计算机安全系统中实现多级安全性支持的基础，被视作基本安全公理．BLP模型采用“强制存取控制”和“自主存取控制”来实现其安全性，总结了BLP模型的“公理化描述”、“有限状态机模型描述”和“信息流的格模型描述”三种不同描述方法，分析了其BLP模型目前存在的安全缺陷主要是：安全级定义的不完备性、信息完整性缺陷、时域安全性缺陷和隐通道．在对BLP模型的改进中，影响较大的主要有BLDM与MBLP两种模型，     

基于包交叉分组间隔质心双盲流水印技术

针对基于数据包间隔时间流水印技术中存在的同步机制弱、且缺乏可靠自纠错方法的问题,提出基于包间隔时间交叉分组的流水印技术.本方法通过将传输时间影响分散化,抵抗数据包在传输中遭遇的抖动干扰问题;通过约束数据包的传输时间满足网络中常规数据包的传输时间分布,提高水印的抗检测性;通过利用卷积码将水印序列进行扩展后再传输,实现流水印的有限自纠错;通过基于滑窗的算法动态判定数据包分组边界,实现流水印的盲追踪、并可抵御数据包在传输过程中可能出现的丢失或合并影响.理论分析与实验数据均表明:本方法可在较高阈值范围情况下准确检测出水印的存在性,抵御一般性的第三方试探性检测,具有较强的鲁棒性与隐蔽性.     

基于免疫的轻量级存储系统访问控制模型

为实现高效的安全存储系统,在分析现有访问控制模型的基础上,引入人工免疫算法,提出面向安全存储系统的轻量级访问控制模型IBLSAC.首先介绍人工免疫算法基本原理的基础,以及人工免疫算法的特性.再给出IBLSAC的构成,以及IBLSAC中主要元素的定义,介绍差异选择算法和访问请求检查算法等的流程,从安全性能、成本和适应性3方面分析IBLSAC的性能.最后实现IBLSAC的原型系统,设置不同的匹配阈值,测试当自体数量不同时,原型系统识别全部非法访问请求所需的检测器数量.结果表明IBLSAC在保证较好安全性能的同时,安全开销较小且开销稳定,能够满足实现能保持较高I/O性能的安全存储系统的要求.     

隐通道的仿真分析

在TCSEC和CC标准中,软件要获得B2或EAL5及以上安全级的认证,必须要进行隐通道分析。通过建立隐通道的仿真系统,根据试验分析隐通道的性质,其中一些性质是在以往基于源代码或顶级描述的静态隐通道分析中没有观察到的。对这些性质的成因,做了理论上的解释,并提出了分两步进行的隐通道审计方法。