Closure Final Project Report

Abstract

Peraton Labs Cross-domain Language extensions for Optimal SecUre Refactoring and Execution (CLOSURE) project is building a toolchain to support the development, refactoring, and correct-by-construction partitioning of applications and configuration of the guards. Using the CLOSURE approach and toolchain, developers will express security intent through annotations applied to the program, which drive the program analysis, partitioning, and code auto-generation required by a GAPS application.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 07, 2024
Accession Number
AD1227696

Entities

People

  • Michael A. Kaplan

Organizations

  • Applied Communication Sciences

Tags

Fields of Study

  • Computer science
  • Engineering

Readers

  • Distributed Systems and Data Platform Development
  • Environmental Remediation and Restoration.
  • Software Engineering.