Rabin şifreleme sistemi

rabin şifreleme sistemi, rabin kriptoloji veya rabin kriptosistemi, güvenliği rsa'daki gibi tam sayı çarpanlarına ayırmanın zorluğu üzerine kurgulanmış olan asimetrik bir kriptografik tekniktir. bununla birlikte, rabin kriptosisteminin avantajı, saldırgan tam sayıları verimli bir şekilde çarpanlarına ayıramadığı sürece, seçilmiş bir düz metin saldırısına karşı hesaplama açısından güvenli olduğu matematiksel olarak kanıtlanmıştır, oysa rsa için bilinen böyle bir kanıt yoktur. rabin fonksiyonunun her çıktısının dört olası girdiden herhangi biri tarafından üretilebilmesi dezavantajı; her çıktı bir şifreli metinse, olası dört girdiden hangisinin gerçek düz metin olduğunu belirlemek için şifre çözmede ekstra karmaşıklık gerekir.

tarihçe 
algoritma ocak 1979'da michael o. rabin tarafından yayınlandı. rabin şifreleme sistemi, şifreli metinden düz metni kurtarmanın çarpanlara ayırma kadar zor olduğu kanıtlanabilen ilk asimetrik şifreleme sistemiydi.

şifreleme algoritması
tüm asimetrik şifreleme sistemleri gibi, rabin şifreleme sistemi de bir anahtar çifti kullanır: şifreleme için genel anahtar ve şifre çözme için özel anahtar. genel anahtar, herkesin kullanması için yayınlanırken, özel anahtar yalnızca mesajın alıcısı tarafından bilinir.

anahtar üretimi 
rabin şifreleme sisteminin anahtarları şu şekilde oluşturulur:

 i̇ki tane çok büyük ve farklı ,  asal sayıları seçilir. kare kökün hesaplanmasını basitleştirmek için bir tanesini  yöntemi ile seçebiliriz. fakat yöntem herhangi daha büyük asal sayılarla çalışır.
  hesaplanır. burada  açık anahtar, asal sayılardan oluşan  ise özel anahtardır.

şifreleme
bir  mesajı, önce tersine çevrilebilir bir eşleme kullanılarak  sayısına dönüştürülerek ve ardından  hesaplanarak şifrelenebilir. şifreli metin, 'dir.

şifre çözme
 mesajı, şifreli  metninden karekök modül 'si aşağıdaki gibi alınarak elde edilebilir.

 aşağıdaki formülleri kullanarak  modül  ve 'nun karekökünü hesaplayın;
 
  olacak şekilde  ve 'i bulmak için genişletilmiş öklid algoritması kullanın.
  modül 'nin dört karekökünü bulmak için çin kalan teoremi'ni kullanın:
 

bu dört değerden biri orijinal düz metin 'dir, ancak dördünden hangisinin doğru olduğu ek bilgi olmadan belirlenemez.

kesin anahtar üretimi süreci aşağıdaki gibidir:

karekökleri hesaplama
yukarıdaki 1. adımdaki formüllerin aslında 'in kareköklerini aşağıdaki gibi ürettiğini gösterebiliriz. i̇lk formül için,  olduğunu kanıtlamak istiyoruz.  olduğundan,  üssü bir tam sayıdır.  ise ispat önemsizdir, bu nedenle 'nin 'yi bölmediğini varsayabiliriz.  ögesinin  anlamına geldiğini unutmayın, dolayısıyla  modül 'ye göre bir kuadratik kalıntıdır (rezidü). buradan;

 

yazılabilir. son adım euler ölçütü tarafından doğrulanır.

deşifreleme şifreli metninin kare köklerini hesaplamak için  mod asal sayı  ve 'yu gerektirir.

 ve

 olur.

biz bu metodun  için çalışmasını aşağıdaki gibi gösterebiliriz. i̇lk 'ün,  bir tam sayı olduğunu gösterir.  için varsayım basittir. bu yüzden biz 'nin 'ye bölünmediğini varsayabiliriz. o zaman:

 legendre sembolüdür. 
'dan aşağıdaki gibi 
 olarak hesaplanır.

bu yüzden , modül 'nin kuadratik kalanıdır. buradan;
 ve 
 elde edilir.
 ilişkisi bir gereksinim değildir. çünkü kare kökler in diğer asal sayılarla modülü de hesaplanabilir.

rabin kare köklerin asal sayılarla modlarını bulmak için berlekamp algoritmasının özel bir durumunu kullanmayı önerir.

