Next Article in Journal
Removable Weighing Lysimeter for Use in Horticultural Crops
Previous Article in Journal
Optical and Electrochemical Characterization of Nanoporous Alumina Structures: Pore Size, Porosity, and Structure Effect
Previous Article in Special Issue
Multiagency Modeling of Transformation Strategies Towards Sustainable Smart Cities
Open AccessArticle

Artificial Intelligence-Driven Composition and Security Validation of an Internet of Things Ecosystem

1
Foundation for Research and Technology–Hellas, Institute of Computer Science, 70013 Vassilika Vouton, Greece
2
Electrical and Computer Engineering, Technical University of Crete, 73100 Akrotiri Campus, Greece
3
Electrical and Computer Engineering, Hellenic Mediterranean University (HMU), 71410 Estavromenos, Greece
*
Author to whom correspondence should be addressed.
Appl. Sci. 2020, 10(14), 4862; https://doi.org/10.3390/app10144862
Received: 29 May 2020 / Revised: 7 July 2020 / Accepted: 11 July 2020 / Published: 15 July 2020
(This article belongs to the Special Issue Smart City and Multi-Agent Systems)
Key challenges in Internet-of-Things (IoT) system design and management include the secure system composition and the calculation of the security and dependability level of the final system. This paper presents an event-based model-checking framework for IoT systems’ design and management, called CompoSecReasoner. It invokes two main functionalities: (i) system composition verification, and (ii) derivation and validation of security, privacy, and dependability (SPD) metrics. To measure the SPD values of a system, we disassemble two well-known types of security metrics—the attack surface methodologies and the medieval castle approach. The first method determines the attackable points of the system, while the second one defines the protection level that is provided by the currently composed system-of-systems. We extend these techniques and apply the Event Calculus method for modelling the dynamic behavior of a system with progress in time. At first, the protection level of the currently composed system is calculated. When composition events occur, the current system status is derived. Thereafter, we can deploy reactive strategies and administrate the system automatically at runtime, implementing a novel setting for Moving Target Defenses. We demonstrate the overall solution on a real ambient intelligence application for managing the embedded devices of two emulated smart buildings. View Full-Text
Keywords: dependability; dynamic system composition; event calculus; Internet-of-Things; IoT; JADE; JESS; metrics; OSGi; Moving Target Defenses dependability; dynamic system composition; event calculus; Internet-of-Things; IoT; JADE; JESS; metrics; OSGi; Moving Target Defenses
Show Figures

Figure 1

MDPI and ACS Style

Hatzivasilis, G.; Papadakis, N.; Hatzakis, I.; Ioannidis, S.; Vardakis, G. Artificial Intelligence-Driven Composition and Security Validation of an Internet of Things Ecosystem. Appl. Sci. 2020, 10, 4862. https://doi.org/10.3390/app10144862

AMA Style

Hatzivasilis G, Papadakis N, Hatzakis I, Ioannidis S, Vardakis G. Artificial Intelligence-Driven Composition and Security Validation of an Internet of Things Ecosystem. Applied Sciences. 2020; 10(14):4862. https://doi.org/10.3390/app10144862

Chicago/Turabian Style

Hatzivasilis, George; Papadakis, Nikos; Hatzakis, Ilias; Ioannidis, Sotiris; Vardakis, George. 2020. "Artificial Intelligence-Driven Composition and Security Validation of an Internet of Things Ecosystem" Appl. Sci. 10, no. 14: 4862. https://doi.org/10.3390/app10144862

Find Other Styles
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Access Map by Country/Region

1
Search more from Scilit
 
Search
Back to TopTop