The Fracture Project

Abstract

This report describes research and testing carried out as the voice of the offense in the HACMS program, ensuring that the development and verification tasks undertaken by the Blue Teams focused on preventing realistic attacks on the demonstration systems. To this end, this effort (a) conducted extensive penetration testing of original and secured demonstration platforms and (b) developed novel formal methods-based tools to directly analyze software produced by Blue Team performers. This report describes how this approach resulted in the detection of numerous vulnerabilities over the course of the program and explains the research contributions made by the formal methods team in the development of a collection of new static analysis tools.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 2017
Accession Number
AD1039786

Entities

People

  • Chris Casinghino

Organizations

  • Charles Stark Draper Laboratory

Tags

Communities of Interest

  • C4I
  • Cyber
  • Engineered Resilient Systems

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Complex Systems
  • Computer Networks
  • Computer Programming
  • Computer Programs
  • Computers
  • Computing System Architectures
  • Cyber-Physical Systems
  • Engineering
  • Language
  • Network Architecture
  • Operating Systems
  • Systems Engineering
  • Trees (Data Structures)
  • Verification
  • Vulnerability

Fields of Study

  • Computer science
  • Engineering

Readers

  • Cybersecurity.
  • Software Engineering.
  • Technical Research and Report Writing.