Diferansiyel Kriptoanalizi ( Fark Tecessüsü , Differential Cryptoanalysis)
Yazan : Şadi Evren ŞEKER
Bilgisayar bilimleri de dahil olmak üzere, şifreleme yöntemlerinin kullanıldığı çeşitli bilim dallarında kullanılan saldırı yöntemlerinin bir çeşidinin ismidir. Bu yöntem kabaca sistemi bir kara kutu yaklaşımı (black box) ile ele alır ve bu kutunun girişindeki değişimlerin, çıktıdaki etkilerini inceleyerek sistemi analiz etmeye çalışır.
Şifreleme sistemlerinin tamamı bu yöntemden etkilenir. Elbette her sistemin etkilenmesi ve bu yönteme karşı olan zafiyeti farklı seviyelerdedir. Kabaca bütün blok şifreleme yöntemlerinin (block ciphers),
akış şifrelemelerinin (stream ciphers) ve özetleme fonksiyonlarının (hash functions) bu yönteme karşı zafiyeti olduğunu söylemek yeterlidir.
Tecessüs açısından, seçilmiş açık mesaj saldırısı (chosen plaintext attack) olarak görülebilecek yöntemde, casus taraf bir şekilde şifreleme sisteminin içerisine bildiği bir mesajı yerleştirmeyi başarır (veya bir mesajın açık halini ele geçirir) ve aynı mesajın çıktısını da ele geçirir. Dolayısıyla casusun elinde aynı mesajın hem açık hem de şifreli hali bulunur.

Örneğin yukarıdaki temsili resimde görüldüğü üzere, Ali ile Bekir arasında çalışan bir şifreleme sistemine, Casus’un bir şekilde müdahale edip, bir mesajı şifrelemesi ve şifrelenen mesajı elde etmesi durumudur.
Fark tecessüsü yönteminde ise bir adım daha ileri giderek ikinci bir açık mesaj ve şifreli mesaj ikilisini daha ele geçirmeyi başarması gerekir. Böylelikle elinde iki farklı açık mesaj ve bu mesajların şifreli halleri bulunur. Artık casus, bu açık mesajlardaki farkın, şifreli mesajları nasıl etkilediğini bulup saldırısını buna göre yapabilir.

