Secure Position Verification for Wireless Sensor Networks in Noisy Channels
Partha Sarathi MandalAnil Kumar GhoshPublished in: CoRR (2011)
Keyphrases
- wireless sensor networks
- key management
- cryptographic protocols
- key management scheme
- key establishment
- energy efficient
- integrity verification
- lightweight
- secure routing
- data aggregation
- energy consumption
- base station
- sensor networks
- energy efficiency
- resource constrained
- data gathering
- high security
- model checking
- environmental monitoring
- noisy environments
- sensor nodes
- routing protocol
- multi hop
- authentication protocol
- formal methods
- security mechanisms
- communication channels
- multi channel
- data transmission
- security protocols
- routing algorithm
- position and orientation
- key distribution
- body sensor networks
- java card
- wireless sensor
- position information
- formal verification
- active learning