Summaries - Office of Research & Innovation
Back OB-1 Evaluation Support
|Division||Graduate School of Operational & Information Sciences|
|Investigator(s)||Dinolt, George W.|
|Sponsor||Space & Naval Warfare Systems Center-Atlantic (Navy)|
NPS proposes to support the evaluation of the OB-1 project, especially how the "separation-kernel" is used. The project will be using the" Green Hills" kernel. We will briefly study and evaluate the integration of the kernel with the cryptographic software and ancillary support functions to provide some measure of the assurance provided by the system.
Our work will be primarily a "paper study" given the architecture documents, our understanding of the separation properties provided by the Green Hills kernel and our study of the code, as time permits.
|Publications||Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal|
|Data||Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal|