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