Nexus Operating System for Trustworthy Computing

Abstract

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 2009
Accession Number
ADA510872

Entities

People

  • Fred B. Schneider

Organizations

  • Cornell University

Tags

Communities of Interest

  • C4I
  • Cyber
  • Energy and Power Technologies
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force Research Laboratories
  • Application Protocols
  • Application Software
  • C Programming Language
  • Central Processing Units
  • Computer Access Control
  • Computer Networks
  • Computer Programming
  • Computing System Architectures
  • Configuration Management
  • Device Drivers
  • Kernels (Operating System)
  • Language
  • Network Protocols
  • Operating Systems
  • Routing Protocols
  • Systems Engineering

Fields of Study

  • Computer science

Readers

  • Adaptive Control and Estimation with Uncertainty in Dynamic Systems.
  • Computer Networking
  • Cybersecurity.