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ı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 71
Ö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
- 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
- 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
- Ticari sigortalar ile sosyal sigortaların karşılaştırılması (özellikle sağlık sigortası açısından)
Comparasion of private insurance and social insurance (especially with respect to health insurance)
BAYRAM NECMİ ÖZER
Yüksek Lisans
Türkçe
1994
SigortacılıkMarmara ÜniversitesiSigortacılık Ana Bilim Dalı
DOÇ. DR. MÜJDAT ŞAKAR
- 18. yüzyılın ilk yarısında kuzey seferlerinde Trabzon eyaleti'nde güvenlik
Security in Trebizon province during the northern expeditions in the first half of the 18. century
MURAT SERDAR