Padding Oracle
CBC - Cipher Block Chaining
CBC modunda önceki şifreli blok, bir sonraki blokla XOR'lamak için IV olarak kullanılır:
CBC'yi deşifre etmek için ters işlemler yapılır:
Şifreleme anahtarı ve bir IV kullanmanın gerekli olduğunu unutmayın.
Mesaj Doldurma
Şifreleme sabit boyut bloklarında gerçekleştirildiğinden, son blokta uzunluğunu tamamlamak için genellikle padding gereklidir.
Genellikle PKCS7 kullanılır, bu da bloğu tamamlamak için gerekli byte sayısını tekrarlayarak bir padding oluşturur. Örneğin, son blokta 3 byte eksikse, padding \x03\x03\x03 olacaktır.
8 byte uzunluğunda 2 blok ile daha fazla örneğe bakalım:
| byte #0 | byte #1 | byte #2 | byte #3 | byte #4 | byte #5 | byte #6 | byte #7 | byte #0 | byte #1 | byte #2 | byte #3 | byte #4 | byte #5 | byte #6 | byte #7 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
P | A | S | S | W | O | R | D | 1 | 2 | 3 | 4 | 5 | 6 | 0x02 | 0x02 |
P | A | S | S | W | O | R | D | 1 | 2 | 3 | 4 | 5 | 0x03 | 0x03 | 0x03 |
P | A | S | S | W | O | R | D | 1 | 2 | 3 | 0x05 | 0x05 | 0x05 | 0x05 | 0x05 |
P | A | S | S | W | O | R | D | 0x08 | 0x08 | 0x08 | 0x08 | 0x08 | 0x08 | 0x08 | 0x08 |
Son örnekte son bloğun dolu olduğunu ve sadece padding ile yeni bir bloğun oluşturulduğunu unutmayın.
Padding Oracle
Bir uygulama şifreli verileri deşifre ettiğinde, önce verileri deşifre eder; ardından padding'i kaldırır. Padding temizliği sırasında, eğer geçersiz bir padding tespit edilebilir bir davranış tetiklerse, bir padding oracle zafiyeti vardır. Tespit edilebilir davranış bir hata, sonuç eksikliği veya daha yavaş bir yanıt olabilir.
Bu davranışı tespit ederseniz, şifreli verileri deşifre edebilir ve hatta herhangi bir açık metni şifreleyebilirsiniz.
Nasıl istismar edilir
Bu tür bir zafiyeti istismar etmek için https://github.com/AonCyberLabs/PadBuster kullanabilir veya sadece yapabilirsiniz.
Bir sitenin çerezinin zayıf olup olmadığını test etmek için şunları deneyebilirsiniz:
Encoding 0 demek base64 kullanıldığı anlamına gelir (ancak diğerleri de mevcuttur, yardım menüsüne bakın).
Bu güvenlik açığını yeni verileri şifrelemek için de istismar edebilirsiniz. Örneğin, çerezin içeriği "_user=MyUsername_" ise, bunu "_user=administrator_" olarak değiştirebilir ve uygulama içinde yetkileri artırabilirsiniz. Bunu paduster kullanarak -plaintext** parametresini belirterek de yapabilirsiniz:
Eğer site savunmasızsa, padbuster otomatik olarak padding hatasının ne zaman meydana geldiğini bulmaya çalışacaktır, ancak hata mesajını -error parametresi ile de belirtebilirsiniz.
Teori
Özetle, tüm farklı padding'leri oluşturmak için kullanılabilecek doğru değerleri tahmin ederek şifrelenmiş verileri çözmeye başlayabilirsiniz. Ardından, padding oracle saldırısı, 1, 2, 3, vb. padding'leri oluşturan doğru değeri tahmin ederek son byte'dan başlayarak byte'ları çözmeye başlayacaktır.
Şifrelenmiş ve E0'dan E15'e kadar olan byte'ları içeren 2 blok'a sahip olduğunuzu hayal edin. Son blok'u (E8'den E15'e) çözmek için, tüm blok "blok şifre çözme" işleminden geçerek aracı byte'lar I0'dan I15'e oluşturur. Son olarak, her aracı byte, önceki şifrelenmiş byte'larla (E0'dan E7'ye) XOR'lanır. Yani:
C15 = D(E15) ^ E7 = I15 ^ E7C14 = I14 ^ E6C13 = I13 ^ E5C12 = I12 ^ E4...
Artık E7'yi C15'in 0x01 olana kadar değiştirmek mümkündür, bu da doğru bir padding olacaktır. Bu durumda: \x01 = I15 ^ E'7
E'7'yi bulduğunuzda, I15'i hesaplamak mümkündür: I15 = 0x01 ^ E'7
Bu da C15'i hesaplamamıza olanak tanır: C15 = E7 ^ I15 = E7 ^ \x01 ^ E'7
C15'i bildiğinizde, şimdi C14'ü hesaplamak mümkündür, ancak bu sefer padding'i \x02\x02 ile brute-force yaparak.
Bu BF, E''15 değerinin 0x02 olduğu hesaplanabildiği için önceki kadar karmaşıktır: E''7 = \x02 ^ I15, bu nedenle sadece E'14'ü bulmak gerekir ki bu da C14'ün 0x02'ye eşit olmasını sağlar.
Ardından, C14'ü çözmek için aynı adımları izleyin: C14 = E6 ^ I14 = E6 ^ \x02 ^ E''6
Tüm şifrelenmiş metni çözene kadar bu zinciri takip edin.
Açığın Tespiti
Bir hesap kaydedin ve bu hesapla giriş yapın. Eğer birçok kez giriş yaparsanız ve her seferinde aynı çerezi alıyorsanız, uygulamada muhtemelen bir sorun vardır. Geri gönderilen çerez her seferinde benzersiz olmalıdır. Eğer çerez her zaman aynıysa, muhtemelen her zaman geçerli olacaktır ve onu geçersiz kılmanın bir yolu olmayacaktır.
Artık çerezi değiştirmeyi denerken, uygulamadan bir hata aldığınızı görebilirsiniz. Ama padding'i BF yaparsanız (örneğin padbuster kullanarak) farklı bir kullanıcı için geçerli başka bir çerez elde etmeyi başarırsınız. Bu senaryo, padbuster'a karşı yüksek ihtimalle savunmasızdır.
Referanslar
Last updated
