On formal and automatic security verification of WSN transport protocols.
Ta Vinh ThongAmit DvirPublished in: IACR Cryptol. ePrint Arch. (2013)
Keyphrases
- cryptographic protocols
- key establishment
- security properties
- wireless sensor networks
- high security
- security protocols
- formal methods
- communication protocols
- key management
- integrity verification
- protocol specification
- medium access control
- key agreement protocol
- information security
- sensor networks
- authentication protocol
- statistical databases
- access control
- formal model
- ns simulator
- secure multiparty computation
- security services
- formal analysis
- key establishment protocol
- security requirements
- application level
- java card
- intrusion detection
- key exchange
- model checking
- energy consumption
- secure communication
- routing protocol
- data transmission
- energy efficient
- security level
- security issues
- security analysis