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

ران ریوست؛ از RSA و تحلیل الگوریتم‌ها تا امنیت رأی‌گیری

استاد MIT و هم‌طراح RSA که کارش رمزنگاری، آموزش الگوریتم‌ها و طراحی روش‌های بررسی‌پذیر برای انتخابات را به هم پیوند می‌دهد.

ران ریوست

ران ریوست برای بسیاری از برنامه‌نویسان دو چهره آشنا دارد: یکی در نام RSA و دیگری در کتاب Introduction to Algorithms. این دو مسیر ظاهراً متفاوت، در توجه به ساختار دقیق مسئله و راه‌حل قابل تحلیل به هم می‌رسند. کارنامه او در MIT شامل رمزنگاری، تحلیل الگوریتم‌ها، یادگیری ماشین و امنیت انتخابات است. برای شناخت سهم فنی‌اش، بهتر است این حوزه‌ها را از عنوان‌های مدیریتی و شرکتی جدا کنیم و به مسئله‌هایی نگاه کنیم که او همراه همکارانش صورت‌بندی یا حل کرده است.

آموزش ریاضی و ورود به علوم رایانه

معرفی رسمی MIT می‌گوید ریوست کارشناسی ریاضی را در سال ۱۹۶۹ از ییل و دکترای علوم رایانه را در ۱۹۷۴ از استنفورد دریافت کرد. او همان سال به MIT پیوست. این پیشینه در ترکیب کارهایش دیده می‌شود: علاقه به ساخت الگوریتم با کاربرد مشخص، همراه با نیاز به استدلال درباره درستی و هزینه آن. چنین ترکیبی در رمزنگاری اهمیت ویژه دارد، زیرا یک روش باید هم قابل اجرا باشد و هم در برابر توانایی تعریف‌شده مهاجم تحلیل شود.

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

RSA و مسئله ارتباط بدون راز مشترک قبلی

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

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

آموزش الگوریتم به‌عنوان زیرساخت فکری

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

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

امنیت انتخابات و بررسی‌پذیری

در زندگی‌نامه رسمی ریوست، پژوهش درباره سیستم‌های رأی‌گیری و ممیزی نتایج جایگاه مهمی دارد. او با پروژه فناوری رأی‌گیری Caltech/MIT و گروه Scantegrity همکاری داشته و روی ممیزی آماری پس از انتخابات کار کرده است. مسئله اصلی این حوزه فقط محرمانه نگه‌داشتن رأی نیست؛ باید راهی برای ارزیابی درست‌بودن ثبت و شمارش وجود داشته باشد، بدون آنکه انتخاب خصوصی افراد افشا شود.

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

ارزش مرزبندی ادعاها

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

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

TRACEABLE KNOWLEDGE

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

01
زندگی‌نامه رسمی ریوست در MIThttps://people.csail.mit.edu/rivest/bio.html
02
صفحه رسمی MIT CSAILhttps://www.csail.mit.edu/person/ronald-l-rivest
03
معرفی پژوهشی ریوست در USENIXhttps://www.usenix.org/conference/enigma2016/speaker-or-organizer/ron-rivest-massachusetts-institute-technology
04
صفحه اصلی دانشگاهی ریوستhttps://people.csail.mit.edu/rivest/
05
عکس دقیق شخص و اطلاعات پدیدآورنده در Wikimedia Commonshttps://commons.wikimedia.org/wiki/File:Ronald_L_Rivest_photo.jpg
06
مجوز تصویرhttps://creativecommons.org/licenses/by-sa/4.0

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

IROSG / EDITORIAL

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

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

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

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

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