Paillier şifreleme sistemi

testwiki sitesinden
Gezinti kısmına atla Arama kısmına atla

Paillier şifrelemesi , 1999'da Pascal Paillier tarafından geliştirilen olasılıksal açık anahtarlı şifreleme yöntemidir. n'inci kök sınıflarını hesaplamanın zorluğunu kullanan Paillier şifreleme sistemi, kararsal bileşik kök sınıfı varsayımı (en:decisional composite residuosity assumption) üzerine kurulmuştur. Sistem, toplama işlemine göre homomorfik (homomorphic) özellik gösterir; yani sadece açık anahtarı, m1 ve m2’nin şifrelemesini kullanarak m1+m2’nin şifrelenmiş hâli hesaplanabilir.

Algoritma

Sistemin çalışma şekli aşağıda anlatılmıştır:

Anahtar Üretimi

  1. ”p” ve “q”, rastgele seçilen, birbirinden bağımsız ve EBOB(pq,(p1)(q1))=1 özelliğini sağlayan iki büyük asal sayı olsun. İki asal sayı da eşit uzunlukta seçilirse, yani güvenlik parametresi s için p,q1||{0,1}s1 ise bu koşul doğrudan sağlanır.[1]
  2. n=pq ve λ=EKOK(p1,q1) olarak hesaplanır.
  3. gn2* olmak üzere rastgele bir g tam sayısı seçilir. Yani g sayısı, 1 ile (n² - 1) arasında rastgele bir değer almalı ve EBOB(g, n²) = 1 özelliğini sağlamalıdır.
  4. L fonksiyonu L(u)=u1n şeklinde tanımlanmak üzere; μ=(L(gλmodn2))1modn'nın hesaplanabilirliği kontrol edilerek, n'nin g'nin mertebesini böldüğünden emin olunur.
ab gösteriminin a ile b’nin çarpmaya gore modüler tersinin çarpımına değil, a’nın b’ye bölümüne; yani v0 olmak üzere avb eşitsizliğini sağlayan en büyük tam sayı v’ye eşit olduğuna dikkat ediniz.
  • (n,g) - Açık Anahtar (Şifreleme Anahtarı).
  • (λ,μ). - Gizli Anahtar (Şifre Çözme Anahtarı)

Eğer eşit uzunlukta p,q kullanılırsa, yukarıda anlatılan anahtar üretim işlemi, φ(n)=(p1)(q1) olmak üzere, g=n+1,λ=φ(n), ve μ=φ(n)1modn, şeklinde daha basit olarak yapılabilir. .[1]

Şifreleme

  1. m, mn koşulunu sağlayan, şifrelenecek mesaj olsun.
  2. rn* koşulunu sağlayan rastgele bir r seçilir. Yani r sayısı, 1 ile (n - 1) arasında rastgele bir değer almalı ve EBOB(r, n²) = 1 özelliğini sağlamalıdır.
  3. Şifreli metin c=gmrnmodn2 şeklinde hesaplanır.

Şifre Çözme

  1. Şifreli metin cn2*
  2. Mesaj m=L(cλmodn2)μmodn eşitliği kullanılarak hesaplanır.

Özgün makalede[2] belirtildiği gibi şifre çözme işlemi, temel olarak, mod n2’de yapılan bir üs alma işleminden ibarettir.

Homomorfik Özellikler

Paillier şifrelemesinin homomorfik özelliği oldukça önemlidir. Şifreleme fonksiyonu toplama işlemine göre homomorfik olduğu için, aşağıdaki eşitlikler geçerlidir:

  • Şifrelenmemiş metinlerin homomorfik olarak toplanması
D(E(m1,r1)E(m2,r2)modn2)=m1+m2modn.
D(E(m1,r1)gm2modn2)=m1+m2modn.
  • Şifrelenmemiş metinlerin homomorfik olarak çarpılması
D(E(m1,r1)m2modn2)=m1m2modn,
D(E(m2,r2)m1modn2)=m1m2modn.
Daha genel olarak belirtmek gerekirse:
D(E(m1,r1)kmodn2)=km1modn.

Özellikle belirtmek gerekirse, Paillier şifrelenmiş hali verilen iki mesajın çarpımının şifrelenmiş hali, gizli anahtar olmadan hesaplanamaz.

Temel Bilgiler

Paillier şifrelemesi ile, bazı ayrık logaritmaların (Ayrık logaritma) kolay bir biçimde hesaplanabileceği gösterilebilir. Örneğin, binom açılımı kullanarak,

(1+x)n=k=0n(nk)xk=1+nx+(n2)x2+higher powers of x

Yukarıdaki eşitlikten

(1+n)x1+nx(modn2)

elde edilir. Buradan, eğer

y=(1+n)xmodn2

ise

xy1n(modn)

yazılabilir. Yani;

L fonksiyonu L(u)=u1n (tam sayı bölme işleminin bölümü) şeklinde tanımlanmak üzere ve xn iken
L((1+n)xmodn2)x(modn),

yazılabilir.

Anlamsal Güvenlik

Şablon:Ana Yukarıda belirtilen orijinal kriptosistem yukarıda gösterildiği gibi seçilmiş açık metin saldırılarına karşı anlamsal güvenlik sağlar (Seçilmiş açık metin saldırısı).

Ayrıca bakınız

Notlar

Şablon:Kaynakça

Kaynakça

  • Paillier, Pascal (1999). "Public-Key Cryptosystems Based on Composite Degree Residuosity Classes". EUROCRYPT. Springer. pp. 223–238. doi:10.1007/3-540-48910-X_16
  • Paillier, Pascal; Pointcheval, David (1999). "Efficient Public-Key Cryptosystems Provably Secure Against Active Adversaries". ASIACRYPT. Springer. pp. 165–179. doi:10.1007/978-3-540-48000-6_14
  • Paillier, Pascal (1999). Cryptosystems Based on Composite Residuosity (Ph.D. thesis). École Nationale Supérieure des Télécommunications.
  • Şablon:Dergi kaynağı

Dış bağlantılar

  • Şablon:Web kaynağı.
  • Encounter : Paillier şifrelemesinin ve buna dayana kriptografik sayaçların geliştirilmiş hâlini içeren açık kaynak kütüphane.

Şablon:Açık anahtarlı şifreleme Şablon:Otorite kontrolü

  1. 1,0 1,1 Jonathan Katz, Yehuda Lindell, "Introduction to Modern Cryptography: Principles and Protocols," Chapman & Hall/CRC, 2007
  2. Şablon:Web kaynağı
  3. Şablon:Web kaynağı
  4. Şablon:Web kaynağı
  5. Şablon:Web kaynağı