4 search results - page 1 / 1 » Toward a Medium-Robustness Separation Kernel Protection Prof... |
ACSAC
2007
IEEE
13 years 9 months ago
2007
IEEE
A protection profile for high-robustness separation kernels has recently been validated and several implementations are under development. However, medium-robustness separation ke...
IWIA
2006
IEEE
13 years 11 months ago
2006
IEEE
The development of a Common Criteria protection profile for high-robustness separation kernels requires explicit modifications of several Common Criteria requirements as well as e...
CCS
2007
ACM
13 years 11 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...
CCS
2006
ACM
13 years 8 months ago
2006
ACM
Application security is typically coded in the application. In kernelSec, we are investigating mechanisms to implement application security in an operating system kernel. The mech...