基于应用区域边界体系结构的多主体访问控制安全模型

摘要：

为解决应用区域边界安全体系结构中的多主体访问控制安全问题,分析了应用区域边界的安全体系结构,利用BLP模型、Biba模型和RBAC模型的基本性质,针对该类安全体系结构的数据读/写操作和数据传送问题,详细定义并描述了创建客体规则、创建主体规则和数据传送中发送/接收规则.形式化证明了给出的描述规则是合理的、安全的,由这些规则组成的基于应用区域边界的安全体系结构模型是安全的.

关键词：信息安全体系结构、BLP模型、Biba模型、RBAC模型、粒度控制、并发行为

所属期刊栏目：40

分类号：TP309(计算技术、计算机技术)

资助基金：国家973计划资助项目1999035801

在线出版日期：2008-09-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：115-119