A Framework for Modeling and Verifying IoT Communication Protocols.

Maithily Diwan Meenakshi D'Souza

Published in: SETTA (2017)

Keyphrases

communication protocols
probabilistic model
management system
modeling method
modeling framework
mobile devices
anomaly detection