一个用于授权传递的改进Bell－La　Padula模型

本文简要介绍用于安全计算机系统的Ｂｅｌｌ－ＬａＰａｄｕｌａ模型．针对数据库系统中授权的可传递性，提出了一个基于Ｂｅｌｌ－ＬａＰａｄｕｌａ模型的改进模型．改进模型对原模型的元素进行了扩充，对原模型的系统状态、公理及状态转换规则进行了改造，并给出和证明了其主要的结论