35 search results - page 2 / 7 » Security for Multithreaded Programs Under Cooperative Schedu... |
DATE
2010
IEEE
13 years 10 months ago
2010
IEEE
—Synchronous languages offer a deterministic model of concurrency at the level of actions. However, essentially all compilers for synchronous languages compile these actions into...
ASIAN
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. A major difficulty for tracking information flow in multithreaded programs is due to the internal timing covert channel. Information is leaked via this channel when secre...
CSFW
2006
IEEE
13 years 11 months ago
2006
IEEE
The problem of information flow in multithreaded programs remains an important open challenge. Existing approaches to specifying and enforcing information-flow security often su...
CSFW
1998
IEEE
13 years 9 months ago
1998
IEEE
In previous work [16], we give a type system that guarantees that well-typed multithreaded programs are possibilistically noninterfering. If thread scheduling is probabilistic, ho...
APLAS
2009
ACM
13 years 9 months ago
2009
ACM
Type and effect systems are a tool to analyse statically the behaviour of programs with effects. We present a proof based on the so called reducibility candidates that a suitable ...