HARDEN: A High Assurance Design Environment

Abstract

Systems resilient to cyber-attacks for mission assurance are difficult to develop, and the means of effectively evaluating them is even harder. We have developed a new architectural design and engineering environment, referred to as HARDEN (High AssuRance Design ENvironment), which supports an agile design methodology used to create secure and resilient systems. This new toolkit facilitates the quantitative analysis of a systems security posture by setting up a systematic approach of securing and analyzing embedded systems. HARDEN promotes the early co-design of functionality and security that now enables the development of mission assured systems.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 25, 2019
Accession Number
AD1075479

Entities

People

  • David Whelihan
  • Donald Russo
  • Douglas Schafer
  • Haley Whitman
  • Michael Vai
  • Roger Khazan

Organizations

  • Rome Laboratory

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Acquisition
  • Air Force
  • Air Force Research Laboratories
  • Cyberattacks
  • Cybersecurity
  • Embedded Systems
  • Engineering
  • Language
  • Materials
  • Military Research
  • Resilience
  • Security
  • Semantic Models
  • Space Exploration
  • Standards
  • System Safety
  • Systems Analysis

Fields of Study

  • Computer science

Readers

  • Cybersecurity.
  • Systems Analysis and Design

Technology Areas

  • Cyber