一个基于C/S模式信息系统的安全描述

被引：1

作者：

刘益和

王锦

陈静科

机构：

[1] 内江师范学院计算机与信息科学系

[2] 西华师范大学计算中心

[3] 四川大学生命科学学院四川内江

[4] 四川南充

[5] 四川成都

来源：

关键词：

C/S模式; 有限状态机; RABC模型; BLP模型; 机密性;

D O I：

10.16246/j.issn.1673-5072.2005.02.013

中图分类号：

TP309 [安全保密];

学科分类号：

081201 ; 0839 ; 1402 ;

摘要：

利用有限状态机、RABC模型的用户被授予角色,角色被授予权限,权限关联操作,用户通过被授予的角色得到该角色的相应权限,来完成某些操作的基本原理和BLP模型不读上、不写下基本原理,对C/S模式下的信息系统给出了一种形式化描述,该描述在操作平台安全的情况下是安全的.

引用

页码：170 / 174

页数：5