2021
DOI: 10.1007/978-3-030-75078-7_28
|View full text |Cite
|
Sign up to set email alerts
|

Formal Methods to Analyze Energy Efficiency and Security for IoT: A Systematic Review

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2022
2022
2023
2023

Publication Types

Select...
4
1

Relationship

0
5

Authors

Journals

citations
Cited by 6 publications
(1 citation statement)
references
References 6 publications
0
1
0
Order By: Relevance
“…16 The more information acquired and evaluated, the more accuracy is achieved, but at the same time, the more energy consumed. 17,18 Due to energy constraints, a compromise must be maintained between the quality of information collected and the amount of energy consumed by IoT devices in an edge computing environment. 19,20 Furthermore, the availability of energy determines the lifespan of any IoT resource.…”
Section: Research Domainmentioning
confidence: 99%
“…16 The more information acquired and evaluated, the more accuracy is achieved, but at the same time, the more energy consumed. 17,18 Due to energy constraints, a compromise must be maintained between the quality of information collected and the amount of energy consumed by IoT devices in an edge computing environment. 19,20 Furthermore, the availability of energy determines the lifespan of any IoT resource.…”
Section: Research Domainmentioning
confidence: 99%