SAPnet: A Security Assessment Platform for SPN in the IoT Ecosystem
SAPnet is an ADOxx-based modelling tool that includes the ontology toolkit for stochastic Petri net (SPN) modeling enriched with the tools that enable the security evaluation of the model. SAPnet provides (a) a modeler-friendly interface for the composition and the updating of the security vulnerabilities list that affect the model, and (b) fast and accurate results regarding the security metric of the model, at any point of the designing phase. The SAPnet is presented and used for the evaluation of the security of an Internet of Things (IoT)-based transport service in real-life scenarios.
Lecture at NEMO2024
Date/Time: Monday, July 15, 2024 at 11:30