Table of Contents Author Guidelines Submit a Manuscript
Journal of Sensors
Volume 2016, Article ID 8797568, 11 pages
http://dx.doi.org/10.1155/2016/8797568
Research Article

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

1College of Computer Science and Technology, Zhejiang University of Technology, Hangzhou 310023, China
2College of Computer Science and Technology, Zhejiang University, Hangzhou 310012, China

Received 29 March 2015; Revised 14 July 2015; Accepted 27 July 2015

Academic Editor: Jian-Nong Cao

Copyright © 2016 Tieming Chen et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to Cite this Article

Tieming Chen, Zhenbo Yu, Shijian Li, and Bo Chen, “From Wireless Sensor Networks to Wireless Body Area Networks: Formal Modeling and Verification on Security Using PAT,” Journal of Sensors, vol. 2016, Article ID 8797568, 11 pages, 2016. https://doi.org/10.1155/2016/8797568.