| 摘要: |
| 本文简要介绍用于安全计算机系统的Ｂｅｌｌ－ＬａＰａｄｕｌａ模型．针对数据库系统中授权的可传递性，提出了一个基于Ｂｅｌｌ－ＬａＰａｄｕｌａ模型的改进模型．改进模型对原模型的元素进行了扩充，对原模型的系统状态、公理及状态转换规则进行了改造，并给出和证明了其主要的结论． |
| 关键词: 授权传递 主体 客体 系统状态 公理 状态转换规则 |
| DOI： |
| 分类号: |
| 基金项目:本文是国家自然科学基金资助项目. |
|
| AN IMPROVED Bell-La Padula MODEL FOR THE TRANSFER OF AUTHORIZATION |
|
Hong Fan,Yu Xiangxuan
|
| 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. |
| Key words: Transfer of authorization subject object state of system axiom rule for transition. |
