On password-based authenticated key exchange (PAKe) protocols
Parola tabanlı kimliği doğrulanmış anahtar değişim protokolleri üzerine
- Tez No: 648245
- Danışmanlar: DOÇ. DR. ALİ DOĞANAKSOY, DR. İSA SERTKAYA
- Tez Türü: Yüksek Lisans
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2020
- Dil: İngilizce
- Üniversite: Orta Doğu Teknik Üniversitesi
- Enstitü: Uygulamalı Matematik Enstitüsü
- Ana Bilim Dalı: Kriptografi Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 102
Özet
Kimlik doğrulama ve anahtar anlaşması protokolleri günümüz dijital dünyasında önemli bir rol oynamaktadır. Anahtar anlaşması yöntemleri çoğunlukla Diffie-Hellman anahtar değişim protokolünü taklit ederler fakat maalesef aradaki korsan saldırılarına duyarlıdırlar. Parola tabanlı kimliği doğrulanmış anahtar değişim (PAKE) protokolleri, bu anahtar anlaşması ve kimlik doğrulamasının üstesinden gelmeyi sertifika yetkililerinin veya güvenilir üçüncü tarafların varlığına ihtiyaç duymadan vaadeder. Daha da önemlisi PAKE protokolleri, sadece ilgili tarafların paylaştığı yüksek entropi kriptografik anahtarlardan ziyade düşük entropi şifreler üzerine anlaşmayı mümkün kılar. Uygulamada PAKE protokolleri yaygın bir şekilde kullanılmasa da halihazırda IEFT(RFC), ISO güvenlik standartları ve TLS kriptografik paketinde yer almaktadır. Bu tez çalışmasında güncel gelişmeleri takip ederek ilk olarak PAKE protokollerini; dengeli PAKE protokolleri, genişletilmiş PAKE protokolleri ve parola doğrulamalı anahtar geri alımı (PAKR) protokolleri olarak üç şekilde, tekli ve çoklu sunucu ortamlarında takdim ediyoruz. Özellikle dengeli protokollerden EKE, SPEKE, PAK, PPK, J-PAKE, SPAKE ve SESPAKE'nin; genişletilmiş protokollerden SRP, AugPAKE, OPAQUE ve B-SPEKE'nin üzerinden geçiyoruz. Sonra bu protokollere yapılan güvenlik saldırılarını özetliyoruz. Daha sonra bu protokollere karşı yapılan saldırıların detaylı açıklamaları verilir. Ayrıca PAKE protokollerinin güncel gelişmiş halini sunuyoruz. Son olarak PAKE protokolleri için olası eklemelere dikkat çekiyor ve konuyla ilgili çözümlenmemiş soruları belirtiyoruz.
Özet (Çeviri)
Authentication and key agreement protocols play an important role in today's digital world. Key agreement methods mostly mimic Diffie-Hellman key exchange protocol, but unfortunately they are susceptible to man-in-the-middle attacks. Password based authenticated key exchange (PAKE) protocols promise to handle these key agreement and authentication without requiring existence of certificate authorities or trusted third parties. More importantly, PAKE protocols enable agreement on low-entropy passwords rather than high-entropy cryptographic keys shared by only involved parties. Even if PAKE protocols are not widely used in practice, they are already included in IEFT (RFC), ISO security standards and TLS cryptographic suite. In this thesis, by following these recent developments, we first present these PAKE protocols in three forms, namely balanced PAKE protocols, augmented PAKE protocols and password authenticated key retrieval (PAKR) protocols and within both single and multi server settings. Particularly, we revisit EKE, SPEKE, PAK, PPK, J-PAKE, SPAKE, SESPAKE balanced, and SRP, AugPAKE, OPAQUE, B-SPEKE augmented protocols. Then, we summarize security attacks to these protocols. Afterwards, detailed explanations of the attacks against these protocols are given. We further present current state of the art for PAKE protocols. Finally, we draw attention to possible extensions for PAKE protocols and state currently open questions about the subject.
Benzer Tezler
- Kuantum sonrası güvenli anahtar uzlaşma şemalarının mobil ortam gerçeklemeleri ve uçtan-uca şifreli anlık mesajlaşma uygulaması
Mobile implementations of post-quantum secure key agreement schemes and end-to-end encrypted instant messaging application
AHMET FARUK DURSUN
Yüksek Lisans
Türkçe
2024
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOndokuz Mayıs ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. SEDAT AKLEYLEK
- Post-quantum password authenticated key exchange schemes and their primitives for resource-constrained devices
Kuantum sonrası parola kimlik doğrulamalı anahtar değişim şemaları ve kaynak kısıtlı cihazlar için bunların bileşenleri
KÜBRA SEYHAN
Doktora
İngilizce
2024
Mühendislik BilimleriOndokuz Mayıs ÜniversitesiHesaplamalı Bilimler Ana Bilim Dalı
PROF. DR. SEDAT AKLEYLEK
- How cryptographic implementations affect mobile agent systems
Şifreleme gerçekleştirmelerinin gezgin aracı internet sistemlerini nasıl etkilediği
İSMAİL ULUKUŞ
Yüksek Lisans
İngilizce
2003
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolBoğaziçi ÜniversitesiSistem ve Kontrol Mühendisliği Ana Bilim Dalı
PROF. DR. EMİN ANARIM
- Design and development of a secure and accessible web authentication alternative to FIDO2
FIDO2'ye alternatıf güvenli ve erişilebilir bir web kimlik doğrulama tasarımı ve gelıştirilmesi
AHMET DROBİ
Yüksek Lisans
İngilizce
2023
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiBilişim Uygulamaları Ana Bilim Dalı
Prof. Dr. KEMAL BIÇAKCI
- Secure data transmission over wireless networks
Kablosuz ağlar üzerinden güvenli veri iletimi
BAKYTBEK ESHMURZAEV
Yüksek Lisans
İngilizce
2012
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolDokuz Eylül ÜniversitesiBilgisayar Mühendisliği Bölümü
YRD. DOÇ. DR. GÖKHAN DALKILIÇ