| 摘要: |
| 安全系统是由许多子系统组成，每一子系统都必须满足一定的安全性质，但这不能保证由这些子系统组合而成的系统也是安全的，即组合的系统不一定也满足给定的安全性质，所以要求系统的安全性质满足可结合性.该文介绍了一种新的基于无干扰概念的多级安全性质，并证明了它是可结合的. |
| 关键词: 安全性质，可结合性，无干扰，多级安全. |
| DOI： |
| 分类号: |
| 基金项目: |
|
| Composability of Security Property |
|
YU Xiang-xuan,MA Jian-ping,ZHANG Jiang-ling
|
| Abstract: |
| A secure system consists of many sub——systems, even though every one of those sub-systems satisfies a certain security property, the composed system may not be secure, i.e. the composition maybe not satisfy the security property. It does mean that the security property should be composable. In order to solve such problems, a new multilevel security property based on a new concept of noninterference is introduced and the seurity property is proven to be composable in this paper. |
| Key words: Security property, composability, noninterference, multilevel security. |
