18 search results - page 1 / 4 » Improved typings for probabilistic noninterference in a mult... |
138
click to vote
POPL
1998
ACM
15 years 7 months ago
1998
ACM
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
88
Voted
JCS
2006
15 years 2 months ago
2006
137
click to vote
CSFW
1998
IEEE
15 years 6 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...
123
click to vote
CSFW
2003
IEEE
15 years 8 months ago
2003
IEEE
To be practical, systems for ensuring secure information flow must be as permissive as possible. To this end, the author recently proposed a type system for multi-threaded progra...
129
click to vote
CCS
2006
ACM
15 years 6 months ago
2006
ACM
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...