Identity verification in internet of things devices

Akıllı şehirlerde kentlilere sağlanan hizmetlerin kapsamı Nesnelerin İnterneti (Internet of Things, IoT) cihazlarının küresel olarak yaygınlaşmasıyla genişlemektedir. Bununla birlikte, IoT cihazlarının akıllı şehirlerde özellikle sağlık, ulaşım, eğitim gibi alanlarda kullanılması nedeniyle kişisel verilerin güvenliği risk altında olabilmektedir. Bu tezde, IoT cihazları arasındaki mesaj alışverişlerinin güvenliğini sağlamak için beş adımlı bir karşılıklı kimlik doğrulama protokolü (FSMAP) geliştirilmiştir. Geliştirilen protokol, kendi tasarımımız olan bir akıllı tekstil cihazına uygulanmıştır. Oluşturulan akıllı tekstil cihazı kişinin koluna takılabilmekte ve kolun hareket kabiliyetini belirlemek için kolun iç açısı ölçebilmektedir. Sensörler tarafından toplanan akıllı tekstil verileri, önce AES şifreleme algoritması kullanılarak şifrelenmekte ve tasarlanan IoT cihazında saklanmaktadır. Ardından, depolanan veriler, kablosuz bir karşılıklı kimlik doğrulama protokolü aracılığıyla başka bir IoT cihazına güvenli bir şekilde aktarılmaktadır. Geliştirilen kimlik doğrulama protokolünün informal ve formal analizi yapılmıştır. Informal analiz sonucuna göre, önerilen protokol replay, full-disclosure, ID-theft, man-in-the-middle, de-synchronization, identity tracing, impersonation, DoS, clone, ve malicious code injection saldırılarına karşı güvenlidir. Ayrıca, formal analizde Scyther ve AVISPA araçları kullanılmıştır. Her iki analiz de, geliştirilen kimlik doğrulama protokolünün IoT cihazları arasında güvenli mesaj alışverişini sağladığını kanıtlamaktadır. Önceki çalışmalarla yapılan karşılaştırma, FSMAP'in daha güçlü ve daha güvenli olduğunu göstermektedir.