The Fluke Security Project

Abstract

This document presents the final report of the University of Utah-based project officially titled "Mach 4 Kernel and IDL Infrastructure for Security" but often referred to as the "Fluke Security" Project. This project is noteworthy for the number diversity, scale, robustness, and documentation of the six new software systems that were designed and developed. Although the project's primary focus was security and resource management in local operating systems, independently valuable results were also achieved in diverse technical areas conceived in support of the primary goals. These included compilation of interface definition languages, component-based software and software reuse, typesafe language technology, and distributed object systems.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 2000
Accession Number
ADA377234

Entities

People

  • Jay Lepreau

Organizations

  • University of Utah

Tags

Communities of Interest

  • C4I
  • Cyber
  • Human Systems
  • Materials and Manufacturing Processes
  • Space

DTIC Thesaurus Topics

  • Air Force Research Laboratories
  • Computer Network Security
  • Computer Programming
  • Computer Science
  • Computers
  • Device Drivers
  • Information Systems
  • Kernels (Operating System)
  • Language
  • Network Protocols
  • Operating Systems
  • Programming Languages
  • Resource Management
  • Security
  • Servers (Computer Hardware)
  • System Software
  • Systems Engineering

Fields of Study

  • Computer science

Readers

  • Database Systems and Applications
  • Defense Technology Research and Development.
  • Theoretical Analysis.