Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

JS
2016

favoriteEmaildiscussreport

57views more JS 2016»

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

8 years 13 days ago

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

Download downloads.hindawi.com

Tieming Chen, Zhenbo Yu, Shijian Li, Bo Chen

Real-time Traffic

JS 2016 |

claim paper

Related Content

» BARI A Distributed Key Management Approach for Wireless Body Area Networks

» PSKA usable and secure key agreement scheme for body area networks

» Secure Location Verification Using Radio Broadcast

» Verification of The Minimum Cost Forwarding Protocol for Wireless Sensor Networks

» Social Issues in wireless sensor networks with healthcare perspective

» Correctness of Sensor Network Applications by Software Bounded Model Checking

» On the security of group communication schemes based on symmetric key cryptosystems

» Protecting Location Privacy in Sensor Networks against a Global Eavesdropper

» Open problems in data collection networks

» SensorBased Abnormal HumanActivity Detection

Post Info
More Details (n/a)

Added	07 Apr 2016
Updated	07 Apr 2016
Type	Journal
Year	2016
Where	JS
Authors	Tieming Chen, Zhenbo Yu, Shijian Li, Bo Chen

Comments (0)