A self-configuration protocol for a cover made of smart tiles.

Guido Benetti Tullio Facchinetti

Published in: ETFA (2012)

Keyphrases

lightweight
communication protocol
formal analysis
cryptographic protocols
network protocols
coloured petri nets
security protocols
multi party
smart grid
optimal configuration
network simulator
key agreement protocol