Nexus Operating System for Trustworthy Computing
Final technical rept. June 2007-May 2009
CORNELL UNIV ITHACA NY OFFICE OF SPONSORED PROGRAMS
Pagination or Media Count:
The NEXUS project investigated new abstractions for building trustworthy applications. A new operating system was built, as well as a secure version of BGP and a suite of document management applications. A authorization logic, called NAL, was also developed it provides the means to specify authorization policies in operating systems and in applications.
- Computer Programming and Software