Research Article

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

Table 3

Comparison of model state space.

TypeOriginal modelAttack model

State space nodes117896
State space arc2212576
SCC graph node117896
SCC graph arc2212576
Dead marking14
Dead transition instances00