IEEE Std. P1687.1: Translator and Protocol.
Erik LarssonPrathamesh MuraliGani KumisbekPublished in: ITC (2019)
Keyphrases
- medium access control
- mac protocol
- physical layer
- wireless local area networks
- lightweight
- coloured petri nets
- network simulator
- wireless lan
- formal analysis
- application layer
- communication protocol
- wireless networks
- wireless local area network
- link layer
- communication protocols
- authentication protocol
- cryptographic protocols
- mobility management
- tcp ip
- network protocols
- mac layer
- data sets
- file transfer