loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
19th IEEE Computer Security Foundations Workshop (CSFW'06)
Securing Interaction between Threads and the Scheduler
Venice, Italy
July 05-July 07
ISBN: 0-7695-2615-2
Alejandro Russo, Chalmers University of Technology, Sweden
Andrei Sabelfeld, Chalmers University of Technology, Sweden
The problem of information flow in multithreaded programs remains an important open challenge. Existing approaches to specifying and enforcing information-flow security often suffer from over-restrictiveness, relying on non-standard semantics, lack of compositionality, inability to handle dynamic threads, scheduler dependence, and efficiency overhead for code that results from securityenforcing transformations. This paper suggests a remedy for some of these shortcomings by developing a novel treatment of the interaction between threads and the scheduler. As a result, we present a permissive noninterference-like security specification and a compositional security type system that provably enforces this specification. The type system guarantees security for a wide class of schedulers and provides a flexible and efficiency-friendly treatment of dynamic threads.
Citation:
Alejandro Russo, Andrei Sabelfeld, "Securing Interaction between Threads and the Scheduler," csfw, pp.177-189, 19th IEEE Computer Security Foundations Workshop (CSFW'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.