Wireless Protocol Validation Under Uncertainty.
Jinghao ShiShuvendu K. LahiriRanveer ChandraGeoffrey ChallenPublished in: RV (2016)
Keyphrases
- wireless communication
- multiple access
- wireless networks
- wireless local area network
- mac protocol
- wireless medium
- medium access control
- wireless local area networks
- wifi
- mobile nodes
- communication protocol
- tcp ip
- application layer
- wireless sensor networks
- link layer
- formal analysis
- lightweight
- mobile devices
- cryptographic protocols
- cross layer
- data dissemination
- physical layer
- wireless link
- decision theory
- uncertain data
- wired networks
- ad hoc networks