论文部分内容阅读
经典BLP模型是实现计算机系统多级安全的理论基础，被视作基本安全公理。BLP模型采用形式化方法，通过定义系统、状态、转换、规则等将系统描述为有穷状态机来研究其安全性。论文简单介绍了BLP模型及其公理系统，总结了该模型目前存在的安全缺陷和问题，并针对这些问题分析了BLP模型结合具体应用、结合权限管理及在分布式网络环境下的相关研究，指出在确保安全的前提下，实用、易用是BLP模型的研究方向。