Research Article
From Wireless Sensor Networks to Wireless Body Area Networks: Formal Modeling and Verification on Security Using PAT
//Initiator | Ini(sender, receiver, nonce) = | ca! receiver. nonce. sender. receiver -> // | ca? receiver. nonce. g1. sender -> | cb! receiver. g1. receiver -> // | //Responder | Res(receiver, nonce) = | ca? receiver. g2. g3. receiver -> | ca! receiver. g2. nonce. g3 -> // | cb? receiver. nonce. receiver -> |
|