Descripción del proyecto
Un modelo de seguridad de tiempo de ejecución para proteger las cadenas de suministro de los sistemas ciberfísicos
A medida que aumenta la demanda de unos sistemas ciberfísicos de sistemas (CPSoS, por sus siglas en inglés), también aumenta la necesidad de disponer de mecanismos de certificación avanzados que puedan mejorar su posición de seguridad sin poner en peligro su capacidad de protección. Los métodos de validación actuales requieren la realización de pruebas exhaustivas fuera de línea de cada escenario de estado posible antes de desplegar el sistema. El proyecto ASSURED, financiado con fondos europeos, introduce un modelo de seguridad de tiempo de ejecución innovador y formalmente verificado para proteger las cadenas de suministro de los sistemas ciberfísicos: aprovechando los ecosistemas de computación en el borde, se desarrollará una solución distribuida universal para transformar los CPSoS en soluciones de CPSoS distribuidas esenciales para la seguridad en las que se podrán alojar muchas aplicaciones de criticidad mixta. El enfoque del proyecto permitirá superar las actuales estrategias limitantes y garantizará una transición y un avance sencillos hacia unos servicios holísticos de seguridad (atestación) que sean capaces de reducir las superficies de ataque complejas (casi) en tiempo real.
Objetivo
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.
Ámbito científico
Palabras clave
Programa(s)
Convocatoria de propuestas
Consulte otros proyectos de esta convocatoriaConvocatoria de subcontratación
H2020-SU-ICT-2019
Régimen de financiación
RIA - Research and Innovation actionCoordinador
8600 Dubendorf
Suiza
Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.