一个用于授权传递的改进bell－la　padula模型

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