Fiscal Year	2007
Division	Graduate School of Operational & Information Sciences
Department	Computer Science
Investigator(s)	Irvine, Cynthia E.
Sponsor	Space & Naval Warfare Systems Command (Navy)
Summary	The U.S. Navy has requirements to separate and manage information according to its sensitivity. To this end, several efforts are underway to develop components for composition into systems meeting requirements for environments that require high robustness. A problem faced by the developers of these components is the lack of a worked example for a high assurance development framework. The trusted computing exemplar (TCX) project has developed such a framework. This research will investigate the development of procedures for the near-term manual distribution of TCX artifacts. In addition, this research will involve further investigation of multilevel applications, cross domain solutions, and technical exchange.
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