Accession Number:

AD1039786

Title:

The Fracture Project

Descriptive Note:

Technical Report,01 Aug 2012,31 May 2017

Corporate Author:

The Charles Stark Draper Laboratory, Inc. Cambridge United States

Personal Author(s):

• Casinghino,Chris

Report Date:

2017-09-01

Pagination or Media Count:

45.0

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.

Descriptors:

• computer programs
• operating systems
• trees (data structures)
• network architecture
• programming languages
• computer networks
• compilers
• embedded systems
• government procurement
• graphical user interface
• vulnerability

Subject Categories:

• Computer Systems Management and Standards

Distribution Statement:

APPROVED FOR PUBLIC RELEASE