Non-Interference with What-Declassification in Component-Based Systems

Non-Interference with What-Declassification in Component-Based Systems
复制标题

不干扰基于组件的系统中的解密

DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
Simon Greiner
Simon Greiner
中科院分区：
--
文献类型：
--
作者：
Daniel Grahl;Simon Greiner

文献摘要

被引文献

相似文献

基于组件的设计是系统模块化设计的一种方法。基于组件的系统的结构遵循特定的规则，单个组件对它们运行的环境做出假设。在本文中，我们为基于组件的系统提供了一个非干扰属性，允许精确指定信息的分类，并考虑到环境假设，以允许模块化，精确和可重用的信息流分析。对于精确的分析，可以通过单独分析组件提供的服务来分析组件
—Component-based design is a method for modular design of systems. The structure of component-based systems follows specific rules and single components make assumptions on the environment that they run in. In this paper, we provide a non-interference property for component-based systems that allows for a precise specification of what-declassification of information and takes assumptions on the environment into consideration in order to allow a modular, precise and re-usable information-flow analysis. For precise analysis, components can be analyzed by separately analysing services provided by a component