117 search results - page 11 / 24 » Mediating secure information flow policies |
85
Voted
ASIAN
2007
Springer
15 years 3 months ago
2007
Springer
Current information systems are more and more complex. They require more interactions between different components and users. So, ensuring system security must not be limited to us...
113
click to vote
CSFW
2007
IEEE
15 years 3 months ago
2007
IEEE
Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noni...
101
click to vote
CSFW
2010
IEEE
15 years 3 months ago
2010
IEEE
In recent years it has been shown that dynamic monitoring can be used to soundly enforce information flow policies. For programs distributed in source or bytecode form, the use o...
109
click to vote
POPL
1998
ACM
15 years 4 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...
107
click to vote
CASSIS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...