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

<table class="table-group" id="tab2"><tr><td><table class="table"><tr><td class="thead-hr" colspan="2"><hr/></td></tr><tr class="thead"><td class="align_left">Type</td><td class="align_center">Number/state</td></tr><tr><td class="thead-hr" colspan="2"><hr/></td></tr><tr><td class="align_left">State space nodes</td><td class="align_center">117</td></tr><tr><td class="align_left">State space arc</td><td class="align_center">221</td></tr><tr><td class="align_left">SCC graph node</td><td class="align_center">117</td></tr><tr><td class="align_left">SCC graph arc</td><td class="align_center">221</td></tr><tr><td class="align_left">Dead marking</td><td class="align_center">1</td></tr><tr><td class="align_left">Live transition instances</td><td class="align_center">0</td></tr><tr><td class="align_left">Dead transition instances</td><td class="align_center">0</td></tr><tr class="table-tr"><td colspan="2"><hr class="tbody-hr"/></td></tr></table></td></tr></table>

<div>State space analysis of Wireless HART original model.</div>

Security and Communication Networks

tab2

Table 2

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