Blockchain and IoT Based Formal Model of Smart Waste Management System Using TLA+.

Saba Latif Aniqa Rehman Nazir Ahmad Zafar

Published in: FIT (2019)

Keyphrases

formal model
management system
temporal logic
security properties
smart objects
smart grid
formal models
predicate calculus
environmental impact
relational databases
decision support system
waste management
data analysis
access control
trust management
security patterns