Research Article
From Wireless Sensor Networks to Wireless Body Area Networks: Formal Modeling and Verification on Security Using PAT
| ’s view: | | Message 1: sends to : // is the nonce produced by and pk is the public key of . | | Message 2: gets from : // is the nonce produced by and pk is the public key of . | | Message 3: sends to : | | ’s view: | | Message 1: gets from : | | Message 2: sends to : | | Message 3: gets from : |
|
