Success in information warfare will depend on resilient, reconstitutable cyber assets and the ability to assess and respond to attacks. A cornerstone of this...
naval postgraduate school monterey ca center for information systems security studies and research, 2006
In most computer science graduate programs, students must complete an advanced research project that demonstrates the students technical competence in both the...
Providing a stable testing environment for experimentation is a common goal of all Testbeds. To date, few, if any, have supported research in high assurance...
naval postgraduate school monterey ca center for information systems security studies and research, 2007
Control of access to information based upon temporal attributes can add another dimension to access control. To demonstrate the feasibility of operating...
naval postgraduate school monterey ca center for information systems security studies and research, 2006
Discussion Topics include: Motivations; Project Background-Draft Multilevel Print Server (MPS) PP; CC Version 2.2 -> CC Version 3.0- Objectives and Approach,...
naval postgraduate school monterey ca center for information systems security studies and research, 2006
The development of a Common Criteria protection profile for high-robustness separation kernels requires explicit modifications of several Common Criteria...
naval postgraduate school monterey ca dept of computer science, 2006
We extend the separation kernel abstraction to represent the enforcement of the principle of least privilege. In addition to the inter-block flow control...
naval postgraduate school monterey ca dept of computer science, 2006
Various system architectures have been proposed for highly robust enforcement of multilevel security (MLS). This paper provides an analysis of the relative...
An overview of the Trusted Computing Exemplar (TCX) research project and its accomplishments to date are presented. The TCX project is constructing a...