Automated Trust Analysis for Layered Attestations

Abstract

In distributed systems, trust decisions are often based on layered attestations in which evidence is gathered about the integrity of subcomponents, leveraging hierarchical dependencies among the subcomponents to bolster the trustworthiness of evidence. Copland is a domain-specific language for specifying complex layered attestations. How phrases are composed bears directly on the trustworthiness of the evidence they produced, and complex phrases become quite difficult to analyze by hand. We introduce an automated method for analyzing executions of attestations specified by Copland phrases in an adversarial setting. We develop a general theory of executions with adversarial corruption and repair events.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 25, 2021
Accession Number
AD1156914

Entities

People

  • Ian D. Kretz
  • John D. Ramsdell
  • Paul D. Rowe

Organizations

  • MITRE Corporation

Tags

Communities of Interest

  • C4I
  • Cyber
  • Engineered Resilient Systems

DTIC Thesaurus Topics

  • Anti-Virus Software
  • Automation
  • Buildings And Structures
  • Cybersecurity
  • Detection
  • Geometric Forms
  • Instructions
  • Intervals
  • Language
  • Law
  • Literature Surveys
  • Malware
  • Operating Systems
  • Pipelines
  • Resilience
  • Security
  • Sequences

Fields of Study

  • Computer science

Readers

  • Agent-Based Social Robotics and Mobile-Assisted Learning in Virtual Environments.
  • Computational Linguistics
  • Cybersecurity.