Research Article

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

Figure 9

The internal model of the alternative transition SafeComm’.