Kafes tabanlı yeni kimliği doğrulanmış anahtar değişim protokolü ve uzlaşma mekanizmaları
Lattice-based new authenticated key exchange protocol and reconciliation mechanisms
- Tez No: 612231
- Danışmanlar: DOÇ. DR. SEDAT AKLEYLEK
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2020
- Dil: Türkçe
- Üniversite: Ondokuz Mayıs Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 96
Özet
Haberleşen taraflar arasında güvenli iletişimin sağlanmasında kullanılacak olan anahtarların üretilmesi fikriyle ortaya çıkan anahtar değişim protokolleri günümüzde birçok alanda aktif olarak kullanılmaktadır. Bu protokollerden en yaygın olarak kullanılanı ayrık logaritma problemi temel alınarak oluşturulan Diffie-Hellman anahtar değişimidir. Günümüz hesaplama sistemlerinde çalışarak ayrık logaritma problemini polinom zamanda çözebilen algoritmanın olmaması Diffie-Hellman anahtar değişiminin güvenliğini açıklamaktadır. 1994'te Shor tarafından önerilen bir algoritma ile bu probleme kuantum bilgisayarlarda polinom zamanda çözüm önerisi sunulmuştur. Bu gelişme kuantum bilgisayarlarda dahi çözümü zor problemlere dayalı Diffie-Hellman benzeri yeni anahtar değişim ve kimliği doğrulanmış anahtar değişim protokollerinin önerilmesi gerekliliğini ortaya çıkarmıştır. Bu tez çalışmasında, büyük ölçekli kuantum bilgisayarların varlığında bile güvenilir olacağı düşünülen kafes tabanlı anahtar değişim ve kimliği doğrulanmış anahtar değişim protokolleri ve bileşenleri üzerine çalışılmıştır. Bu kapsamda, kafes tabanlı kriptografide yer alan zor problemleri baz alarak oluşturulan Diffie-Hellman benzeri anahtar değişim ve paketleme protokollerinde bulunan uzlaşma mekanizmalarına ait bileşenler karşılaştırılarak protokollerin çalışma yapıları incelenmiştir. Ayrıca zorluğu temel zor kafes problemlerine indirgenerek açıklanan zor kafes problemi Bi-GISIS'i temel alan tekrar kullanılabilir anahtar özelliğine sahip anahtar değişim protokolü önerilerek bu anahtar özelliğinin protokole sağlanabilmesi için iki yönlü pastörizasyon yöntemi tanımlanmıştır. Son olarak, oluşturulan protokole dolaylı kimlik doğrulama işlem adımları eklenerek tekrar kullanılabilir anahtar özellikli kimliği doğrulanmış anahtar değişim protokolü önerilmiştir. Tanımlanan protokolün ROM'da BR güvenlik modelinde wPFS'yi sağladığı sunulan güvenlik analizi ile açıklanmıştır.
Özet (Çeviri)
Key exchange protocols emerged with the idea of generating the key used to ensure secure communication between the parties. These systems are used in real world applications such as SSL and SSH. Commonly used one is Diffie-Hellman key exchange protocol whose hardness depends on discrete logarithm problem. In today's technology, there is no known algorithm to solve discrete logarithm problem in polynomial time. Shor's algorithm, proposed in 1994, provides a polynomial time solution to the discrete logarithm problem. With this achievement, quantum attack resistant algorithms Diffie-Hellman-like (authenticated) key exchange protocols are required. In this thesis, lattice-based (authenticated) key exchange/encapsulation protocols/mechanisms and their primitives are studied. The primitives of Diffie-Hellman-like key encapsulation mechanisms are evaluated. To do this, reconciliation mechanisms are detailed. Then, a novel Bi-GISIS based key exchange protocol with reusable key property is proposed. The security of Bi-GISIS problem is explained by reducing to the hardness of the basic hard lattice problems. To provide reusable key property, bilateral pasteurization method is proposed. Finally, an authenticated key exchange protocol with reusable keys is defined by adding implicit authentication processing steps to the proposed key exchange protocol. The security analysis of the proposed protocol is presented in the BR security model where wPFS is provided in ROM.
Benzer Tezler
- Kafes tabanlı yeni anahtar değişim protokolleri ve verimli polinom çarpımı
Lattice based new key exchange protocols and efficient polynomial multiplication
NURŞAH ÇEVİK
Yüksek Lisans
Türkçe
2018
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOndokuz Mayıs ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
DOÇ. SEDAT AKLEYLEK
- Blockchain-based authentication and authorization for software defined networks
Yazılım tanımlı ağlar için blok zincir tabanlı doğrulama ve yetkilendirme
MAJD LATAH
Doktora
İngilizce
2023
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolÖzyeğin ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
YRD. DOÇ. DR. KÜBRA KALKAN ÇAKMAKCİ
- Yeni nesil kriptosistemlerin analizi, tasarımı ve verimli uygulamaları
Analysis, design and efficient implementation of next-generation cryptosystems
ERDEM ALKIM
Doktora
Türkçe
2017
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolEge ÜniversitesiMatematik Ana Bilim Dalı
PROF. DR. URFAT NURIYEV
YRD. DOÇ. DR. PETER SCHWABE
- New TMVP-based multiplication algorithms for polynomial quotient rings and application to post-quantum cryptography
Polinom halkaları için yeni TMVP-tabanlı çarpım algoritmaları ve quantum-sonrası kriptografiye uygulamaları
İREM KESKİNKURT PAKSOY
Doktora
İngilizce
2022
MatematikOrta Doğu Teknik ÜniversitesiKriptografi Ana Bilim Dalı
PROF. DR. MURAT CENK
- Verifiable accountable subgroup multi-signatures
Doğrulanabilir hesap verilebilir altgrup çoklu imza şemaları
AHMET RAMAZAN AĞIRTAŞ
Doktora
İngilizce
2024
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik ÜniversitesiKriptografi Ana Bilim Dalı
DOÇ. DR. OĞUZ YAYLA