11 search results - page 1 / 3 » Tractable Enforcement of Declassification Policies |
CSFW
2008
IEEE
13 years 11 months ago
2008
IEEE
SP
2008
IEEE
13 years 4 months ago
2008
IEEE
This paper provides a way to specify expressive declassification policies, in particular, when, what, and where policies that include conditions under which downgrading is allowed...
CSFW
2008
IEEE
13 years 6 months ago
2008
IEEE
Declassification occurs when the confidentiality of information is weakened; erasure occurs when the confidentiality of information is strengthened, perhaps to the point of comple...
ESOP
2010
Springer
13 years 8 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...
POPL
2008
ACM
14 years 5 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...