Formal Security Analysis for Ad-Hoc Networks.
Sebastian NanzChris HankinPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- ad hoc networks
- security analysis
- routing protocol
- security requirements
- wireless networks
- end to end
- public key
- smart card
- wireless ad hoc networks
- quality of service
- routing algorithm
- peer to peer
- security properties
- key management
- security model
- encryption scheme
- authentication protocol
- encryption algorithm
- user authentication
- wireless communication
- wireless mesh networks
- symmetric key
- software architecture
- information systems