Smart Cities


One of the driving forces in the emergence of smart cities is the provision of advanced services towards public safety and security. The core objective is to automate the interactions between various technologies and systems (i.e., TVCC Management Systems, Emergency Management Networks, Water Management, Street Lights Management, and Smart Grid Management), comprising heterogeneous SoS-enabled ecosystems, in ensuring that people feel safe in their surroundings.

ASSURED Framework will use all the runtime risk assessment and auditable security policy enforcement mechanisms (via the use of smart contracts) to allow fast prototyping and enable protection at a device level, and collaboratively prove its nominal functionality to the belonging network.

Models and code of the current device processing algorithms will be combined with models of the requirements (monitors), and co-simulated with plant models of the smart city infrastructure at the lab using a 3D simulation environment. The specific device will be initially injected with faults and attacks at different level of control (control software, hardware, firmware), exercising several security policies after the use-case risk assessment. At the same time attestation mechanisms will be challenged with specific security attacks physically and logically performed at the device hardware or software resources. Furthermore, the current management framework will make full use of ASSURED internal Blockchain-based distributed ledgers.