Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: As  know, current hookup or composable properties may impose over-strong security requirements on component systems. To overcome this problem, connectivities of the components have to be considered in order to appropriately handle their composition. Based on such a consideration, in this paper  adopt the concept of rely- and guarantee-conditions to present a composable property of noninterference.  enforce the requirement of noninterference only on some input-output entities of each component with regard to its connectivity, and communication constraints on its others so as to ensure that their entire system can satisfy noninterference. This enables the system and its components to possess different security properties, i.e. the security property of the system can be logically stronger than security properties of its components. >
['Qi Shi', 'John A. McDermid', 'Jonathan D. Moffett']
I am writing a research paper on a idea Applying noninterference to composition of systems: a more practical approach
[{"from": "human", "value": "I am writing a research paper on a idea Applying noninterference to composition of systems: a more practical approach"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: As  know, current hookup or composable properties may impose over-strong security requirements on component systems. To overcome this problem, connectivities of the components have to be considered in order to appropriately handle their composition. Based on such a consideration, in this paper  adopt the concept of rely- and guarantee-conditions to present a composable property of noninterference.  enforce the requirement of noninterference only on some input-output entities of each component with regard to its connectivity, and communication constraints on its others so as to ensure that their entire system can satisfy noninterference. This enables the system and its components to possess different security properties, i.e. the security property of the system can be logically stronger than security properties of its components. >"}]