Proactive Code Verification Protocol in Wireless Sensor Network.
Young-Geun ChoiJeonil KangDaeHun NyangPublished in: ICCSA (2) (2007)
Keyphrases
- wireless sensor networks
- cryptographic protocols
- protocol specification
- residual energy
- lightweight
- formal analysis
- mac protocol
- data dissemination
- model checker
- energy efficient
- model checking
- key establishment
- source code
- formal proof
- routing scheme
- energy consumption
- data transmission
- sensor networks
- verification method
- security protocols
- formal verification
- communication protocols
- resource limitations
- wireless communication
- sensor nodes
- secure routing
- authentication protocol
- resource constrained
- multi hop
- formal specification
- node selection
- base station
- routing protocol