ENTRUST D3.1 Trust Abstractions and Cryptographic Anchors for CMD Secure Operation

In this deliverable we first provide an elaborated action workflow of the operational phases of the ENTRUST framework (Design, Pre-deployment, Runtime). Afterwards, we focus on the specific components of the ENTRUST framework participating in the trust level maintenance process and we provide details on the approach followed in this regard for each component, as well as user stories and functional specifications. The Formal Verification component uses formal methods in order to ensure the correctness of the schemes and security enablers of ENTRUST. The Threat Modelling and Software Verification components are introduced for identifying and formalizing the threat landscape affecting the device, as well as their interconnectivity with the Risk Assessment component. Furthermore, the Protection Profiles are defined containing the trustworthiness attributes and security enablers associated with these, and by the end we outline the Digital Twins used in order to simulate attacks and potentially malicious behaviour in order to identify new threats or vulnerabilities.