Projektbeschreibung
Ein innovatives Framework für die Laufzeitsicherung zum Schutz der Lieferketten cyber-physischer Systeme
Mit der steigenden Nachfrage nach zunehmend autonomen cyber-physischen Systemen wächst auch der Bedarf an fortschrittlichen Zertifizierungsmechanismen, die ihren Sicherheitszustand verbessern können, ohne ihre Sicherheit zu beeinträchtigen. Vorhandene Validierungsmethoden erfordern jedoch umfassende Offline-Tests aller möglichen Zustandsszenarien, bevor das System in der Praxis eingesetzt werden kann. Das EU-finanzierte Projekt ASSURED führt ein innovatives, formal verifiziertes Framework für die Laufzeitsicherung zum Schutz der Lieferketten cyber-physischer Systeme ein: Durch die Nutzung von Edge-Computing-Ökosystemen wird eine universelle dezentrale Lösung für die Umwandlung cyber-physischer Systeme in dezentrale sicherheitskritische cyber-physische Systemlösungen entwickelt, die mehrere Anwendungen mit gemischter Kritikalität hosten. Der Projektansatz wird einen reibungslosen Übergang und eine Weiterentwicklung über die derzeitigen Begrenzungsstrategien hinaus hin zu ganzheitlichen Sicherheitsdiensten (Attestierungsdiensten) sicherstellen, die komplexe Angriffsflächen in (nahezu) Echtzeit reduzieren können.
Ziel
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.
Wissenschaftliches Gebiet
Schlüsselbegriffe
Programm/Programme
Aufforderung zur Vorschlagseinreichung
Andere Projekte für diesen Aufruf anzeigenUnterauftrag
H2020-SU-ICT-2019
Finanzierungsplan
RIA - Research and Innovation actionKoordinator
8600 Dubendorf
Schweiz
Die Organisation definierte sich zum Zeitpunkt der Unterzeichnung der Finanzhilfevereinbarung selbst als KMU (Kleine und mittlere Unternehmen).