Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, hover, that an observer might ll use time to gain information about what a high-level user of the system is doing.  use the priority  tock  view (a discrete timed model) to extend several traditional untimed noninterference properties to the timed world. These are the determinism-based conditions of [14], [15] and [17], and Forster's local noninterference properties [6], [7].
['J. B. Huang', 'A. W. Roscoe']
I am writing a research paper on a idea Extending noninterference properties to the timed world
[{"from": "human", "value": "I am writing a research paper on a idea Extending noninterference properties to the timed world"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, hover, that an observer might ll use time to gain information about what a high-level user of the system is doing.  use the priority  tock  view (a discrete timed model) to extend several traditional untimed noninterference properties to the timed world. These are the determinism-based conditions of [14], [15] and [17], and Forster's local noninterference properties [6], [7]."}]