Secure data transmission over wireless networks

---

Tezin Türü: Yüksek Lisans

Tezin Yürütüldüğü Kurum: Dokuz Eylül Üniversitesi, Fen Bilimleri Enstitüsü, Bilgisayar Mühendisliği Ana Bilim Dalı, Türkiye

Tezin Onay Tarihi: 2012

Tezin Dili: İngilizce

Öğrenci: BAKYTBEK ESHMURZAEV

Danışman: GÖKHAN DALKILIÇ

Açık Arşiv Koleksiyonu: AVESİS Açık Erişim Koleksiyonu

Özet:

Kimlik doğrulama ve şifreleme Kablosuz Yerel Alan Ağları'nın (KYAA) temel güvenlik kavramlarıdır. Günümüzde KYAA için çok güçlü güvenlik çözümleri mevcuttur. Eğer uygun KYAA güvenlik çözümleri uygulanırsa, kablosuz ağ da kablolu ağ kadar güvenli olabilir. 802.1X/EAP taslağı kimlik doğrulama ve anahtar yönetimi prosedürlerinde kullanılmak üzere çeşitli özellikli metotlara izin verir. EAP metotları şifre-bazlı ve sertifika-bazlı olarak iki ana gruba ayrılırlar. Şifre-bazlı EAP metotları hafif işlerde kullanılır ve çok elverişlidirler. Ama birçoğu şifre-bazlı metotlar çevrimdışı sözlük saldırılarına elverişlidir ve dolayısıyla zayıftırlar. Diğer taraftan, sertifika-bazlı metotlar güçlü güvenlik sağlarlar, aynı zamanda zayıf sayılan şifre-bazlı metotların da kullanılmasına izin verirler. Sertifika-bazlı metotlar bu güvenliği doğrulanmış ve şifrelenmiş tünel oluşturan TLS protokolünü kullanarak elde ederler. Bu tünelde şifre-bazlı metotlar güvenli olarak çalışırlar. Sertifika-bazlı metotların kötü yanı uygulaması pahalı ve yönetimi zor olan Açık Anahtar Altyapısına ihtiyaç duymalarıdır. Bu çalışmanın amacı KYAA'nda kullanılan TLS-bazlı EAP protokollerinin analizidir. Sadece geniş çaplı kullanılan RFC tabanlı EAP tiplerini seçmemizin nedeni kullanılabilirlikleri ve standart tabanlı özelliğidir. Cezbedici güvenlik özelliklerinden dolayı özellikle EAP-FAT protokolünü odaklandık. EAP-FAST ptokolü diğer TLS-bazlı EAP tiplerinden sertifikalar yerine paylaşılmış gizli anahtar kullanımlarından dolayı ayrılmaktadır ki bu da önemli şekilde performansı arttırmaktadır. EAP-FAST sadece diğer güçlü TLS-bazlı metotlar gibi aynı güvenlik seviyesini sağlamamakta aynı zamanda PAC'leri kullanarak elverişliliği ve verimliliği de sağlamaktadır. Bu çalışmada, EAP-FAST metodunun değişik doğrulama mekanizmalarını AVISPA model denetçisi ile onayladık.