%0 Journal Article
%T 一个用于授权传递的改进bell－la　padula模型
%A 洪帆？
%A 余祥宣？
%J 软件学报
%P 100-105
%D 1996
%X 本文简要介绍用于安全计算机系统的ｂｅｌｌ－ｌａｐａｄｕｌａ模型．针对数据库系统中授权的可传递性，提出了一个基于ｂｅｌｌ－ｌａｐａｄｕｌａ模型的改进模型．改进模型对原模型的元素进行了扩充，对原模型的系统状态、公理及状态转换规则进行了改造，并给出和证明了其主要的结论．
%K 授权传递
%K 主体
%K 客体
%K 系统状态
%K 公理
%K 状态转换规则
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19960205&flag=1