多级安全系统中数据聚合的无干扰属性
基于信息流的安全模型较访问控制模型优势在于更本质的描述了什么是安全,自提出信息流的无干扰概念以来信息流模型就成为安全研究的中心之一,并提出了很多种无干扰模型.针对现存几种安全模型存在建模工具与分析工具不一致、不支持多级安全系统等问题.在广义无干扰模型以及聚合属性的基础上提出一种支持多级安全系统、多等级信息流策略状态转换且包含聚合属性的信息流安全模型,并给出了信息流策略的正式语义.
数据聚合、信息流、无干扰、多级安全、安全模型
30
TP309(计算技术、计算机技术)
2010-01-12(万方平台首次上网日期,不代表论文的发表时间)
共4页
4848-4850,4952