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

吕从东; 韩臻

doi:10.15961/j.jsuese.2015.04.020

您当前的位置：

首页 >

文章列表页 >

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

信息工程 | 更新时间：2023-11-14

- 一种保持多等级安全策略细化后无干扰属性的方法
- AMethodtoKeepNoninterferenceinMulti-levelSecurityPolicyRefinement
- 工程科学与技术 2015年47卷第4期页码：136-141
- 作者机构：
  
  1. 北京交通大学计算机与信息技术学院
  2. 北京交通大学国家保密学院
- 作者简介：
- 基金信息：
  
  教育部博士点课题基金资助项目（RFDP20120009110007）;教育部创新基金资助项目（IRT201206）;铁道部信息技术中心课题资助项目（2012X010-B）;铁道部课题资助项目（2014F026）
- DOI：10.15961/j.jsuese.2015.04.020
  中图分类号：
- 纸质出版日期：2015，
  
  网络出版日期：2015-3-24，
扫描看全文
吕从东,韩臻.一种保持多等级安全策略细化后无干扰属性的方法[J].工程科学与技术,2015,47(4):136-141.

AMethodtoKeepNoninterferenceinMulti-levelSecurityPolicyRefinement[J]. Advanced Engineering Sciences, 2015,47(4):136-141.
吕从东,韩臻.一种保持多等级安全策略细化后无干扰属性的方法[J].工程科学与技术,2015,47(4):136-141. DOI： 10.15961/j.jsuese.2015.04.020.

AMethodtoKeepNoninterferenceinMulti-levelSecurityPolicyRefinement[J]. Advanced Engineering Sciences, 2015,47(4):136-141. DOI： 10.15961/j.jsuese.2015.04.020.

摘要

中文摘要: 针对多等级架构细化中安全属性（即无干扰属性）保持的问题，提出一个细化函数和若干细化规则。通过细化函数将安全域分解为若干子安全域，通过若干细化规则限定子安全域与其他安全域以及子安全域间需要满足的关系。使用4个定理对细化后的架构或者策略进行形式化的描述和分析

结果表明细化后的架构或者策略仍然保持原架构或者策略的安全属性（即无干扰属性）。

Abstract

Abstract:Based on the through study of the problem to keep security in architectural refinement in MLS system

a refinement function and several refinement rules were presented to refine the architecture.The refinement function refined the security domain into several sub-domains.The relation between sub-domain and other security domains and the relation between sub-domains were limited by the refinement rules.Four theorems were given to prove that noninterference remains in the architecture after refinement.

关键词

降级结构无干扰架构细化策略细化

Keywords

downgrading architecturenoninterferencearchitecturerefinementsecuritypolicyrefinement

references

更多指标>

浏览量

下载量

CNKI被引量

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于无干扰理论的完整性度量模型