Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Runtime monitors are a widely used approach to enforcing security policies. Truncation monitors are based on the idea of truncating an execution before a violation occurs. Thus, the range of security policies they can enforce is limited to safety properties. The use of an a priori static analysis of the target program is a possible way of extending the range of monitorable properties.  presents an approach to producing an in-lined truncation monitor, which draws upon the above intuition. Based on an a priori knowledge of the program behavior, this approach allows, in some cases, to enforce more than safety properties and is more porful than a classical truncation mechanism.  provide and prove a theorem stating that a truncation enforcement mechanism considering only the set of possible executions of a specific program is strictly more porful than a mechanism considering all the executions over an alphabet of actions.
['Hugues Chabot', 'Raphaël Khoury', 'Nadia Tawbi']
I am writing a research paper on a idea Extending the enforcement power of truncation monitors using static analysis
[{"from": "human", "value": "I am writing a research paper on a idea Extending the enforcement power of truncation monitors using static analysis"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Runtime monitors are a widely used approach to enforcing security policies. Truncation monitors are based on the idea of truncating an execution before a violation occurs. Thus, the range of security policies they can enforce is limited to safety properties. The use of an a priori static analysis of the target program is a possible way of extending the range of monitorable properties.  presents an approach to producing an in-lined truncation monitor, which draws upon the above intuition. Based on an a priori knowledge of the program behavior, this approach allows, in some cases, to enforce more than safety properties and is more porful than a classical truncation mechanism.  provide and prove a theorem stating that a truncation enforcement mechanism considering only the set of possible executions of a specific program is strictly more porful than a mechanism considering all the executions over an alphabet of actions."}]