146 search results - page 20 / 30 » Secure information flow for a concurrent language with sched... |
161
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
174
click to vote
ESOP
2010
Springer
15 years 9 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...
273
click to vote
POPL
2008
ACM
16 years 6 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...
169
Voted
CSFW
2008
IEEE
15 years 8 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...
154
Voted
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...