From Wireless Sensor Networks to Wireless Body Area Networks: Formal Modeling and Verification on Security Using PAT

<div>The sate transition chart of responder <svg height="8.64656pt" id="M212" style="vertical-align:-0.04981995pt" version="1.1" viewbox="-0.0498162 -8.59674 8.03326 8.64656" width="8.03326pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,0)"><path d="M598 511C598 627 497 650 401 650H141L131 618C219 611 222 606 210 538L130 119C117 43 108 39 25 32L18 0H236C324 0 396 5 456 30C531 59 585 119 585 193C585 285 520 331 428 351V353C529 373 598 423 598 511ZM502 508C502 418 431 368 330 368H263L298 559C303 584 308 595 317 600C329 608 345 612 369 612C428 612 502 595 502 508ZM483 197C483 95 404 39 309 39C225 39 206 58 219 139L256 330H317C395 330 483 301 483 197Z" id="g50-67"></path><glyph.data ascent="3443" descent="-2856" horiz-adv-x="622" vert-adv-y="622"></glyph.data></g></svg>.</div>

Journal of Sensors

fig4

Figure 4

Figure 4: From Wireless Sensor Networks to Wireless Body Area Networks: Formal Modeling and Verification on Security Using PAT 