摘要
本文简要地介绍了用于安全计算机系统的Ｂｅｌｌ_ＬａＰａｄｕｌａ模型，根据关系数据库中数据对象的逻辑关系．提出了一个用于多级安全关系数据库的Ｂｅｌｌ_ＬａＰａｄｕｌａ模型的改进模型．改进模型对原模型的系统状态、公理和状态转换规则进行了修改．证明了修改后的状态转换规则是“安全性保持”和“＊－性质保持”的．并证明了经改进后的模型所给出的系统是安全的．
This paper describes briefly the Bell La Padula model used for secure computer system 9 and presents an improved Bell La Padula model for the multilevel secure relational database, according to the special logical relations between the data(objects)in the data[,ase. The system state, axioms and rules of state transition of the original model are modified in the improved model. Finally,the paper proves that the modified rules of state transition are 'security preserving'and property preserving' and that the system based on the modified model is secure.
出处
《计算机学报》
EI
CSCD
北大核心
1995年第10期763-769,共7页
Chinese Journal of Computers
基金
家自然科学基金
关键词
多级安全
关系数据库
BLP模型
数据库
Multilevel security,relational database,system state,axiom,rilles of state transition.
