一种保持多等级安全策略细化后无干扰属性的方法

摘要：

针对多等级架构细化中安全属性(即无干扰属性)保持的问题,提出一个细化函数和若干细化规则.通过细化函数将安全域分解为若干子安全域,通过若干细化规则限定子安全域与其他安全域以及子安全域间需要满足的关系.使用4个定理对细化后的架构或者策略进行形式化的描述和分析,结果表明细化后的架构或者策略仍然保持原架构或者策略的安全属性(即无干扰属性).

关键词：降级结构、无干扰、架构细化、策略细化

所属期刊栏目：47

分类号：TP309(计算技术、计算机技术)

资助基金：教育部博士点课题基金资助项目RFDP20120009110007;教育部创新基金资助项目IRT201206;铁道部信息技术中心课题资助项目2012X010-B;铁道部课题资助项目2014F026

在线出版日期：2017-01-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：136-141