Mixed-Trust Real-Time Computation (Briefing Charts)

Abstract

Who Builds a House Without Drawing Blueprints? - Leslie Lamport. Using the mixed-trust framework we can have safety guarantees for complex systems. In systems where not all parts are verified, it is critical to verify the interaction between trusted and untrusted components. Modeling of protocols increases our assurance in the correctness of the properties that we want to enforce.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 31, 2023
Accession Number
AD1197713

Entities

People

  • Dionisio de Niz

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Automata
  • Case Studies
  • Complex Systems
  • Computations
  • Control Systems
  • Cyber-Physical Systems
  • Cyberattacks
  • Engineering
  • Equations
  • Fail Safe
  • Guarantees
  • Language
  • Materials
  • Observers
  • Safety
  • Software Development
  • Universities

Fields of Study

  • Computer science
  • Mathematics

Readers

  • Artificial Intelligence
  • Cybersecurity.
  • Medical or Health Care Field.