###
DOI:
Journal of Software:1996.7(2):100-105

一个用于授权传递的改进Bell-La Padula模型
洪帆,余祥宣
(华中理工大学计算机科学与工程系,武汉,430074)
AN IMPROVED Bell-La Padula MODEL FOR THE TRANSFER OF AUTHORIZATION
Hong Fan,Yu Xiangxuan
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 3120   Download 2644
    Revised:July 11, 1995
> 中文摘要: 本文简要介绍用于安全计算机系统的Bell-LaPadula模型.针对数据库系统中授权的可传递性,提出了一个基于Bell-LaPadula模型的改进模型.改进模型对原模型的元素进行了扩充,对原模型的系统状态、公理及状态转换规则进行了改造,并给出和证明了其主要的结论.
中文关键词: 授权传递  主体  客体  系统状态  公理  状态转换规则  
Abstract:his paper first describes briefly the Bell-La Padula model used for secure computer system. Then an improved Bell-La Padula model is proposed according to the transferability of authorization of database system. It extends the elements of the original model and reforms the state of system, axioms and rules for state transition of the original model. The main conclusions of the improved model are presented and proved.
文章编号:     中图分类号:    文献标志码:
基金项目:本文是国家自然科学基金资助项目. 本文是国家自然科学基金资助项目.
Foundation items:
Reference text:

洪帆,余祥宣.一个用于授权传递的改进Bell-La Padula模型.软件学报,1996,7(2):100-105

Hong Fan,Yu Xiangxuan.AN IMPROVED Bell-La Padula MODEL FOR THE TRANSFER OF AUTHORIZATION.Journal of Software,1996,7(2):100-105