面向多级安全关系数据库对BLP模型的一种改进

摘要

本文对BLP模型进行了面向多级安全关系数据库的改进,根据关系数据库客体之间的特殊关系修改了BLP模型的客体集的描述,修改了系统状态,公理和状态转换规则并证明了改进后的状态转换规则是"安全性保持"和"*-性质保持"的,进而证明了改进模型所给出的系统是安全的.提出的改进模型使得数据库中的数据在被共享的同时,可以较好地得到自主访问控制和多级安全访问控制的保护,虽然上述改进只是一个初步的改进,但对于进一步形式化多级安全数据库系统,制定其安全策略及系统设计说明都有着积极的作用.