Formal Security Verification of Transport Protocols for Wireless Sensor Networks.
Ta Vinh ThongAmit DvirLevente ButtyánPublished in: ICCSAMA (2014)
Keyphrases
- wireless sensor networks
- key establishment
- cryptographic protocols
- key management
- sensor networks
- security protocols
- high security
- protocol specification
- key distribution
- ns simulator
- formal methods
- key agreement protocol
- sensor nodes
- security properties
- energy efficient
- public key cryptosystems
- authentication protocol
- integrity verification
- security services
- formal analysis
- resource constrained
- java card
- base station
- communication protocols
- energy consumption
- formal specification
- routing algorithm
- wireless sensor
- routing protocol
- formal model
- key management scheme
- model checking
- data aggregation
- wireless communication
- secret key
- access control
- medium access control
- security policies
- secure multiparty computation
- information security
- energy efficiency
- ad hoc networks
- security level
- communication networks
- security systems
- application level
- security analysis
- security mechanisms
- multi hop
- sensor data
- security requirements
- security issues
- intrusion detection