Autonomous Cognitive Model and Analysis for Survivable System

Table 1

The explanation of parameters in SM-PEPA.

Parameters	Meanings
H	Probability of finding system flaws
P	Probability of persistent attack
K	Duration of attacks
G	Rate of invaders abandoning attacks
Z1	Probability of detecting intrusions
Z2	Probability of stochastic failures entering compromise state
Z3	Probability of entering compromise state because of faulty operations
W1	Probability of compromise state entering detection state
W2	Probability of blocking flaws
L1	Probability of detecting state entering self-destructive state
P1	The duration of the detected state to the self-destructive state
L2	Probability of calling recovering updates from detection state
h1	Duration of calling recovery updates
L3	Probability from self-recovery state to normal state
S1	Duration of self-recovery state to normal state
L4	Probability of self-recovery state to self-destruction state
P2	Duration of self-recovery state to self-destruction state
L5	Probability of self-restoring state to self-restoring state
S2	Duration of self-recovery state to self-recovery state
L6	Repair probability from self-destructive state to normal state
S3	Repair duration from self-destructive state to normal state