Verifying Trust in Cyber-Physical Systems with Untrusted Components

Abstract

Most systems today include untrusted components, such as open source components COTS. Provenance could be unknown/unverified, including open source with too many authors and commercial entities that cannot be economically verified. It is not practical to assume we can verify everything and we cannot verify at design time.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 21, 2022
Accession Number
AD1174917

Entities

People

  • Dionisio de Niz

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Collision Avoidance
  • Computations
  • Computer Access Control
  • Computer Programming
  • Control Theory
  • Department Of Defense
  • Detection
  • Engineering
  • Environment
  • Governments
  • Guarantees
  • Kernels (Operating System)
  • Materials
  • Patents
  • Physical Properties
  • Rate Of Consumption
  • Safety
  • Scheduling (Production)
  • Sequences
  • Software Development
  • Trademarks
  • Trajectories
  • Universities
  • Verification

Fields of Study

  • Computer science
  • Mathematics

Readers

  • Cybersecurity.
  • Systems Analysis and Design

Technology Areas

  • Cyber