%0 Journal Article %T 一个基于网格环境的安全信息流模型 %A 刘益和? %J 计算机科学 %D 2011 %X 网格安全是网格中的一个重要组成部分,它直接影响着网格的发展和网格系统软件的实际应用。为了充分描述网格环境下的信息流动情况,扩展了一般网络环境下的主体、客体,利用客体的组织密级、密级、完整性等级来划分安全类,定义信息流策略,给出了一个基于网格环境的安全信息流模型。经严格的数学证明,新模型满足denning的信息流模型的有限格和最小上界运算符性质,是合理的、安全的,它是blp模型,biba模型对应的信息流模型的扩展,也是一般网络环境下的安全信息流模型的扩展,这对网格安全研究有一定的积极意义。 %K 网格安全 %K blp模型 %K biba模型 %K 信息流模型 %U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=110637&flag=1