Formal Verification of PAP and EAP-MD5 Protocols in Wireless Networks: FDR Model Checking.
Il-Gon KimJin-Young ChoiPublished in: AINA (2) (2004)
Keyphrases
- wireless networks
- formal verification
- model checking
- wifi
- communication protocol
- wired networks
- model checker
- temporal logic
- medium access control
- wireless communication
- automated verification
- temporal properties
- bounded model checking
- symbolic model checking
- finite state
- ad hoc networks
- formal specification
- mobile computing
- formal methods
- computation tree logic
- transition systems
- epistemic logic
- verification method
- communication protocols
- linear temporal logic
- end to end
- planning domains
- web services
- alternating time temporal logic
- network coding
- mobile networks
- knowledge based systems