Bell-LaPadula模型相关论文
实现了强制访问控制的模型被称为多级安全模型。首先介绍了两种常用强制访问控制模型：Bell-LaPadula模型和Bibc模型。重点讨论了Bel......
本文在研究目前最流行的用来实现安全操作系统的形式化模型─Bell-LaPadula模型 的基础上，对该模型进行了面向实现的改造，解......
形式化是开发高安全等级计算机系统的核心技术之一,但目前形式开发方法无法直接借助于机器证明获得较之手工证明更加严格的安全策......
计算机和网络通信技术的迅猛发展，Internet技术的兴起和广泛应用，有力地促进了网络环境下的商业应用发展和科学应用研究。广域高性能......
