311 search results - page 44 / 63 » Secure Information Flow by Self-Composition |
114
click to vote
CSFW
2008
IEEE
15 years 3 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...
120
click to vote
ESOP
2010
Springer
15 years 4 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...
100
click to vote
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
232
click to vote
POPL
2005
ACM
16 years 1 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
217
click to vote
POPL
2008
ACM
16 years 1 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...