SAPnet: A Security Assessment Platform for SPN in the IoT Ecosystem
SAPnet is an ADOxx-based modelling tool which 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.
Lecture at NEMO2022
Date/Time: Wednesday, July 13, 2022 at 14:00