一个改进的可动态调节的机密性策略模型 | |
季庆光 ; 卿斯汉 ; 贺也平 | |
刊名 | 软件学报
![]() |
2004 | |
卷号 | 15期号:10页码:1547-1557 |
关键词 | 机密性策略 形式模型 安全级范围 多级实体 IPC对象 confidentiality policy formal model sensitivity level range multiple level entity IPC objects |
ISSN号 | 1000-9825 |
其他题名 | an improved dynamically modified confidentiality policies model |
中文摘要 | 试图提出一个模型,它能为有效处理网络安全对象提供支持.改进Amon ott的动态调整规则,使需要动态改变的量减少,从而使一个系统调用级的原子操作需要伴随的附加量的操作和存储减少,提高模型在系统中的实用性.通过把当前安全级变成敏感标签范围而增加模型在系统实现中的灵活性,能有效控制IPC对象.为此,把Amon ott动态地调整当前敏感标签的规则推广为动态地调整敏感标签范围的规则,这把Bell为处理网络情况而把主体的当前安全级变成敏感标签范围的工作与Amon ott的工作有机地结合起来,同时,参考实际中使用的系统GEMSOS和DG/UX及安全原型微内核系统Fluke,引入了单级实体、多级实体以及专用于进程的访问模式,并给出了它们应满足的不变量及限制性条件.另外,在参考原型系统TMach对IPC对象的某些处理方式的基础上,提出了使动态特征非常明显的IPC对象得到合理、有效管理的机制,同时还分析了ABLP实施方法中存在的一些不当之处.提出了一个新的机密性策略模型DBLP的模型不变量,限制性条件及变量类型和常量,并分析了一些限制性条件的合理性,它可以有效应用于系统设计。 |
收录类别 | wanfang,cscd,ei,cnki |
语种 | 中文 |
公开日期 | 2010-08-23 |
附注 | This paper presents a model which can support network security objects, improve the Amon ott's rules with small amount of operations and storages for practicality, enhance the flexibility available for system implementation by making the single level becoming level range , and control IPC objects effectively. For these purposes, the Amon ott's rules for dynamically modifying the current sensitivity level are extended to ones for sensitivity levels range, so Bell's work on making the single level becoming level range for network security can be combined with Amon ott's. Considering the cases in the practical system GEMSOS,DG/UX and prototype microkernel system Fluke, single level entity, multiple level entity and special access mode for progress, and the invariants and constraints corresponding to them are introduced. Based on Tmack's way, a sufficient mechanism for IPC objects is posed. In addition, some flaws in ABLP model are pointed out. A new confidentiality policy model with formal specification of invariants, constraints, variables, and constants has been presented with demonstrating reasonableness for some constraints, and it can be used for system design. |
内容类型 | 期刊论文 |
源URL | [http://124.16.136.157/handle/311060/3728] ![]() |
专题 | 软件研究所_基础软件国家工程研究中心_期刊论文 |
推荐引用方式 GB/T 7714 | 季庆光,卿斯汉,贺也平. 一个改进的可动态调节的机密性策略模型[J]. 软件学报,2004,15(10):1547-1557. |
APA | 季庆光,卿斯汉,&贺也平.(2004).一个改进的可动态调节的机密性策略模型.软件学报,15(10),1547-1557. |
MLA | 季庆光,et al."一个改进的可动态调节的机密性策略模型".软件学报 15.10(2004):1547-1557. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论