Research Summaries

Back OB-1 Evaluation Support

Fiscal Year 2010
Division Graduate School of Operational & Information Sciences
Department Computer Science
Investigator(s) Dinolt, George W.
Sponsor Space & Naval Warfare Systems Center-Atlantic (Navy)
Summary 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.
Keywords
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