Visible to the public Scalable Trust Semantics & Infrastructure —2019Q1Conflict Detection Enabled

Submitted by Warren Alexander on Mon, 04/15/2019 - 11:06am

PI(s): Perry Alexander

Co-PI(s): Garrett Morris

RESEARCHER(s):

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

PUBLIC ACCOMPLISHMENT HIGHLIGHTS:

  • Continued working with MITRE, JHUAPL and NSA on Copland and application to layered attestation.
  • Continued formalizing the definition of an Attestation Manager built around the Copland semantics.
  • Extended the prototype Copland-based Attestation Manager to include socket-based communication
  • Began defining protocol negotiation where an attestation protocol is agreed upon between an appraiser and target.
  • Began defining negotiation, selection, and privacy policies that constrain protocol negotiation.
  • Presented papers on the Copland semantics for attestation protocols at HoTSoS'19 and POST'19.

PUBLICATIONS FROM THE QUARTER:

  • Petz, A. and P. Alexander, "A Copland Attestation Manager," Hot Topics in Science of Security (HoTSoS'19), Nashville, TN, April 2019.
  • Ramsdell, J., P. D. Rowe, P. Alexander, S. Helble, P. Loscocco, J. A. Pendergrass, and A. Petz, "Orchestrating Layered Attestations," Principles of Security and Trust (POST'19), Prague, Czech Republic, April 8-11, 2019.
Groups: