On the composition of secure systems
On the composition of secure systems
复制标题
论安全系统的构成
DOI：
10.1109/secpri.2002.1004364
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
H. Mantel
中科院分区：
文献类型：
--
作者：
H. Mantel
当复杂的系统是由较简单的组件构建时，重要的是要知道组件的特性如何在组成下的表现。我们为安全性属性提供了各种组成结果。特别是我们介绍了一种新颖的安全性，并表明该属性通常是可以组合的，尽管它比远期可正确性弱。此外，我们证明了某些非平凡的安全性属性在组成下出现，并说明了如何利用这一事实。我们提出的所有组合性结果均在一个非常强大的引理的帮助下进行了验证。在此引理上，我们还重新培育了几个已知的成分结果，目的是统一这些结果。作为副作用，我们获得了对安全性属性的已知组成结果的分类。
When complex systems are constructed from simpler components it is important to know how properties of the components behave under composition. We present various compositionality results for security properties. In particular we introduce a novel security property and show that this property is, in general, composable although it is weaker than forward correctability. Moreover we demonstrate that certain nontrivial security properties emerge under composition and illustrate how this fact can be exploited. All compositionality results that we present are verified with the help of a single, quite powerful lemma. Basing on this lemma, we also re-prove several already known compositionality results with the objective to unify these results. As a side effect, we obtain a classification of known compositionality results for security properties.