Formal modeling and verification of a wireless body area network (WBAN) protocol: S-TDMA protocol.
Raoua Ben HamoudaImene Ben HafaiedhPublished in: IINTEC (2017)
Keyphrases
- formal analysis
- mobile nodes
- tcp ip
- network protocols
- colored petri nets
- protocol specification
- protocol stack
- link layer
- cryptographic protocols
- wireless networks
- network simulator
- mac layer
- ad hoc networks
- medium access control
- mac protocol
- wireless local area networks
- wireless communication
- communication protocol
- wireless medium
- cross layer
- wireless mesh networks
- wireless local area network
- switched networks
- security protocols
- petri net
- mobile communication
- physical layer
- internet protocol
- network infrastructure
- mobile networks
- wired networks
- network traffic
- mobility management
- application layer
- multiple access
- network devices
- end to end
- formal methods
- residual energy
- transport protocol
- peer to peer
- formal specification
- cellular networks
- link failure
- data dissemination