100 search results - page 17 / 20 » Secure Information Flow in a Multi-Threaded Imperative Langu... |
TISSEC
2010
14 years 4 months ago
2010
The SELinux mandatory access control (MAC) policy has recently added a multi-level security (MLS) model which is able to express a fine granularity of control over a subject'...
ESOP
2010
Springer
15 years 27 days 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...
CSFW
2008
IEEE
14 years 11 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...
APLAS
2007
ACM
15 years 1 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...
ACMSE
2005
ACM
15 years 3 months ago
2005
ACM
Traditionally, computer science education has considered “objects-first” or “imperative-first” approaches, with the focus of the course on teaching design of programs star...