Towards Incremental and Compositionally Verifiable Security for CHIC-centric Cyber Physical Systems

Abstract

We have an approach that will allow system integrators and developers the ability to use CHIC-centric cyber physical system platforms to deliver rapid capabilities, but do so while integrating security at the lowest levels of the system implementations in a provable, cost-effective and functionality preserving way.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2021
Accession Number
AD1152739

Entities

People

  • Amit Vasudevan

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Artifacts
  • Commodities
  • Computer Programming
  • Control Systems
  • Department Of Defense
  • Device Drivers
  • Engineering
  • Engineers
  • Guarantees
  • Hypervisors
  • Kernels (Operating System)
  • Language
  • Materials
  • Middleware
  • Operating Systems
  • Platforms
  • Programming Languages
  • Retrofitting
  • Security
  • Software Development
  • Test And Evaluation
  • Universities

Fields of Study

  • Computer science

Readers

  • Cybersecurity.
  • Distributed Systems and Data Platform Development

Technology Areas

  • Cyber