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

Table 1

Notations and description.

Notations	Description	Notations	Description
id	Device connection unique id	cmd	Command information
SK	Session key	Data	Necessary data after connection
Mes	Connect message	MIC	Integrity verification code
EnData	Secure data after connection	Result	Device execution return information
Hash	Hash value	|	Differentiate parallel segmented data
Random	Random value	{…}	Represents an integrated data package
Req	Connection request	(…)	Overall data sent