Research Article
From Wireless Sensor Networks to Wireless Body Area Networks: Formal Modeling and Verification on Security Using PAT
Table 2
The symbol list for the abstract code.
| | Symbol type | Symbol introduction |
| | ,, and | Channel for message transition | | Node_ | Message sender node | | tox | Message receiver node | |
K_q_ | Security key of message sender node | |
Nxh | Nonce of message sender node |
|
|
