loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 21st IEEE Computer Security Foundations Symposium
Information Flow in Systems with Schedulers
June 23-June 25
ISBN: 978-0-7695-3182-3
The focus of work on information flow security has primarily been on definitions of security in asynchronous systems models. This paper considers systems with schedulers, which require synchronous variants of these definitions. In particular, it studies the dependence of these variant definitions of security on implementation details of the scheduler. Such independence is shown to hold for synchronous variants of trace-based definitions, but not for bisimulation-based definitions. Stronger versions of the bisimulation-based definitions are proposed that recover implementation-independence.
Index Terms:
noninterference, information flow, scheduler
Citation:
Ron van der Meyden, Chenyi Zhang, "Information Flow in Systems with Schedulers," csf, pp.301-312, 2008 21st IEEE Computer Security Foundations Symposium, 2008
Usage of this product signifies your acceptance of the Terms of Use.