BLP模型及其研究方向

摘要：

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

关键词：BLP模型、应用、权限管理、分布式、网络环境

所属期刊栏目：42

分类号：TP393.08(计算技术、计算机技术)

在线出版日期：2006-06-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：136-138