On provable security of some public key encryption schemes
Açık anahtar şifreleme sistemlerinin ispatlanabilir güvenliği
- Tez No: 313872
- Danışmanlar: PROF. DR. ERSAN AKYILDIZ, YRD. DOÇ. DR. ALİ AYDIN SELÇUK
- Tez Türü: Doktora
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2012
- Dil: İngilizce
- Üniversite: Orta Doğu Teknik Üniversitesi
- Enstitü: Uygulamalı Matematik Enstitüsü
- Ana Bilim Dalı: Kriptografi Ana Bilim Dalı (disiplinlerarası)
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
Bu tezde, bazı açık anahtar şifreleme sistemlerinin güvenlik kriterlerini analiz ediyoruz. Bu anlamda, sistemi kırmaya çalışanın amacını ve bu amaca yönelik kapasitelerini sunuyoruz. Standart modelde ve rastgele kahin modelinde sistem kırıcı ile oynanan çeşitli oyunlar vasıtasıyla ispatlanabilir güvenliğin tanımını veriyoruz. Bu iki model arasındaki esas farkları belirtiyoruz ve kriptografik sistemlere saldıran düşmanın başarı olasılığının avantajını gözlemliyoruz. Zayıf varsayımlar altında verimli, pratikte kullanışlı ve güvenliği ispatlanmış sistemler yapmanın yollarını arıyoruz. Bu amaç doğrultusunda RSA, ElGamal, Cramer-Shoup, Paillier, Damgard ve son olarak Zheng-Seberry açık anahtar şifreleme sistemlerinin yapılarını inceliyoruz ve bu sistemlerin hangi durumlarda hangi güvenlik notasyonlarını sağladıklarını açıklıyoruz. Son olarak, Zheng-Seberry'in önerdiği ElGamal imzasına dayanan sistemi Schnorr imza algoritması kullanarak modifiye ederek daha etkili bir sistem elde ediyoruz ve bu sistemin rastgele kahin modelinde güvenli olduğunu ispatlıyoruz.
Özet (Çeviri)
In this thesis, we analyse the security criteria of some public key encryption schemes. In this respect, we present the notion of adversarial goals and adversarial capabilities. We give the definition of provably security by means of several games between the challenger and the adversary in some security models, namely the standard model and the random oracle model. We state the main differences between these two models and observe the advantage of the success probability of the adversary in breaking the cryptographic schemes. We search the ways of making more efficient and provably secure encryption schemes under weak assumptions. In this context, we examine the constructions of some public key encryption schemes such as RSA, ElGamal, Cramer-Shoup, Paillier, Damgard and finally Zheng-Seberry schemes and discuss under which circumstances they satisfy which security notions. Finally, we modify one of the schemes proposed by Zheng-Seberry -which is based on ElGamal signature- by adapting Schnorr signature in order to enhance the efficiency and give a rigorous proof of security in the random oracle model.
Benzer Tezler
- Threshold cryptography with Chinese remainder theorem
Çin kalan teoremi'ne dayalı eşik kriptografisi
KAMER KAYA
Doktora
İngilizce
2009
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİhsan Doğramacı Bilkent ÜniversitesiBilgisayar Mühendisliği Bölümü
YRD. DOÇ. DR. ALİ AYDIN SELÇUK
- Avrupa İnsan Hakları Mahkemesi kararlarının uygulanması: Türkiye örneği
Implementation of judgments of the European Court of Human Rights: The Turkish example
MUAMMER ÖZ
- La politique étrangère du Maroc sous le Roi Mohammed VI – face à l'affaire du Sahara: Intérêts internationaux et préoccupations de la politique interne discutés à partir de la théorie réaliste néoclassique
Kral 6. Muhammed döneminde Fas dış politikasında Sahra meselesinin neoklasik realist teoriye göre uluslararası çıkarlar ve iç politika meseleleri bakımından tartışılması
MUSTAFA BARLAS
Yüksek Lisans
Fransızca
2022
Uluslararası İlişkilerGalatasaray ÜniversitesiUluslararası İlişkiler Ana Bilim Dalı
PROF. DR. ERHAN BÜYÜKAKINCI
- Çalışanların iş güvencesine ilişkin algılamalarının, iş tatminleri, örgütsel bağlılıkları ve işten ayrılma niyetleri üzerindeki etkilerinin incelenmesi
To examine the effects of perceived job security by workers on job satisfaction, organizational commitment and intention on turnover
BÜLENT KAMA
- İklim değişikliklerinin Türkiye coğrafyasına toplumsal ve siyasal etkileri
Social and political effects of climate changes on geography of Turkey
GÖKHAN TUNCEL
Yüksek Lisans
Türkçe
2016
SosyolojiEge ÜniversitesiTürk Dünyası Araştırmaları Ana Bilim Dalı
PROF. DR. NADİM MACİT