Modeling and Performance Analysis of Satellite Network Moving Target Defense System with Petri Nets

Abstract

With the development of satellite communication networks and the increase of satellite services, security problems have gradually become some of the most concerning issues. Researchers have made great efforts, including conventional safety methods such as secure transmission, anti-jamming, secure access, and especially the new generation of active defense technology represented by MTD. However, few scholars have theoretically studied the influence of active defense technique on the performance of satellite networks. Formal modeling and performance analysis have not been given sufficient attention. In this paper, we focus on the performance evaluation of satellite network moving target defense system. Firstly, two Stochastic Petri Nets (SPN) models are constructed to analyze the performance of satellite network in traditional and active defense states, respectively. Secondly, the steady-state probability of each marking in SPN models is obtained by using the isomorphism relation between SPN and Markov Chains (MC), and further key performance indicators such as average time delay, throughput, and the utilization of bandwidth are reasoned theoretically. Finally, the proposed two SPN models are simulated based on the PIPE platform. In addition, the effect of parameters on the selected performance indexes is analyzed by varying the values of different parameters. The simulation results prove the correctness of the theoretical reasoning and draw the key factors affecting the performance of satellite network, which can provide an important theoretical basis for the design and performance optimization of the satellite network moving target defense system.

Modified Stochastic Petri Net-Based Modeling and Optimization of Emergency Rescue Processes during Coal Mine Accidents

“…After more than a century of development and improvement, SPN has been extensively used in other fields such as finite state machines, communication protocol, synchronous control, production system, and business process. SPN has the characteristics of graphic visualization and mathematical logic, which can describe highly discrete complex systems [27][28][29][30][31].…”

A new generalized stochastic Petri net modeling for energy‐harvesting‐wireless sensor network assessment

“…Farooq et al 15 have proposed an approach based on colored PNs to calculate random path routing in WSNs. In satellite networks, two stochastic PN models are proposed to analyze the performance of satellite networks in traditional and active defense states 16 …”

“…In satellite networks, two stochastic PN models are proposed to analyze the performance of satellite networks in traditional and active defense states. 16 For WSN-related works, several researchers resorted to PNs as a modeling tool for evaluating the performances of these networks. Azgomi and Khalili 17 proposed a colored PN to model and evaluated the performances of a medium access control (MAC 4 ) protocol they called S-MAC.…”

The GOLDS satellite constellation: preparatory works for a model-based performability analysis

“…The quality of the communication between the ground and the satellites depends on the characteristics of the communication channel like the synchronization rate, the data migration delay, and, in the case of satellite-to-satellite communication, the hopping rate [2]. Moreover, it is also influenced by onboard data storage capacity and processing capability, e.g., if the satellite cannot store all the data coming from DCPs or if it is not fast enough in processing them.…”

“…Several works in the literature have used model-based approaches to analyze space systems. The authors of [2] model a general satellite-tosatellite communication network, without taking into account realistic timing constraints. In [3], instead, the residual life prediction of an attitude control system is modeled.…”