New Two-Level µTESLA Protocol for IoT Environments.

Ali Al Dhaheri Chan Yeob Yeun Ernesto Damiani

Published in: SERVICES (2019)

Keyphrases

management system
dynamic environments
coloured petri nets
lightweight
robotic systems
communication protocol
network protocols
real time
databases
real world
cloud computing
ubiquitous computing
formal analysis
cryptographic protocols