رفتن به محتوا
IROSG.
آشنایی با مشاهیر

دنیل جی. برنستاین؛ پیوند ریاضیات رمزنگاری با نرم‌افزار دقیق

پژوهشگر و برنامه‌نویسی که Curve25519، خانواده Salsa20 و ChaCha و پروژه‌هایی مانند qmail از بخش‌های شناخته‌شده کار او هستند.

دنیل جی. برنستاین

دنیل جی. برنستاین که در بسیاری از نوشته‌های فنی با نام djb شناخته می‌شود، در مرز ریاضیات، رمزنگاری و مهندسی نرم‌افزار کار کرده است. برای شناخت او، نگاه کردن به فهرست مقاله‌ها در کنار برنامه‌های منتشرشده سودمندتر از تکیه بر یک عنوان شغلی است. در این مجموعه، هم الگوریتم‌های نظری دیده می‌شوند و هم کدی که باید روی پردازنده واقعی سریع و قابل بررسی اجرا شود. همین رفت‌وبرگشت میان مدل ریاضی و محدودیت پیاده‌سازی، محور مناسبی برای فهم سهم فنی اوست.

رمزنگاری فراتر از انتخاب یک فرمول

یکی از شناخته‌شده‌ترین کارهای برنستاین Curve25519 است. مقاله او با عنوان Curve25519: new Diffie-Hellman speed records در سال ۲۰۰۶ منتشر شد. موضوع به ساخت توافق کلید بر پایه منحنی بیضوی مربوط است؛ دو طرف می‌توانند با تبادل داده عمومی، ماده مشترکی برای کلید به دست آورند. این فرایند خودبه‌خود همه مسئله‌های هویت، مدیریت کلید و امنیت پروتکل را حل نمی‌کند. ارزش طراحی در آن است که یک جزء بنیادی را با توجه هم‌زمان به امنیت و کارایی در اختیار سازندگان قرار می‌دهد.

در خواندن تاریخ این کار باید میان منحنی، تابع تبادل کلید و پروتکل کامل فرق گذاشت. حضور نام یک الگوریتم در یک محصول، به معنای طراحی تمام محصول توسط صاحب آن الگوریتم نیست. توسعه‌دهندگان کتابخانه، نویسندگان استاندارد و ممیزان امنیتی در تبدیل ایده به زیرساخت نقش دارند. همچنین ارزیابی یک پیاده‌سازی به جزئیاتی مانند اعتبارسنجی ورودی و رفتار زمانی وابسته است؛ استفاده از یک نام معتبر جای بررسی کد و شرایط اجرا را نمی‌گیرد.

از Salsa20 تا ChaCha

برنستاین ChaCha را به‌عنوان گونه‌ای از Salsa20 معرفی کرد. این خانواده در حوزه رمزهای جریانی قرار می‌گیرد و طراحی آن بر عملیات ساده و مناسب پردازنده‌های عمومی تکیه دارد. خواننده غیرمتخصص لازم نیست وارد جزئیات دورهای محاسباتی شود تا اهمیت موضوع را درک کند: رمزنگاری باید در دستگاه‌هایی با توان و امکانات متفاوت قابل اجرا باشد. سرعت، سادگی و امکان تحلیل، همگی در انتخاب یک سازوکار رمزنگاری اهمیت دارند و هیچ‌کدام به‌تنهایی کفایت نمی‌کنند.

این بخش از کار او نمونه‌ای از طراحی برای جهان واقعی است. الگوریتمی که فقط در یک سنجش آزمایشگاهی خوب ظاهر می‌شود، لزوماً بهترین انتخاب برای همه محیط‌ها نیست. در عین حال، بیان این نکته به معنای ادعای برتری همیشگی یک خانواده بر همه گزینه‌ها نیست. نوع سخت‌افزار، کتابخانه و نیاز پروتکل در نتیجه اثر دارند. درس روش‌شناختی، اهمیت انتشار مشخصات و فراهم کردن امکان مقایسه و تحلیل مستقل است؛ یک سامانه رمزنگاری با پنهان نگه‌داشتن طراحی به ارزیابی علمی کمک نمی‌کند.

نرم‌افزار شبکه و مرزهای کوچک‌تر اعتماد

