Scalable Trust Semantics & Infrastructure —2019Q2

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:

• Released a reusable Haskell-based attestation manager prototype
• 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.
• Continued defining attestation protocol negotiation
• Continued defining negotiation, selection, and privacy policies defining protocol negotiation
  

PUBLICATIONS FROM THE QUARTER:

None.