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

• 作者: 吕从东 韩臻
• 来源期刊: 四川大学学报（工程科学版）
• 学科: 工学
• 关键词: 降级结构 无干扰 架构细化 策略细化
• 年，卷（期）: 2015,（4）
• 所属期刊栏目: 信息工程
• 页码范围: 136-141
• 页数: 6页
• 分类号: TP309
• 字数: 5071字
• 语种: 中文
• DOI: 10.15961/j.jsuese.2015.04.020

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	韩臻	北京交通大学计算机与信息技术学院	108	966	17.0	26.0
5	吕从东	北京交通大学计算机与信息技术学院	6	37	2.0	6.0