Kriptografik Kıyamet İlkesi
Bir mesajın MAC’i doğrulanmadan önce yapılan her kriptografik işlemin eninde sonunda bir saldırıya yol açacağını söyleyen pratik kural.
Kuralı 2011’de bir blog yazısında Moxie Marlinspike ortaya attı: aldığınız bir mesajın MAC’ini doğrulamadan önce herhangi bir kriptografik işlem yapmak zorundaysanız, bu bir şekilde kaçınılmaz olarak felakete varır. Kanıtlar zaten birikiyordu. Vaudenay’in 2002’deki padding oracle saldırısı, CBC dolgusunun MAC’ten önce denetlenmesi sayesinde işlemişti; SSH ise 2009’da, kimlik doğrulaması yapılmadan uzunluk alanının çözülmesini kötüye kullanan bir saldırıyla çöktü.
Çözüm encrypt-then-MAC’tir: alıcı etiketi şifreli metin üzerinden denetler ve geçmeyen her şeyi tek bir bayt çözmeden atar. Lucky Thirteen, yazıdan iki yıl sonra gelip kuralı TLS için kanıtladı. Pek az ilke bu kadar çabuk haklı çıkar.