Discovering Logical Vulnerabilities in the Wi-Fi Handshake Using Model-Based Testing.
Mathy VanhoefDomien SchepersFrank PiessensPublished in: AsiaCCS (2017)
Keyphrases
- wifi
- model based testing
- test cases
- mobile devices
- end to end
- wireless communication
- software development
- wireless networks
- location information
- smart phones
- testing process
- software design
- ad hoc networks
- information security
- mobile applications
- software testing
- sequence diagrams
- smart card
- mobile networks
- neural network
- network architecture
- test set
- mobile phone
- security policies
- urban environments
- software engineering
- case study
- training data
- artificial intelligence