Model Checking of RADIUS Protocol in Wireless Networks.
Il-Gon KimJin-Young ChoiPublished in: IEICE Trans. Commun. (2005)
Keyphrases
- wireless networks
- model checking
- model checker
- link layer
- temporal logic
- medium access control
- wireless communication
- cross layer
- formal verification
- wired networks
- mobile ipv
- mobile nodes
- automated verification
- symbolic model checking
- epistemic logic
- formal specification
- formal methods
- verification method
- temporal properties
- computation tree logic
- mobile computing
- cellular networks
- wifi
- wireless mesh networks
- transition systems
- ad hoc networks
- mobile networks
- network coding
- multi hop
- bounded model checking
- timed automata
- concurrent systems
- mac protocol
- linear temporal logic
- description language
- application layer
- modal logic
- planning domains