EiSIRS: a formal model to analyze the dynamics of worm propagation in wireless sensor networks.
Xiaoming WangQiaoliang LiYingshu LiPublished in: J. Comb. Optim. (2010)
Keyphrases
- formal model
- wireless sensor networks
- propagation model
- sensor nodes
- predicate calculus
- base station
- energy efficient
- sensor networks
- environmental monitoring
- data aggregation
- security patterns
- security properties
- formal models
- data transmission
- wireless networks
- key management
- dynamic model
- network traffic
- routing protocol