基于信息流控制的分布式系统安全研究

摘要：

本文从静态分析的角度讨论了一种增强分布式系统安全特性的研究方法。建立了分布式系统环境下信息流的格模型,并引入信任关系模型进行安全特性分析,给出了增强分布式系统机密性和完整性的安全断言和静态安全约束条件。

关键词： 信息流控制 安全分析 分布式系统 约束条件

作者: 赵秀凤 杨丽娜 郭渊博

作者单位: 解放军信息工程大学电子技术学院 郑州 450004

会议类型: 国内会议

会议名称: 2007年全国高性能计算学术年会

会议地点: 深圳

会议语种:中文

页码: 481-484

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