Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks.
Ansgar FehnkerLodewijk van HoeselAngelika MaderPublished in: IFM (2007)
Keyphrases
- wireless sensor networks
- cryptographic protocols
- mac protocol
- residual energy
- lightweight
- data dissemination
- protocol specification
- formal analysis
- sensor networks
- model checker
- energy efficient
- model checking
- routing scheme
- energy consumption
- node selection
- secure routing
- sensor nodes
- environmental monitoring
- data aggregation
- key establishment
- energy aware
- energy efficiency
- base station
- formal verification
- resource constrained
- formal proof
- routing algorithm
- reduce the energy consumption
- mobile nodes
- tcp ip
- wireless communication
- data transmission
- high security
- formal methods
- face verification
- data gathering
- authentication protocol
- security analysis
- key management
- formal specification
- key distribution
- medium access control
- end to end
- biological inspired
- multi hop