一个基于网格环境的安全信息流模型
Security Information Flow Model Based on Grid Environment作者机构:内江师范学院计算机科学学院内江641100
出 版 物:《计算机科学》 (Computer Science)
年 卷 期:2011年第38卷第6期
页 面:157-160,199页
核心收录:
学科分类:08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术(可授工学、理学学位)]
基 金:国家973项目(1999035801) 四川省应用基础研究计划课题(04JY029-096) 四川省教育厅自然科学重点项目(09ZA055)资助
摘 要:网格安全是网格中的一个重要组成部分,它直接影响着网格的发展和网格系统软件的实际应用。为了充分描述网格环境下的信息流动情况,扩展了一般网络环境下的主体、客体,利用客体的组织密级、密级、完整性等级来划分安全类,定义信息流策略,给出了一个基于网格环境的安全信息流模型。经严格的数学证明,新模型满足Denning的信息流模型的有限格和最小上界运算符性质,是合理的、安全的,它是BLP模型、Biba模型对应的信息流模型的扩展,也是一般网络环境下的安全信息流模型的扩展,这对网格安全研究有一定的积极意义。