‫مقاوم‌سازی مقایسه رمزنگاری در NET.: راهنمای جامع مقایسه زمان‌ثابت (Constant-Time Comparison)

چکیده: در پیاده‌سازی سیستم‌های احراز هویت و ذخیره‌سازی رمزهای عبور، مقایسه صحیح و ایمن هش‌ها یکی از حیاتی‌ترین حلقه‌های زنجیره امنیت است. متدهای معمولی مقایسه آرایه‌ها یا رشته‌ها در #C (مانند عملگر == یا متد SequenceEqual) به محض یافتن اولین عدم تطابق، از ادامه پردازش انصراف می‌دهند. این رفتار، روزنه خطیری تحت عنوان «حمله کانال جانبی زمان‌بندی» (Timing Side-Channel Attack) ایجاد می‌کند که به مهاجم اجازه می‌دهد بایت به بایت مقادیر محرمانه را بازیابی کند. در این مقاله، مفهوم مقایسه زمان‌ثابت (Constant-Time Comparison) را بررسی کرده، متد CryptographicOperations.FixedTimeEquals در مدرن NET. را تحلیل نموده و راهکارهای پیاده‌سازی استاندارد و ایمن برای نسخه‌های قدیمی‌تر (.NET Framework) را به همراه نکات پیشرفته بهینه‌سازی کامپایلری تشریح می‌کنیم.

• بررسی طول دو آرایه؛ اگر برابر نباشند سریعاً false برمی‌گردانند.
• پیمایش بایت به بایت از ابتدا به انتها.
• به محض مشاهده اولین بایت نابرابر، حلقه بلافاصله متوقف شده و false بازگردانده می‌شود.

using System;
using System.Security.Cryptography;

public class PasswordHasher
{
    // تنظیمات استاندارد رمزنگاری مدرن
    private const int SaltSize = 32; // ۳۲ بایت نمک تصادفی (Salt)
    private const int HashSize = 64; // ۶۴ بایت خروجی SHA-512
    private const int Iterations = 600_000; // تعداد تکرار مناسب و سنگین
    private static readonly HashAlgorithmName Algorithm = HashAlgorithmName.SHA512;

    /// <summary>
    /// تولید نمک و هش گذرواژه
    /// </summary>
    public static (byte[] Hash, byte[] Salt) HashPassword(string password)
    {
        byte[] salt = RandomNumberGenerator.GetBytes(SaltSize);
        byte[] hash = Rfc2898DeriveBytes.Pbkdf2(password, salt, Iterations, Algorithm, HashSize);

        return (hash, salt);
    }

    /// <summary>
    /// راستی‌آزمایی زمان‌ثابت گذرواژه
    /// </summary>
    public static bool VerifyPassword(string password, byte[] storedHash, byte[] storedSalt)
    {
        // محاسبه هش گذرواژه ورودی با همان نمک و تنظیمات
        byte[] computedHash = Rfc2898DeriveBytes.Pbkdf2(password, storedSalt, Iterations, Algorithm, HashSize);

        // مقایسه ایمن زمان‌ثابت - هرگز از == یا SequenceEqual استفاده نکنید
        return CryptographicOperations.FixedTimeEquals(computedHash, storedHash);
    }
}

using System.Runtime.CompilerServices;

public static class LegacyCryptoUtils
{
    // جلوگیری از بهینه‌سازی کامپایلر JIT جهت تضمین عدم انصراف زودهنگام
    [MethodImpl(MethodImplOptions.NoOptimization | MethodImplOptions.NoInlining)]
    public static bool FixedTimeEquals(byte[] a, byte[] b)
    {
        if (a == null || b == null || a.Length != b.Length)
        {
            return false;
        }

        int result = 0;
        for (int i = 0; i < a.Length; i++)
        {
            // تفاوت بیت‌ها باعث غیر صفر شدن result می‌شود
            result |= a[i] ^ b[i];
        }

        return result == 0;
    }
}

نکته (کامپایلر و JIT):

در پیاده‌سازی دستی، کامپایلر JIT ممکن است کدهای ساده را بهینه‌سازی کرده یا بازنویسی کند. استفاده از ویژگی [MethodImpl(MethodImplOptions.NoOptimization | MethodImplOptions.NoInlining)] تضمین می‌کند که JIT حلقه را ساده‌سازی نکرده و میان‌بر ایجاد نمی‌کند.

using System.Collections;

public static bool HashesEqualStructural(byte[] a, byte[] b)
{
    if (a == null || b == null || a.Length != b.Length)
    {
        return false;
    }

    return StructuralComparisons.StructuralEqualityComparer.Equals(a, b);
}

• مدیریت زمان در طول‌های ناهمگون: اگر طول دو آرایه برابر نباشد، متد مقایسه زمان‌ثابت بلافاصله false برمی‌گرداند. این موضوع در اکثر سیستم‌ها خطری ایجاد نمی‌کند زیرا طول هش‌ها ثابت است. اما اگر طول هش خود یک راز باشد، باید طول نیز به صورت زمان‌ثابت پردازش شود.
• پاکسازی حافظه (Memory Sanitation): متغیرهایی مانند گذرواژه متنی یا بایتی کلیدها باید پس از استفاده سریعاً از حافظه پاک شوند (Zeroing out) تا در حملات خواندن حافظه (Heap Inspection) افشا نشوند.
• الگوریتم‌های مقاوم در برابر الگوی سخت‌افزاری: هرچند PBKDF2 با SHA-512 همچنان استاندارد و محبوب است، برای پروژه‌های جدید استفاده از الگوریتم‌هایی نظیر Argon2id یا scrypt که در برابر حملات کارت گرافیک (GPU) و ASIC مقاوم هستند، توصیه می‌شود.