A formal model and analysis of an IoT protocol.

Published in: Ad Hoc Networks (2016)

Keyphrases

formal model
statistical analysis
security properties
image analysis
formal analysis
management system
intrusion detection
cryptographic protocols
colored petri nets