Formal Security Evaluation and Improvement of Wireless HART Protocol in Industrial Wireless Network

Table 3

Comparison of model state space.

Type	Original model	Attack model
State space nodes	117	896
State space arc	221	2576
SCC graph node	117	896
SCC graph arc	221	2576
Dead marking	1	4
Dead transition instances	0	0