Composability for Secure Systems

Abstract

This document is the final technical report for the Composability for Secure Systems (CSS) program whose objective was to develop and demonstrate a composable methodology for building highly-assured, fault tolerant distributed systems and networks, and to design an automated development environment to support the methodology. The CCS program studied composition and refinement as unifying concepts that support analysis of functional correctness, fault tolerance and security form a single specification. A mathematical framework was developed for specifying and analyzing systems. This report provides an overview of all the technical conducted in pursuit of these goals. It described significant accomplishments and obstacles encountered during these tasks and lessons learned while carrying out the program. Finally, it provides suggestions for future effort which build upon the success of the program or addresses deficiencies.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 2001
Accession Number
ADA397991

Entities

People

  • Charles Payne
  • David Apostal
  • Duane Olawsky
  • Todd Fine
  • Tom Sundquist

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Algorithms
  • Computer Access Control
  • Computer Programming
  • Computers
  • Contracts
  • Cybersecurity
  • Environment
  • Fault Tolerance
  • Lessons Learned
  • Network Protocols
  • Operating Systems
  • Security
  • Security Protocols
  • Specifications
  • Standards

Fields of Study

  • Computer science
  • Engineering

Readers

  • Cybersecurity.
  • Distributed Systems and Data Platform Development
  • Software Engineering