Hsiang m-kupon protokolünün güvenlik analizi
Hsiang m-kupon protokolünün güvenlik analizi
Yazar: Yıldırım, Kerim; Dalkılıç, Gökhan; Duru, Nevcihan
Dergi: Gazi Üniversitesi Mühendislik Mimarlık Fakültesi Dergisi, Vol. 34 No. 4, 2018
Anahtar kelimeler: Engineering ; Mühendislik ; NFC,m-kupon,güvenlik analizi,gizlice dinleme,Scyther

Günümüzdemobil cihazlar üzerlerinde barındırdıkları teknolojiler sayesinde günlükhayatın her alanına girmiştir. Bu uygulamalara örnek olarak yeni bir alan olanve mobil cihazlarda kullanılan m-kupon uygulaması verilebilir. Mobil kuponkullanımının yaygınlaştırılabilmesi için gerekli olan hususlardan birisi,kullanıcı güvenliğinin sağlanmasıdır. M-kuponun elde edilmesi/kullanılmasıaşamasındaki güvenlik, sadece bilinen şifreleme algoritmaları kullanılaraksağlanamaz. Şifreleme algoritmaları protokolün olmazsa olmaz bir unsuruolmasına rağmen sadece şifreleme algoritmaları kullanılarak güvenlik garantialtına alınamaz. Bunlara ek olarak sürecin önemli bir parçası olan protokolünde güvenlik analizinin yapılması gerekmektedir. Bu kapsamda bu çalışmada, firmalarınözel müşterilerine sağladığı özel indirimlerin müşterilere ulaştırılabilmesiiçin kullanılan m-kupon protokollerinden, Hsiang tarafından geliştirilen NFCtabanlı protokolün güvenlik analizi, oyun kuramı ve otomatik güvenlik protokolüdoğrulama aracı Scyther kullanılarak yapılmıştır. Protokolün doğal elemanlarıolan kupon sağlayıcı, müşteri ve kasiyer için birer oyuncu ve saldırgan içinayrı bir oyuncu olmak üzere oyun kuramı için dört oyuncu belirlenmiştir. Buamaçla senaryolar oluşturulmuş ve senaryoların simülasyonu yapılmıştır.Simülasyonda saldırganın, iletişimi dinleyerek elde ettiği paketleri çözüpçözemediği, sistemi manipüle edip edemediği incelenmiştir. İnceleme sonucunda,kuponun oluşturulması aşamasında, güvenlik zafiyeti olduğu, bu açık kullanılaraksaldırılar yapılabildiği hem simülasyon ile hem de güvenlik protokollerinindoğrulanması amacıyla kullanılan Scyther aracı ile tespit edilmiş ve tespitedilen açıklar için çözüm önerileri sunulmuştur.

Günümüzdemobil cihazlar üzerlerinde barındırdıkları teknolojiler sayesinde günlükhayatın her alanına girmiştir. Bu uygulamalara örnek olarak yeni bir alan olanve mobil cihazlarda kullanılan m-kupon uygulaması verilebilir. Mobil kuponkullanımının yaygınlaştırılabilmesi için gerekli olan hususlardan birisi,kullanıcı güvenliğinin sağlanmasıdır. M-kuponun elde edilmesi/kullanılmasıaşamasındaki güvenlik, sadece bilinen şifreleme algoritmaları kullanılaraksağlanamaz. Şifreleme algoritmaları protokolün olmazsa olmaz bir unsuruolmasına rağmen sadece şifreleme algoritmaları kullanılarak güvenlik garantialtına alınamaz. Bunlara ek olarak sürecin önemli bir parçası olan protokolünde güvenlik analizinin yapılması gerekmektedir. Bu kapsamda bu çalışmada, firmalarınözel müşterilerine sağladığı özel indirimlerin müşterilere ulaştırılabilmesiiçin kullanılan m-kupon protokollerinden, Hsiang tarafından geliştirilen NFCtabanlı protokolün güvenlik analizi, oyun kuramı ve otomatik güvenlik protokolüdoğrulama aracı Scyther kullanılarak yapılmıştır. Protokolün doğal elemanlarıolan kupon sağlayıcı, müşteri ve kasiyer için birer oyuncu ve saldırgan içinayrı bir oyuncu olmak üzere oyun kuramı için dört oyuncu belirlenmiştir. Buamaçla senaryolar oluşturulmuş ve senaryoların simülasyonu yapılmıştır.Simülasyonda saldırganın, iletişimi dinleyerek elde ettiği paketleri çözüpçözemediği, sistemi manipüle edip edemediği incelenmiştir. İnceleme sonucunda,kuponun oluşturulması aşamasında, güvenlik zafiyeti olduğu, bu açık kullanılaraksaldırılar yapılabildiği hem simülasyon ile hem de güvenlik protokollerinindoğrulanması amacıyla kullanılan Scyther aracı ile tespit edilmiş ve tespitedilen açıklar için çözüm önerileri sunulmuştur.