Abstract: A protection profile for high-robustness separation kernels has recently been validated and several implementations are under development.
A set of security requirements for medium-robustness separation kernels is proposed that represent an incremental improvement in the pursuit of secure ...
Option-based portfolio insurance can result in coordinated buying and selling, which destabilizes markets such that hedgers fail to achieve their objective.
As a step toward a protection profile, a set of security requirements for medium-robustness separation kernels is proposed. These requirements result from an ...
A protection profile for high-robustness separation kernels has recently been validated and several implementations are under development.
A protection profile for high-robustness separation kernels has recently been validated and several implementations are under development.
This “US Government Protection Profile for Separation Kernels in Environments Requiring High Robustness” (SKPP) specifies the security functional and assurance ...
Missing: Toward Medium-
Toward a Medium-Robustness Separation Kernel Protection Profile. ACSAC 2007 ... High Robustness Requirements in a Common Criteria Protection Profile.
Like other security kernels, a separation kernel manages all resources under its control and can protect itself so that it cannot be attacked. A separation ...
This paper explores the potential of the data type fault model, which injects faults through the Application Program Interface, in separation kernel robustness ...