örnek
örnek olarak,  ve  olarak alalım, ardından  olur (elbette burada anahtarların seçimi kötüdür. 77'nin çarpanlarına ayrılması basittir gerçek örneklerde çok çok daha büyük sayılar kullanılır). düz metnimiz olarak  alalım. şifreli metin bu şekilde

 olarak elde edilir.

bizim basit örneğimizde  bizim düz metin uzayımızdır. biz 'yi bizim düz metnimiz olarak alacağız. bu yüzden şifreli metin, 'dir. açıkça ’nin 4 farklı değeri  için, şifreli metin 15 üretilir. bu rabin algoritması tarafından üretilen çoğu şifreli metinler için geçerlidir.

şifre çözme işlemi şu şekilde ilerler:
  ve  hesaplanır.
  ve 'yi hesaplamak için genişletilmiş öklid algoritması kullanılır.  olduğunu doğrulayabiliriz.
 dört düz metin adayını hesaplayın:
 

ve 'in istenen düz metin olduğunu görüyoruz. dört adayın hepsinin 15 mod 77'nin karekökleri olduğuna dikkat edin. yani, her aday için , böylece her  aynı değere (15) şifreler.

eğer  ve  bilinirse düz metin  ile  olacaktır.  bir kompozit sayıdır kompozit sayı asal olmayan herhangi bir pozitif sayıdan daha büyük pozitif sayı demektir. eğer  bir tam sayı ise ve  gibi  sayısı var ise o zaman  kompozit sayı demektir (yani rabin algoritmasının  formülüne benzer). 'yi bulmak için bilinen daha etkili bir metot yoktur. eğer asal ise (rabin algoritmasındaki  ve  gibi) çin kalan teoremi 'nin çözümü için başvurulabilecek bir metottur. bu yüzden kare kökler;

 ve

 hesaplanmış olmalıdır.

bizim örneğimizde  ve  alalım, 
genişletilmiş öklid algoritması uygulanarak biz  ve 'yu bulmak isteyelim.
 ile bulunur. bizim örneğimizde  ve  bulunur.

şimdi, çin kalan teoremi yardımıyla, 'nin dört karekökü , ,  ve  şeklinde hesaplanır (burada ,  uyum sınıfları halkası [ring of congruence classes] anlamına gelir.) 4 kare kök  kümesi içindedir:

'dir.

bu kare köklerin bir tanesi  orijinal düz metin ’dir. bizim örneğimizde 'dir.

rabin kendi makalesinde eğer bir kişi hem  hem de 'yi hesaplayabilirse o zaman 'nin çarpanlarını da hesaplayabileceğini bize şöyle gösteriyor;
ya  ya , burada  (greatest common divisor) yani en büyük ortak bölen (ebob) anlamına gelir.

çünkü eğer bir kişi  ve 'yi biliyorsa, en büyük ortak bölen 'nin çarpanlarını bulmak için etkili bir hesaplama yöntemidir bizim örneğimizde ( ve 'ü  ve  olarak alalım):

 bulunur.

dijital i̇mza algoritması
rabin şifreleme sistemi, dijital imza'lar oluşturmak ve doğrulamak için kullanılabilir. i̇mza oluşturmak için  özel anahtarı gerekir. bir imzanın doğrulanması için  ortak anahtarı gerekir.

i̇mzalama
bir  mesajı, bir özel anahtar  ile aşağıdaki gibi imzalanabilir.

 rastgele bir  değeri oluşturun.
 'i hesaplamak için bir  kriptografik özet fonksiyonunu kullanın, buradaki | notasyonu birleştirmeyi () gösterir. ,  değerinden küçük bir tam sayı olmalıdır.
 'yi rabin tarafından şifrelenmiş bir değer olarak ele alın ve özel anahtarı  kullanarak şifresini çözmeye çalışın. bu, olağan şekilde dört  sonucunu üretecektir.
 her bir  şifrelemenin  üreteceği beklenebilir. ancak, bu yalnızca  bir kuadratik kalıntı mod  ve  olursa doğru olacaktır. durumun böyle olup olmadığını belirlemek için, ilk şifre çözme sonucunu  şifreleyin.  olarak şifrelemezse, bu algoritmayı yeni bir rastgele  ile tekrarlayın. uygun bir  bulmadan önce bu algoritmanın tekrarlanması gereken beklenen tekrar sayısı 4'tür.
  olarak şifreleyen bir  bulduktan sonra, imza  olur.

i̇mzanın doğrulanması
 mesajı için bir  imzası,  genel anahtarı kullanılarak aşağıdaki gibi doğrulanabilir.

 'yi hesapla.
 'yi  ortak/açık anahtarını kullanarak şifrele. 
 i̇mza, ancak ve ancak  şifrelemesinin 'ye eşit olması durumunda geçerlidir.

algoritmanın değerlendirilmesi

etkinlik
şifre çözme, doğru sonuca ek olarak üç yanlış sonuç üretir, böylece doğru sonucun tahmin edilmesi gerekir. bu, rabin şifreleme sisteminin en büyük dezavantajıdır ve yaygın pratik kullanım bulmasını engelleyen faktörlerden biridir.

düz metnin bir metin mesajını temsil etmesi amaçlanıyorsa, tahmin etmek zor değildir; bununla birlikte, eğer düz metin sayısal bir değeri temsil etmeyi amaçlıyorsa, bu konu, bir tür belirsizliği giderme şemasıyla çözülmesi gereken bir problem haline gelir. bu problemi ortadan kaldırmak için özel yapılara sahip düz metinler seçmek veya dolgu eklemek mümkündür. tersine çevirmenin belirsizliğini ortadan kaldırmanın bir yolu blum ve williams tarafından önerilmiştir: kullanılan iki asal sayı, 3 modül 4 ile uyumlu asal sayılarla sınırlandırılmıştır ve kare alma alanı, ikinci dereceden kalıntılar kümesiyle sınırlandırılmıştır. bu kısıtlamalar, kare alma fonksiyonunu bir tuzak kapı permütasyonuna dönüştürerek belirsizliği ortadan kaldırır.

verimlilik
şifreleme için bir kare modül n hesaplanmalıdır. bu, en az bir küpün hesaplanmasını gerektiren rsa'dan daha verimlidir.

şifre çözme için, iki modüler üsle birlikte çin kalan teoremi uygulanır. burada verimlilik rsa ile karşılaştırılabilir.

belirsizliği giderme, ek hesaplama maliyetleri getirir ve rabin şifreleme sisteminin yaygın pratik kullanım bulmasını engelleyen şeydir.

güvenlik
rabin ile şifrelenmiş bir değerin şifresini çözen herhangi bir algoritmanın  modülünü çarpanlara ayırmak için kullanılabileceği kanıtlanmıştır. bu nedenle, rabin şifre çözme en az tam sayı çarpanlarına ayırma problemi kadar zordur, bu rsa için kanıtlanmamış bir şeydir. genellikle çarpanlara ayırma için polinom-zaman algoritması olmadığına inanılır, bu da özel anahtar  olmadan rabin ile şifrelenmiş bir değerin şifresini çözmek için verimli bir algoritma olmadığı anlamına gelir.

rabin şifreleme sistemi, şifreleme süreci deterministik olduğu için seçilen düz metin saldırılarına karşı ayırt edilemezlik sağlamaz. bir şifreli metin ve bir aday mesaj verilen bir rakip, şifreli metnin aday mesajı kodlayıp kodlamadığını kolayca belirleyebilir (sadece aday mesajı şifrelemenin verilen şifreli metni verip vermediğini kontrol ederek).

rabin şifreleme sistemi, seçilen bir şifreli metin saldırısına karşı güvensizdir (sorgulama mesajları, mesaj uzayından homojen bir biçimde rastgele seçilse bile). fazlalıklar, örneğin son 64 bitin tekrarı eklenerek, sistem tek bir kök üretmek için yapılmıştır. bu, seçilen şifreli metin saldırısını engeller, çünkü şifre çözme algoritması yalnızca saldırganın zaten bildiği kökü üretir. eğer bu teknik uygulanırsa, çarpanlara ayırma problemi ile denkliğin ispatı başarısız olur, bu yüzden bu varyantın güvenli olup olmadığı 2004 itibarıyla belirsizdir. menezes, oorschot ve vanstone tarafından hazırlanan handbook of applied cryptography, köklerin bulunması iki parçalı bir süreç olduğu sürece (1.  ve  kökleri ve 2. çin kalan teoreminin uygulaması) bu eşdeğerliğin muhtemel olduğunu düşünmektedir.

notlar

ayrıca bakınız
 kriptografi konuları
 blum blum shub
 shanks–tonelli algoritması
 schmidt-samoa şifreleme sistemi
 blum-goldwasser şifreleme sistemi

kaynakça

dış bağlantılar 
 

elektronik ticaret
kriptografik algoritmalar
açık anahtarlı şifreleme programları