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

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

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 Co...

Full description

Bibliographic Details
Main Authors: George Hatzivasilis, Nikos Papadakis, Ilias Hatzakis, Sotiris Ioannidis, George Vardakis
Format: Article
Language:English
Published: MDPI AG 2020-07-01
Series:Applied Sciences
Subjects:
dependability
dynamic system composition
event calculus
Internet-of-Things
IoT
JADE
Online Access:https://www.mdpi.com/2076-3417/10/14/4862

Internet

https://www.mdpi.com/2076-3417/10/14/4862

Similar Items