Research Summaries

Back Trusted Computing Exemplar: Least Privilege Separation Kernel - Vertical Slice

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