A Security Assessment Platform for Stochastic Petri Net (SPN) Modelling in the Internet of Things (IoT) Ecosystem

Garofalaki, Zacharenia; Kallergis, Dimitrios; Douligeris, Christos

doi:10.1007/978-3-030-93547-4_13

Cited by 2 publications

(2 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Garofalaki et al [24] developed an ADOxx-based modeling tool called SAPnet that enables security evaluation of Internet of Things (IoT) systems modeled as stochastic Petri nets by associating vulnerabilities to model states and quantifying security metrics for assessment during the design phase. Elleuch et al [4] present a formal analysis approach using higher-order logic theorem proving to check coverage properties and performance of wireless sensor networks.…”

Section: Related Workmentioning

confidence: 99%

Towards Self-Optimization of Publish/Subscribe IoT Systems using Continuous Performance Monitoring

Mohammed,

Nabila

2024

Networks, Blockchain and Internet of Things

View full text Add to dashboard Cite

Today, more and more embedded devices are being connected through a network, generally Internet, offering users different services. This concept refers to Internet of Things (IoT), bringing information and control capabilities in many fields like medicine, smart homes, home security, etc. Main drawbacks of IoTenvironment are its dependency on Internet connectivity and need continuous devices power. These dependencies may affect system performances, namely request processing response times. In this context,we propose in this paper a continuous performance monitoring methodology, applied on IoT systems based on Publish/subscribe communication model. Our approach assesses performances using Stochastic Petri net modeling, and self-optimizes whenever poor performances are detected. Our approach relies on a Stochastic Petri nets modelling and analysis to assess performances. We target improving performances, in particular response times, by online modification of influencing factors.

show abstract

Section: Related Workmentioning

confidence: 99%

Towards Self-Optimization of Publish/Subscribe IoT Systems using Continuous Performance Monitoring

Mohammed,

Nabila

2024

Networks, Blockchain and Internet of Things

View full text Add to dashboard Cite

show abstract

“…The present paper proposes a new method, called automatic generation of threat paths, as a solution to security challenges in emerging technologies. The proposed method introduces automated method for the extraction of security requirements and also the generation of threat paths in a both quantitative and qualitative way (without changing the work process) by adding new capabilities such as conditional probability, security, and object-orientation to Petri Nets (PNs) [16][17][18][19][20][21] that are simple, semi-formal, and widely used in threat modelling and security assessment in large-scale threat models. Automatically evaluating all possible probabilities for a threat model, FIGURE 1 Petri nets the proposed method shows the secure, insecure, and threat paths with their probabilities.…”

Section: Introductionmentioning

confidence: 99%

Automatic generation of threat paths in internet of things‐based systems

2022

View full text Add to dashboard Cite

Today, 'security challenge' is considered a commonly-used catchword when it comes to emerging technologies such as the internet of things (IoT). Turning a blind eye to this challenge can sometimes lead to irreparable human and financial damage in everyday life. Threat modelling, despite being time consuming, complex, and error-prone, is still recognized as a preventative solution in the design phase. The method proposed in this paper, called automatic generation of threat paths, is suggested as an automated solution to the problem of identifying and determining potential threats. The proposed method is the improved and robust development of automated modelling and the introduction of the integration of new features (such as conditional probability and security) with the techniques of previous generations (such as Petri Nets (PNs)). The proposed method is evaluated using different security scenarios, and the results show that the proposed method outperforms other manual methods in this domain in terms of both time and cost (99.9% and 98.05%, respectively).

show abstract

A Security Assessment Platform for Stochastic Petri Net (SPN) Modelling in the Internet of Things (IoT) Ecosystem

Cited by 2 publications

References 21 publications

Towards Self-Optimization of Publish/Subscribe IoT Systems using Continuous Performance Monitoring

Towards Self-Optimization of Publish/Subscribe IoT Systems using Continuous Performance Monitoring

Automatic generation of threat paths in internet of things‐based systems

Contact Info

Product

Resources

About