一个基于网格环境的安全信息流模型

网格安全是网格中的一个重要组成部分，它直接影响着网格的发展和网格系统软件的实际应用。为了充分描述网格环境下的信息流动情况，扩展了一般网络环境下的主体、客体，利用客体的组织密级、密级、完整性等级来划分安全类，定义信息流策略，给出了一个基于网格环境的安全信息流模型。经严格的数学证明，新模型满足denning的信息流模型的有限格和最小上界运算符性质，是合理的、安全的，它是blp模型,biba模型对应的信息流模型的扩展，也是一般网络环境下的安全信息流模型的扩展，这对网格安全研究有一定的积极意义。