Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

ASSURED

Financiado

Future Proofing of ICT Trust Chains Sustainable Operational Assurance and Verif...

Future Proofing of ICT Trust Chains Sustainable Operational Assurance and Verification Remote Guards for Systems of Systems Security and Privacy ASSURED’s vision is to introduce a ground-breaking policy-driven, formally verified, runtime assurance framework in the complex CPS domain. As the demand for increasingly autonomous CPSs grows, so does the need for certification m... ver más

31/08/2023

MARTEL GMBH

5M€

Presupuesto del proyecto: 5M€

Líder del proyecto

MARTEL GMBH No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Ver 17 Participantes

Financiación concedida El organismo H2020 notifico la concesión del proyecto el día 2023-08-31

SU-ICT-02-2020: Building blocks for resilience in e...

I+D

Cerrada hace 5 años

0% 100% 100%

17 Participantes

MARTEL GMBH

481.65K€ | Lider

IDROLS

412.00K€ | Participante

NETCOMPANYINTRASOFT SA

406.25K€ | Participante

SURREY

297.38K€ | Participante

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

RS³ Resilient and Sustainable Software Security 2M€ Cerrado

TUNE Testing the Untestable Model Testing of Complex Software In... 2M€ Cerrado

PID2021-122830OA-C44 METODOS FORMALES ESCALABLES PARA APLICACIONES REALES 68K€ Cerrado

SYMBIOSYS Symbolic Analysis of Temporal and Functional Behavior of Net... 2M€ Cerrado

TIN2009-14599-C03-01 DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO... 391K€ Cerrado

MirandaTesting Testing Program Analyzers Ad Absurdum 1M€ Cerrado

Duración del proyecto: 36 meses Fecha Inicio: 2020-08-21
Fecha Fin: 2023-08-31

Líder del proyecto

MARTEL GMBH No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 5M€

Descripción del proyecto ASSURED’s vision is to introduce a ground-breaking policy-driven, formally verified, runtime assurance framework in the complex CPS domain. As the demand for increasingly autonomous CPSs grows, so does the need for certification mechanisms to ensure their safety. Current methods towards software and system validation requires exhaustive offline testing of every possible state scenario PRIOR to fielding the system. In this context, novel assurance services ensure that the control output of such controllers does not put the system or people interacting with it in danger, especially in safety-critical applications as the ones envisaged in the ASSURED Demonstrators. ASSURED leverages and enhances runtime property-based attestation and verification techniques to allow intelligent (unverified) controllers to perform within a predetermined envelope of acceptable behaviour, and a risk management approach to extend this to a larger SoS. ASSURED elaborates over the coordination of deployed TEE agents in horizontal scope, encompassing numerous technologies applicable to everything from edge devices to gateways in the cloud. Such technologies DICE for binding devices to firmware/software, trusted execution environments, formal modelling of protocols and software processes, software attestation, blockchain technology for distributed verification of transactions between system elements and control-flow attestation techniques for enhancing the operational correctness of such devices. In this frame, we consider the mutual verification of system components in distributed multi-operator environments. Our approach ensures a smooth transition and advancement beyond current strategies where security management services are considered in an isolated manner relying on traditional perimeter security and forensics in a catch-and-patch fashion without dwelling on the safety of the overall network as a whole, to holistic network security services capable of minimizing attack surfaces.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores