1299 search results - page 23 / 260 » On the Correctness of Operating System Kernels |
102
Voted
SOSP
2007
ACM
15 years 10 months ago
2007
ACM
Reliable storage systems depend in part on “write-before” relationships where some changes to stable storage are delayed until other changes commit. A journaled file system, ...
87
Voted
CCS
2007
ACM
15 years 8 months ago
2007
ACM
Various system architectures have been proposed for high assurance enforcement of multilevel security. This paper provides an analysis of the relative merits of three architectura...
106
click to vote
USS
2008
15 years 4 months ago
2008
Hypervisors have been proposed as a security tool to defend against malware that subverts the OS kernel. However, hypervisors must deal with the semantic gap between the low-level...
121
click to vote
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
As devices are scaled to the nanoscale regime, it is clear that future nanodevices will be plagued by higher soft error rates and reduced noise margins. Traditional implementation...
113
click to vote
EUC
2008
Springer
15 years 3 months ago
2008
Springer
The kernel objects consist of critical kernel data structures and system call functions, which are the most important data for a system, should be protected as first-class candida...