| 基于信息格的降密策略 |
| |
| 引用本文： | 朱浩,庄毅,薛羽,丁卫平.基于信息格的降密策略[J].计算机与数字工程,2012,40(10):76-80. |
| |
| 作者姓名： | 朱浩 庄毅 薛羽 丁卫平 |
| |
| 作者单位： | 1. 南通大学计算机科学与技术学院 南通 226019;南京航空航天大学计算机科学与技术学院 南京 210016
2. 南京航空航天大学计算机科学与技术学院 南京 210016 |
| |
| 基金项目： | 航空科学基金(2010ZC13012);江苏省普通高校研究生科研创新计划资助项目(CXLX11_0205) |
| |
| 摘 要： | 降密策略是信息流安全研究的重要挑战之一.目前的研究主要集中在不同维度的定性分析上,缺乏对机密信息降密数量的精确控制,从而导致降密策略的限制性与程序安全需求之间的关系难以精确控制.为此,提出基于信息格的量化度量方法,通过阈值的控制,从定量的角度对健壮性降密策略的限制性进行放松,实现富有弹性的健壮性降密策略.
|
| 关 键 词： | 降密策略 无干扰 信息格 机密性 信息流 |
A Declassification Policy Based on Information Lattice |
| |
| ZHU Hao
,
ZHUANG Yi
,
XUE Yu
,
DING Weiping.A Declassification Policy Based on Information Lattice[J].Computer and Digital Engineering,2012,40(10):76-80. |
| |
| Authors: | ZHU Hao ZHUANG Yi XUE Yu DING Weiping |
| |
| Affiliation: | 1,2(1.Department of Computer Science and Technology,Nantong University,Nantong 226019)(2.Department of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 210016) |
| |
| Abstract: | The declassification policy is one of the key challenges of information flow security.The current study focuses on qualitative analysis of different dimensions,lacking precise control of the number of confidential information release,and these cause the relation between the restrictiveness of the policy and security needs of program is difficult to precisely control.This paper proposed that the restrictiveness of robustness declassification policy can be relaxed through the control of threshold value,based on the method of quantitative measurement of information lattice.The relaxed robustness declassification policy is flexible. |
| |
| Keywords: | declassification policy non-interference information lattice confidentiality information flow |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
