Security in Wireless Sensor Networks: A formal verification of protocols.
Giann Spilere NandiDavid PereiraMartín VigilRicardo de MoraesAnalúcia Schiaffino MoralesGustavo Medeiros de AraújoPublished in: INDIN (2019)
Keyphrases
- formal verification
- wireless sensor networks
- key establishment
- cryptographic protocols
- key management
- model checking
- security protocols
- key distribution
- sensor networks
- model checker
- ns simulator
- bounded model checking
- energy efficient
- security services
- sensor nodes
- wireless sensor
- security properties
- key agreement protocol
- communication protocols
- symbolic model checking
- automated verification
- energy consumption
- resource constrained
- authentication protocol
- base station
- wireless communication
- energy efficiency
- routing protocol
- security issues
- program slicing
- routing algorithm
- access control
- key exchange
- data transmission
- medium access control
- information security
- secure multiparty computation
- messages exchanged
- security requirements
- network security
- temporal logic
- semi honest
- application level
- artificial intelligence