RAINBOW Attestation Model and Specification

Summary
This deliverable defines requirements specification and trust assumptions for enforcing behavioral attestation in the RAINBOW architecture It will also provide a detailed analysis of the set of features that are both necessary and sufficient for remote attestation specific to the envisioned use cases