Visible to the public Scalable Trust Semantics & Infrastructure — 2022 Q2Conflict Detection Enabled

PI(s): Perry Alexander

RESEARCHER(s):

HARD PROBLEM(S) ADDRESSED: Policy-Governed Secure Collaboration, Scalability and Composability

PUBLIC ACCOMPLISHMENT HIGHLIGHTS:

  • Continued development of protocol negotiation and synthesis techniques
  • Initiated formal specification of attestation system manifests for defining and reasoning about complex attestation systems
  • Initiated formal specification of information disclosure from attestation protocol execution
  • Continued integrating the TPM 2.0, TSS and OpenSSL into the Copland attestation framework
  • Continued development of attestation health records and initialization focusing on enterprise attestation and supply chain protection

PUBLICATIONS FROM THE QUARTER:

Petz, A. and P. Alexander, "An Environment for Faithful Execution of Remote Attestation Protocols ," in press Innovations in Systems and Software Engineering special issue, selected papers from NASA Formal Methods 2021.