Sciweavers

SAC
2006
ACM

Extending noninterference properties to the timed world

13 years 9 months ago
Extending noninterference properties to the timed world
Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, however, that an observer might well use time to gain information about what a high-level user of the system is doing. We 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]. Keywords Information flow, noninterference, discrete time, CSP
Jian Huang, A. W. Roscoe
Added 14 Jun 2010
Updated 14 Jun 2010
Type Conference
Year 2006
Where SAC
Authors Jian Huang, A. W. Roscoe
Comments (0)