Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Language-based information flow security properties such as noninterference ensure that confidential data does not affect the publicly visible behavior. But real computing systems sometimes need to dynamically release certain amount of sensitive information. Noninterference is too restrictive to permit such leakage.  presents a new security policy of information flow which combines robust declassification and intransitive noninterference according to who can release information and where in the system information is released. Moreover,  introduce an endorsement mechanism that takes the form of a local integrity endorsing policy declaration. Such policy is connected to a semantic security condition which addresses when endorsing is allod. Thus the integrity of data can be upgraded according to its local endorsing policy. Because robust declassification requires that the decision to perform information release have high integrity,  can grant un- trusted code a limited ability to dynamically affect information release by upgrading its integrity.
['Li Jiang', 'Lingdi Ping', 'Xuezeng Pan']
I am writing a research paper on a idea Combining robust declassification and intransitive noninterference
[{"from": "human", "value": "I am writing a research paper on a idea Combining robust declassification and intransitive noninterference"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Language-based information flow security properties such as noninterference ensure that confidential data does not affect the publicly visible behavior. But real computing systems sometimes need to dynamically release certain amount of sensitive information. Noninterference is too restrictive to permit such leakage.  presents a new security policy of information flow which combines robust declassification and intransitive noninterference according to who can release information and where in the system information is released. Moreover,  introduce an endorsement mechanism that takes the form of a local integrity endorsing policy declaration. Such policy is connected to a semantic security condition which addresses when endorsing is allod. Thus the integrity of data can be upgraded according to its local endorsing policy. Because robust declassification requires that the decision to perform information release have high integrity,  can grant un- trusted code a limited ability to dynamically affect information release by upgrading its integrity."}]