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

Figure 13

The internal model of the new scheme to alternative transition Connection’.