1. From Wireless Sensor Networks to Wireless Body Area Networks: Formal Modeling and Verification on Security Using PAT. (9th December 2015) Authors: Chen, Tieming; Yu, Zhenbo; Li, Shijian; Chen, Bo Other Names: Cao Jian-Nong Academic Editor. Journal: Journal of sensors Issue: Volume 2016(2016) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