Formal Methods to Analyze Energy Efficiency and Security for IoT: A Systematic Review.
Luciana Pereira OliveiraArley Willer Neves da SilvaLucas Pereira de AzevedoMaria Vitória Lima da SilvaPublished in: AINA (3) (2021)
Keyphrases
- formal methods
- energy efficiency
- systematic review
- formal analysis
- power consumption
- security properties
- energy consumption
- wireless sensor networks
- wireless sensor
- smart home
- sensor networks
- data center
- key management
- energy efficient
- empirical studies
- response time
- power management
- software engineering
- knowledge based systems
- cloud computing
- energy saving
- formal specification
- management system
- model checking
- routing protocol
- artificial intelligence
- sensor nodes
- protocol specification
- network security
- access control
- intrusion detection
- development lifecycle
- modeling language
- security policies
- location information
- database systems
- databases
- database