Моделі ефективної та масштабованої комунікаційної взаємодії в рамках протоколів ІоТ

Abstract

Мета магістерської роботи: розроблення та формальне обґрунтування моделей ефективної та масштабованої комунікаційної взаємодії в рамках IoT- протоколів шляхом удосконалення протоколу MQTT. Об’єктом дослідження є процеси комунікаційної взаємодії між компонентами систем Інтернету речей. Предметом дослідження є моделі, методи та механізми забезпечення ефективної, масштабованої та безпечної комунікаційної взаємодії в рамках IoT-протоколів, зокрема протоколу MQTT. Результати дослідження В роботі розроблено та формально обґрунтовано модель ефективної та масштабованої комунікаційної взаємодії в рамках IoT-протоколів. Отримані результати мають наукову новизну та практичну цінність і можуть бути використані при проєктуванні безпечних IoT-архітектур. Висновок Розроблено модифіковану модель протоколу MQTT із підвищеним рівнем безпеки та формально підтвердженими властивостями. Виконано формальну верифікацію запропонованої моделі з використанням ProVerif з урахуванням процедур автентифікації, управління сесіями та анулювання доступу.