Research Article
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 |
|
|