Formal Analysis of Secure Neighbor Discovery in Wireless Networks.
Marcin PoturalskiPanos PapadimitratosJean-Pierre HubauxPublished in: IEEE Trans. Dependable Secur. Comput. (2013)
Keyphrases
- wireless networks
- formal analysis
- wireless communication
- ban logic
- ad hoc networks
- formal methods
- mobile wireless
- mobile computing
- key management
- base station
- agent model
- low bandwidth
- link layer
- network coding
- security analysis
- medium access control
- multimedia services
- wireless ad hoc networks
- access points
- mobile nodes
- cellular networks
- mobile networks
- wireless mesh networks
- cross layer
- security issues
- lightweight
- resource constrained
- security requirements
- wired networks