Yukarıda görüldüğü üzere artık casusumuz en az iki adet açık mesaj ve bu açık mesajların karşılığı olan şifreli mesajı elde etmiştir.
Fark tecessüsü özel olarak DES sistemine saldırmak için geliştirilmiştir. DES sisteminin ilk çıktığı sıralardaki yüksek başarısı ve geniş kullanıma ulaşması sonucunda yapılan çalışmalardan birisi olan fark tecessüsü, yapı olarak istatistiksel yöntemler kullanır ve saldırdığı sisteme özgü bazı yöntemlerle başarıyı arttırır. Bilindiği üzere DES güvenlik olarak yer değiştirme işleminin geri dönüşünün zorluğunu kullanmaktadır. Yani aslında her şifreleme sisteminde matematiksel olarak gidilmesi kolay ama dönülmesi zor bir yönteme istinat edilir. DES için bu yöntem yer değiştirme şifrelemesinin biraz değişik hali olarak düşünülebilecek olan S-Kutularıdır.
İlginç şekilde DES şifreleme yönteminde kullanılan yer değiştirme kutuları (substitution boxes S-Boxes) yapı olarak, sistemdeki değişiklikleri ele vermeye müsaittir. Bilindiği üzere DES yönteminde farklı s-kutuları kullanılabilecek olmasına rağmen, sistem inşa edilirken tek bir s-kutusu seçilir ve sistemin tamamında ve her zaman için bu kutular kullanılır. Bu durumda sürekli olarak aynı kalan s-kutuları, mesaj değişmesine rağmen şayet aynı sonucu üretiyorsa kendilerini ele vermiş olurlar.
Bilindiği üzere DES gibi şifreleme yöntemlerine saldırmak ve bir şekilde sistemi çözmek zaman almaktadır. Özellikle de bir s kutusunun iki farklı mesaj için ürettiği aynı sonucu bulmak gibi basit kazançlar bütün sistemi çözmek için önemli bir adım olsa da yetersizdir. Dolayısıyla bütün sistemi çözebilmek ve saldırıyı başarılı hale getirebilmek için bilgisayarların da yardımıyla çok sayıda açık-şifreli mesaj çifti elde edip bu mesajların üzerinden matematiksel bir yöntemle geçilmesi gerekir.
Bunun için kullanılan en basit matematiksel operatör özel veya (exclusive or , ⊕ ) işlemidir. Basitçe açık mesajları x ve şifreli mesajları y ile gösterecek olursak DES sistemi:
Y = DES ( X, K) şeklinde şifrelemekte ve
X = DES (Y, K) şeklinde aynı mesajı açmaktadır.
O halde açık mesajdaki farka ∆X ve şifreli mesajdaki farka ∆Y denilecek olursa, fark tecessüsü aşağıdaki şekilde yapılabilir:
∆Y = S(X) ⊕ S(X ⊕ ∆X)
Yukarıdaki bu formülde S fonksiyonu, yer değiştirme işlemini (substitution) göstermektedir. Yani mesajın S-kutularından geçirilmesi işlemi olarak düşünülebilir. açık mesaj olan X ile bu mesajdaki farkı gösteren ∆X bilgileri arasında özel veya uygulanmış ardından da sonuç, X mesajının S-kutusundan tek başına geçmiş hali ile özel veyalanmıştır.
Saldırgan taraf bu işlemi çok fazla sayıdaki açık-şifreli mesaj çifti üzerinde uygulayarak istatistiksel bir zafiyet yakalamaya çalışır. Yeterli miktarda veri üzerinde yapılan saldırı sonucunda, s-kutularının oluşturmuş olduğu zorluk aşılmış olur ve DES sisteminin istinat edildiği diğer bir matematiksel zorluk olan özel veya (XOR) işlemine kadar inilmiş olunur.
« Sierpinski Üçgeni (Sierpinski Triangle) | Integral Kriptoanalizi ( Toplam Tecessüsü , Integral Cryptoanalysis) »
Yorumlar
Bilgisayar Kavramları üzerinde şu anda okumakta olduğunuz 'Diferansiyel Kriptoanalizi ( Fark Tecessüsü , Differential Cryptoanalysis)' isimli yazı 29 Jan 2010 tarihinde, saat: 21:14 'de Şadi Evren ŞEKER tarafından gönderilmiş, toplam 197 defa okunmuştur.
Benzer yazıları Veri Güvenliği(Cryptography) kategorilerinden okuyabilirsiniz. Yazar ile irtibat kurmak için email gönderebilirsiniz. Yazıya yorum yapabilir ya da yapılan yorumları RSS 2.0 ile takibe alabilirsiniz.
Yazarın Kitabı
Bu yazının yazarı Şadi Evren ŞEKER'in son çıkan kitabı "Programlama ve Veri Yapılarına giriş (C, C++ ve JAVA ile)" hakkında bilgi almak için Buraya tıklayabilirsiniz.
Eklenen Son Yazılar
- Visual Basic ile Gösterici (Pointer) Kullanımı
- Hasse Çizgeleri (Hasse Diagrams)
- Zeki Vekiller (Akıllı Ajanlar, Intelligent Agents, Zeki Etmenler )
- Integral Kriptoanalizi ( Toplam Tecessüsü , Integral Cryptoanalysis)
- Diferansiyel Kriptoanalizi ( Fark Tecessüsü , Differential Cryptoanalysis)
- Sierpinski Üçgeni (Sierpinski Triangle)
- C ile programlamaya giriş final sınavı çözümleri
- Çok Seviyeli Sıralar (Multi Level Queues)
- Çift Özetleme (Double Hashing)
- İkinci Dereceden Sondalama (Quadratic Probing)
Yapılan Son Yorumlar
- Şadi Evren ŞEKER: Sıralama işleminiz poligonu...
- Şadi Evren ŞEKER: bahsettiğiniz sıralama algoritması...
- Abdurrahman ulusoy: merhaba hocam. gelişigüzel...
- Oguz Okutan: Merhaba hocam.. Fonksiyonlarda degere göre...
- Şadi Evren ŞEKER: Null, NULL, nil veya null olarak...
- Fatih Kabakci: hocam merhabalar,...
- kara: Çok güzel anlatılmış gerçekten teşekkürler...
- Şadi Evren ŞEKER: Bahsettiğiniz şekil dönüşümü...
- Caner: Kullanıcıdan açı girdisi almıyorsanız...
- Furkan Yediyildiz: Algoritmanin mantigi cok güzel...
- havva: çok sağolun çok güzel açıklamalar var tşk...
- Şadi Evren ŞEKER: typedef komutu, bir yapıdan yeni bir...
- fatih kabakci: hocam ben structures ile ilgili bir sorum...
- Şadi Evren ŞEKER: evet, yukarıda açıklanan, herhangi...
- Abdurrahman ulusoy: fi açısından teta kadar döndürme...
- Şadi Evren ŞEKER: Hayır yok, bir noktanın, herhangi...
- Abdurrahman ulusoy: Bu durumda yukarıdaki formüllerin...
- Abdurrahman ulusoy: Merhaba hocam Üstteki mesajımda...
- mustafa ekmekcioğlu: merhaba şadi bey ben hacettepe...
- Şadi Evren ŞEKER: Talebiniz üzerine...
Yakın Yazılar
Integral Kriptoanalizi ( Toplam Tecessüsü , Integral Cryptoanalysis)
Diferansiyel Kriptoanalizi ( Fark Tecessüsü , Differential Cryptoanalysis)
Veri Güvenliğinde Frekans Analizi (cryptoanalysis)
Şifreli Metin Saldırısı (Cipher-text only Attack)
İlişkisel Cebir (Relational Algebra)
Doğrusal Şifreleme (Affine Cipher)
OpenGL ile Arkayüz (Opengl Backface)
Sığ Öncelikli Arama (Breadth First Search , BFS)
Derin Öncelikli Arama (Depth First Search , DFS)
Fark İşlemi (Difference Operator)
Dik İzdüşüm (Orthogonal, Orthographic Projection)
Şekli Mantık (Kipler Mantığı, Modal Logic)
Bağlantılar