论文部分内容阅读
本文简要地介绍了用于安全计算机系统的Ｂｅｌｌ Ｌａ Ｐａｄｕｌａ模型，根据关系数据库中数据对象的逻辑关系，提出了一个用于多级安全关系数据库的Ｂｅｌｌ－Ｌａ Ｐａｄｕｌａ模型的改进模型，改进模型对原模型的系统状态、公理和状态转换规则进行了修改，证明了修改后的状态转换规则是“安全保持”和“性质保持”的，并证明了经改进后的模型所给出的系统是安全的。