A Semantic Analysis of Wireless Network Security Protocols.
Damiano MacedonioMassimo MerroPublished in: NASA Formal Methods (2012)
Keyphrases
- wireless networks
- semantic analysis
- security protocols
- ad hoc networks
- natural language
- key management
- wireless communication
- automated design
- natural language processing
- base station
- security mechanisms
- semantic information
- wifi
- wireless networking
- access points
- network infrastructure
- wireless local area network
- mobile networks
- security requirements
- data mining
- keywords
- machine learning