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...
CSFW
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
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...