Formal Verification of a Cross-Layer, Trustful Space-Time Protocol for Wireless Sensor Networks.
Douglas Simões SilvaDavi ResnerRick Lopes de SouzaJean Everson MartinaPublished in: ICISS (2016)
Keyphrases
- space time
- cross layer
- formal verification
- routing protocol
- wireless sensor networks
- model checker
- mac layer
- mobile ad hoc networks
- multi hop
- model checking
- application layer
- routing algorithm
- medium access control
- ad hoc networks
- spatio temporal
- wireless networks
- mac protocol
- energy efficient
- video streaming
- multi layer
- wireless ad hoc networks
- sensor networks
- network layer
- link layer
- energy consumption
- rate adaptation
- network topology
- mobile nodes
- data transmission
- video sequences
- energy efficiency
- sensor nodes
- base station
- multimedia services
- quality of service
- key management
- wireless communication
- network lifetime
- multipath
- scalable video
- low complexity
- physical layer
- wireless mesh networks
- network simulator