10.3969/j.issn.1000-7024.2012.07.001
基于间接信息流约束的访问控制模型
为解决跨域跨系统环境下的违规间接信息流问题,提出了一种联合访问控制模型.通过记录系统中的访问行为,构建跨系统的信息流图;在此基础上给出信息流图的安全性定理,定义系统的安全状态;通过制定安全规则,约束跨域跨系统环境中的访问行为.基于安全熵对模型的安全性进行分析和验证,验证结果表明了模型在间接信息流的安全防护能力方面优于传统模型.
信息流图、跨域访问控制、间接信息流、访问控制模型、违规信息流、安全熵
33
TP309(计算技术、计算机技术)
国家973重点基础研究发展计划基金项目2011CB311801;河南省科技创新人才计划基金项目114200510001
2012-10-22(万方平台首次上网日期,不代表论文的发表时间)
共5页
2521-2525