BLP模型及其研究方向

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

BLP Model and its Reseach Direction

Classical BLP model is the theory basic of implementing multi level security in computer systems and is considered to basal security axiom,the model studies security in formal way by defining system,state,transform,rule and regarding the system as infinite state machine.This paper simply narrates the BLP model and its axiom,summarizes the defects and problems,and aimed at which analyses relevant researches of BLP model in specific application,integrated with privilege management and under distributed network environment.The paper also points out that on the premise of security,to be practical and readily applicable is the direction of BLP model research.