Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Enforcement of noninterference requires proving that an attacker's knowledge about the initial state remains the same after observing a program's public output.  propose a hybrid monitoring mechanism which dynamically evaluates the knowledge that is contained in program variables. To get a precise estimate of the knowledge, the monitor statically analyses non-executed branches.  show that our knowledge-based monitor can be combined with existing dynamic monitors for non-interference. A distinguishing feature of such a combination is that the combined monitor is provably more permissive than each mechanism taken separately.  demonstrate this by proposing a knowledge-enhanced version of a no-sensitive-upgrade (NSU) monitor. The monitor and its static analysis have been formalized and proved correct within the Coq proof assistant.
['Frédéric Besson', 'Nataliia Bielova', 'Thomas P. Jensen']
I am writing a research paper on a idea Hybrid Monitoring of Attacker Knowledge
[{"from": "human", "value": "I am writing a research paper on a idea Hybrid Monitoring of Attacker Knowledge"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Enforcement of noninterference requires proving that an attacker's knowledge about the initial state remains the same after observing a program's public output.  propose a hybrid monitoring mechanism which dynamically evaluates the knowledge that is contained in program variables. To get a precise estimate of the knowledge, the monitor statically analyses non-executed branches.  show that our knowledge-based monitor can be combined with existing dynamic monitors for non-interference. A distinguishing feature of such a combination is that the combined monitor is provably more permissive than each mechanism taken separately.  demonstrate this by proposing a knowledge-enhanced version of a no-sensitive-upgrade (NSU) monitor. The monitor and its static analysis have been formalized and proved correct within the Coq proof assistant."}]