Security and Communication Networks

Research Article

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

Figure 16

Attacker model of the new scheme.