نام برنستاین با qmail نیز پیوند دارد؛ پروژه‌ای برای انتقال نامه الکترونیکی که او در صفحه رسمی خود مستند کرده است. پرداختن به این پروژه نشان می‌دهد علاقه او به امنیت صرفاً نظری نبود. یک خدمت ایمیل با داده بیرونی، فایل‌ها، فرایندها و مجوزهای سیستم‌عامل سروکار دارد. در چنین محیطی، انتخاب ساختار برنامه و تقسیم وظایف به اندازه محاسبات رمزنگاری اهمیت پیدا می‌کند. یک الگوریتم قوی نمی‌تواند خطای مدیریت حافظه یا مجوز بیش‌ازحد یک فرایند را جبران کند.

از این منظر، کنار هم قرار دادن پروژه نرم‌افزاری و مقاله ریاضی آموزنده است. امنیت به چند نوع استدلال نیاز دارد: استدلال درباره سختی یک مسئله، استدلال درباره رفتار کد و استدلال درباره محیطی که آن کد در آن اجرا می‌شود. هیچ‌یک جای دیگری را نمی‌گیرد. مطالعه آثار برنستاین فرصتی است برای دیدن اینکه چرا یک پژوهشگر ممکن است هم روی حساب منحنی‌ها کار کند و هم درباره رابط برنامه یا ساختار یک سرویس شبکه حساس باشد.

کارایی، اندازه‌گیری و امکان بازبینی

در فهرست مقاله‌های او موضوعاتی مانند تحلیل زمان نهان‌گاه، اندازه‌گیری هزینه محاسبه و پیاده‌سازی سریع تکرار می‌شوند. این حوزه‌ها یادآورند که زمان اجرا فقط مسئله تجربه کاربر نیست؛ گاهی می‌تواند بخشی از سطح نشت اطلاعات باشد. باید میان بهینه‌سازی صرف و طراحی‌ای که رفتار وابسته به راز را محدود می‌کند فرق گذاشت. اصطلاح زمان ثابت نیز در عمل نیازمند بررسی مدل سخت‌افزار و ابزار ترجمه است و صرفاً با یک ادعا در توضیح تابع ثابت نمی‌شود.

میراث حرفه‌ای برنستاین را می‌توان در مطالبه دقت دید: مشخصات روشن، کد قابل مطالعه، سنجش قابل تکرار و مرزبندی ادعاهای امنیتی. این جمع‌بندی، تفسیر آثار اوست و نباید به نقل‌قول ساختگی از شخص تبدیل شود. برای توسعه‌دهنده امروز، راه استفاده از چنین میراثی اختراع رمزنگاری اختصاصی نیست؛ شناخت دقیق ابزارهای آزموده و محدودیت‌هایشان است. سهم برنستاین در فراهم کردن برخی از این ابزارها و در پیوند دادن کیفیت ریاضی با کیفیت پیاده‌سازی، جایگاه او را میان چهره‌های فنی امنیت برجسته می‌کند.

TRACEABLE KNOWLEDGE

منابع و مطالعهٔ بیشتر

01
فهرست رسمی مقاله‌های برنستاینhttps://cr.yp.to/papers.html
02
صفحه رسمی Curve25519https://cr.yp.to/ecdh.html
03
صفحه رسمی ChaChahttps://cr.yp.to/chacha.html
04
صفحه رسمی qmailhttps://cr.yp.to/qmail.html
05
عکس دقیق شخص و اطلاعات پدیدآورنده در Wikimedia Commonshttps://commons.wikimedia.org/wiki/File:Dan_Bernstein_27C3.jpg
06
مجوز تصویرhttps://creativecommons.org/licenses/by/3.0

آخرین بررسی تحریریه:

IROSG / EDITORIAL

خبرها و معرفی مشاهیر با نگارش مستقل و ذکر منبع تهیه شده‌اند. اعتبار و مجوز تصاویر در بخش منابع همین صفحه نگه‌داری می‌شود تا متن زیر عکس‌ها شلوغ نشود. داده‌های مرجع CVE با اعتباردهی به منابع اصلی ارائه می‌شوند.

سیاست تألیف و حقوق تصاویر ↗
جی. سی. آر. لیکلایدر؛ شبکه‌سازی تعاملی و همزیستی انسان و رایانهآشنایی با مشاهیر
توسعه و DevSecOps

جی. سی. آر. لیکلایدر؛ شبکه‌سازی تعاملی و همزیستی انسان و رایانه

معرفی و تحلیل تخصصی جی. سی. آر. لیکلایدر؛ شبکه‌سازی تعاملی و همزیستی انسان و رایانه؛ مروری بر سازوکار، محدودیت‌ها، کاربرد مجاز، مدیریت ریسک و منابع رسمی.

14 دقیقه مطالعهبخوانید