Fiscal Year	2008
Division	Graduate School of Operational & Information Sciences
Department	Computer Science
Investigator(s)	Irvine, Cynthia E.
Sponsor	Office of Naval Research (Navy)
Summary	This work is to conduct research that will result in component meeting criteria for evaluation at the highest levels of assurance. The component will be a vertical slice of a Least Privilege Separation Kernel: The KPSK-VS. The vertical slice will be a usable high assurance system with all documentation required for an EAL 7 evaluation against the U.S. Government Protection Profile for Separation Kernels in Environments Requiring High Robustness. It will include the LPSK-VS lifecycle plans and procedures, design documentation, implementation, formal work, user documentation, reference application, test documentation. Research will include analysis and design of kernel functions to support resource sharing among partitions as permitted by policy transient trust, and emergency access to critical data.
Keywords	Information Assurance High Assurance Least Privilege
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