Safeguarding from abuse by IoT vendors: Edge messages verification of cloud-assisted equipment.
Vitor A. CunhaEduardo da SilvaMarcio Barbosa de CarvalhoDaniel CorujoJoão Paulo BarracaDiogo GomesAlberto E. Schaeffer FilhoCarlos Raniery Paula dos SantosLisandro Zambenedetti GranvilleRui L. AguiarPublished in: IM (2019)
Keyphrases
- cloud computing
- edge information
- management system
- edge detection
- model checking
- edge detector
- big data
- data center
- formal verification
- computing platform
- databases
- text messages
- data management
- communication channels
- electronic mail
- data analytics
- functional verification
- database
- location information
- weighted graph
- service providers
- open source
- data sets