Ιδρυματικό Αποθετήριο
Πολυτεχνείο Κρήτης
Πολυτεχνείο Κρήτης
EN
|
EL
| URI | http://purl.tuc.gr/dl/dias/EDDEEC37-1975-439B-8556-21EA1A19413C | - |
| Αναγνωριστικό | https://doi.org/10.3390/app10144862 | - |
| Αναγνωριστικό | https://www.mdpi.com/2076-3417/10/14/4862/htm | - |
| Γλώσσα | en | - |
| Μέγεθος | 32 pages | en |
| Μέγεθος | 3,1 megabytes | en |
| Τίτλος | Artificial intelligence-driven composition and security validation of an Internet of Things ecosystem | en |
| Δημιουργός | Hatzivasilis, George | en |
| Δημιουργός | Papadakis Nikos | en |
| Δημιουργός | Hatzakis Ilias | en |
| Δημιουργός | Ioannidis Sotirios | en |
| Δημιουργός | Sotirios | el |
| Δημιουργός | Vardakis George | en |
| Εκδότης | MDPI | en |
| Περίληψη | 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. | en |
| Τύπος | Peer-Reviewed Journal Publication | en |
| Τύπος | Δημοσίευση σε Περιοδικό με Κριτές | el |
| Άδεια Χρήσης | http://creativecommons.org/licenses/by/4.0/ | en |
| Ημερομηνία | 2021-07-13 | - |
| Ημερομηνία Δημοσίευσης | 2020 | - |
| Θεματική Κατηγορία | Dependability | en |
| Θεματική Κατηγορία | Dynamic system composition | en |
| Θεματική Κατηγορία | Event calculus | en |
| Θεματική Κατηγορία | Internet-of-Things | en |
| Θεματική Κατηγορία | IoT | en |
| Θεματική Κατηγορία | Java Agent DEvelopment framework (JADE) | en |
| Θεματική Κατηγορία | JESS | en |
| Θεματική Κατηγορία | Metrics | en |
| Θεματική Κατηγορία | Open Services Gateway initiative (OSGi) | en |
| Θεματική Κατηγορία | Moving Target Defenses (MTDs) | en |
| Βιβλιογραφική Αναφορά | G. Hatzivasilis, N. Papadakis, I. Hatzakis, S. Ioannidis, and G. Vardakis, “Artificial intelligence-driven composition and security validation of an Internet of Things ecosystem,” Appl. Sci., vol. 10, no. 14, Jul. 2020. doi: 10.3390/app10144862 | en |
Copyright © DIAS 2013
