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

Table 4

Comparison of state space of security assessment models.

Type	Original attack model	New scheme
State space nodes	896	536
State space arc	2576	1732
SCC graph node	896	536
SCC graph arc	2576	1732
Dead marking	4	1
Dead transition instances	0	0