scholarly journals Vulnerability Analysis of CSP Based on Stochastic Game Theory

2016 ◽  
Vol 2016 ◽  
pp. 1-12
Author(s):  
Jiajun Shen ◽  
Dongqin Feng
Keyword(s):  
Game Theory ◽  
Clock Synchronization ◽  
Stochastic Game ◽  
Optimal Strategies ◽  
Vulnerability Analysis ◽  
Industrial Control ◽  
Man In The Middle ◽  
Stochastic Game Theory ◽  
Multiple Attack ◽  
Synchronization Protocol

With the development of industrial informatization, the industrial control network has gradually become much accessible for attackers. A series of vulnerabilities will therefore be exposed, especially the vulnerability of exclusive industrial communication protocols (ICPs), which has not yet been attached with enough emphasis. In this paper, stochastic game theory is applied on the vulnerability analysis of clock synchronization protocol (CSP), one of the pivotal ICPs. The stochastic game model is built strictly according to the protocol with both Man-in-the-Middle (MIM) attack and dependability failures being taken into account. The situation of multiple attack routes is considered for depicting the practical attack scenarios, and the introduction of time aspect characterizes the success probabilities of attackers actions. The vulnerability analysis is then realized through determining the optimal strategies of attacker under different states of system, respectively.

The Quantitative Assessment of Domino Effects Based on Stochastic Petri Nets

2008 ◽  
Vol 44-46 ◽  
pp. 537-544
Author(s):  
Shi Yi Bao ◽  
Jian Xin Zhu ◽  
Li J. Wang ◽  
Ning Jiang ◽  
Zeng Liang Gao
Keyword(s):  
Petri Nets ◽  
State Space ◽  
Petri Net ◽  
Quantitative Assessment ◽  
Stochastic Petri Nets ◽  
Industrial Park ◽  
Domino Effect ◽  
State Space Explosion ◽  
Stochastic Petri Net ◽  
Chemical Industrial Park

The quantitative analysis of “domino” effects is one of the main aspects of hazard assessment in chemical industrial park. This paper demonstrates the application of heterogeneous stochastic Petri net modeling techniques to the quantitative assessment of the probabilities of domino effects of major accidents in chemical industrial park. First, five events are included in the domino effect models of major accidents: pool fire, explosion, boiling liquid expanding vapour explosion (BLEVE) giving rise to a fragment, jet fire and delayed explosion of a vapour cloud. Then, the domino effect models are converted into Generalized Stochastic Petri net (GSPN) in which the probability of the domino effect is calculated automatically. The Stochastic Petri nets’ models, which are state-space based ones, increase the modeling flexibility but create the state-space explosion problems. Finally, in order to alleviate the state-space explosion problems of GSPN models, this paper employs Stochastic Wellformed Net (SWN), a particular class of High-Level (colored) SPN. To conduct a case study on a chemical industrial park, the probability of domino effects of major accidents is calculated by using the GSPN model and SWN model in this paper.

scholarly journals PulseSync: An Efficient and Scalable Clock Synchronization Protocol

2015 ◽  
Vol 23 (3) ◽  
pp. 717-727 ◽  
Author(s):  
Christoph Lenzen ◽  
Philipp Sommer ◽  
Roger Wattenhofer
Keyword(s):  
Clock Synchronization ◽  
Synchronization Protocol

Risk assessment of FPSO topside based on generalized Stochastic Petri Net

2021 ◽  
Vol 238 ◽  
pp. 109732
Author(s):  
Jichuan Kang ◽  
Xinyuan Geng ◽  
Xu Bai ◽  
Yan Dong
Keyword(s):  
Risk Assessment ◽  
Petri Net ◽  
Stochastic Petri Net ◽  
Generalized Stochastic Petri Net

Reliability and availability evaluation of subsea high integrity pressure protection system using stochastic Petri net

2021 ◽  
pp. 1748006X2110499
Author(s):  
Chuan Wang ◽  
Jun Gou ◽  
Yingcheng Tian ◽  
Hao Jin ◽  
Chao Yu ◽  
...  
Keyword(s):  
Petri Net ◽  
Evaluation Method ◽  
Safety Evaluation ◽  
Diagnostic System ◽  
Test Methods ◽  
Protection System ◽  
Stochastic Petri Net ◽  
Practical Engineering ◽  
Common Cause Failures ◽  
High Integrity

In this paper, a safety evaluation method of subsea High Integrity Pressure Protection System (HIPPS) based on a generalized stochastic Petri net model is proposed. Different test methods were used to detect different types of failures and to analyze the reliability of HIPPS components under the influence of common cause failures and incomplete repair. The reliability curve of a diagnostic system consisting of a transmitter system and a logic system under the influence of uncertainty over time is analyzed. The safety of HIPPS with diverse test methods were quantitatively analyzed. The results show a significant improvement in the performance of the system after testing and maintenance. Both partial-stroke testing and increased partial-stroke test coverage can be used to increase the HIPPS performance compared to traditional methods. The analysis of the Partial stroke test (PST) strategy can afford a academic basis for the selection of PST frequency and Functional test (FT) interval in practical engineering.

Sign in / Sign up

Export Citation Format

Share Document