Research Article
A Lightweight Three-Party Mutual Authentication Protocol for Internet of Health Things Systems
Table 2
BAN logic notation and rules.
| | believes the message X | | sees the message X | | once said the message X | | has jurisdiction over the message X | | The message X is fresh | | Only and Q know X | | and Q share key K | | X or Y is a part of message (X, Y) | | X is encrypted with K | | X is hashed with K | R1 | Message meaning rule: , | R2 | Nonce verification rule: | R3 | Jurisdiction rule: | R4 | Freshness rule: , | R5 | Belief rule: , , |
|
|