Wireless protocol validation under uncertainty.
Jinghao ShiShuvendu K. LahiriRanveer ChandraGeoffrey ChallenPublished in: Formal Methods Syst. Des. (2018)
Keyphrases
- wireless local area networks
- wireless networks
- medium access control
- lightweight
- wireless communication
- multiple access
- wireless medium
- mobile nodes
- wireless mesh networks
- multi hop
- link layer
- security protocols
- wireless local area network
- uncertain data
- mobile devices
- tcp ip
- wireless link
- mac protocol
- quality of service
- mobile networks
- wireless lan
- mobility management
- physical layer
- decision theory
- cross layer
- mobile communication
- cellular networks
- formal analysis
- wifi