Automated, Certified Program-rewriting for Software Security Enforcement

Abstract

This project discovered and developed algorithms and tools for (1) automatically retrofitting binary legacy software with access controls, and (2) formally machine-certifying that the retrofitted software satisfies user-specified security policies. The research resulted in new software security systems for Java, ActionScript. and x86 native code that provably secure legacy code without any form of code-producer cooperation (e.g., source code or compiler support).

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 05, 2012
Accession Number
ADA567227

Entities

People

  • Kevin W. Hamlen

Organizations

  • University of Texas at Dallas

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Algorithms
  • Automata Theory
  • Compilers
  • Computer Access Control
  • Computer Languages
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Cybersecurity
  • Formal Languages
  • Language
  • Object-Oriented Programming Language
  • Operating Systems
  • Programming Languages
  • Security
  • Software Development

Fields of Study

  • Computer science
  • Engineering

Readers

  • Cybersecurity.
  • Database Systems and Applications