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

reportActive / Technical Report | Accesssion Number: AD1152739 | Open PDF

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.

Author(s):
Vasudevan, Amit
Author Organization(s):
CARNEGIE-MELLON UNIV PITTSBURGH PA
Funding Organization(s):
AIR FORCE LIFE CYCLE MANAGEMENT CENTER HANSCOM AFB MA, HANSCOM AFB , MA
Document Type:
Technical Report/Briefing Charts
Publication Date:
2020 Jan 01
Pagination:
24

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution Code:
A - Approved For Public Release
Distribution Statement: Public Release

RECORD

Collection: TRECMS
Identifying Numbers
Contract Number(s):
FA8702-15-D-0002
Subject Terms
Modernization Areas:
Cyber
Communities of Interest:
Cyber
Descriptor(s):
department of defense, engineering, software development, materials, platforms, security, universities, control systems, guarantees, commodities, engineers, hypervisors, artifacts, retrofitting
Keyword(s):
uobjects, chic-centric, root-of-trust
Subject Categories:
Mathematical and Computer Sciences; Mathematical and Computer Sciences
Creation Date:
2021 Nov 15
Update Date:
2022 Jan 11