Research Summaries

Back High Assurance Artifact Distribution Procedures and Application of Separation Kernals

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