From Wireless Sensor Networks to Wireless Body Area Networks: Formal Modeling and Verification on Security Using PAT.
Tieming ChenZhenbo YuShijian LiBo ChenPublished in: J. Sensors (2016)
Keyphrases
- mac protocol
- wireless sensor networks
- physical layer
- mobile nodes
- cellular networks
- medium access control
- energy efficient
- wired networks
- wireless ad hoc networks
- key management
- energy consumption
- multi hop
- sensor networks
- wireless networks
- network connectivity
- wireless communication
- base station
- wireless sensor
- routing protocol
- formal methods
- high security
- resource constrained
- information security
- intrusion detection
- routing algorithm
- key establishment
- model checking
- multipath
- security issues
- access control
- data gathering
- cryptographic protocols
- body sensor networks
- mobile ad hoc networks
- formal model
- human body
- formal analysis
- network management
- security policies
- mobile users
- access network
- network security
- network structure
- integrity verification