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