Online Protocol Verification in Wireless Sensor Networks via Non-intrusive Behavior Profiling.
Yangfan ZhouXinyu ChenMichael R. LyuJiangchuan LiuPublished in: WASA (2012)
Keyphrases
- wireless sensor networks
- cryptographic protocols
- protocol specification
- data dissemination
- lightweight
- formal analysis
- model checking
- mac protocol
- model checker
- energy efficient
- sensor networks
- online learning
- residual energy
- routing scheme
- data aggregation
- formal proof
- colored petri nets
- biological inspired
- wireless sensor
- security analysis
- resource constrained
- multi hop
- data transmission
- routing algorithm
- sensor nodes
- energy consumption
- intrusion detection