Kablosuz ağlar üzerinden güvenli veri iletimi

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.