دکتر مهراد جابری

دانش آموخته دکتری رشته مهندسی کامپیوتر از دانشگاه اصفهان

عنوان سخنرانی

 داده‌کاوی توزیع‌شده با حفظ حریم خصوصی: مطالعه‌ی موردی تحلیل اجزای اصلی

چکیده

داده‌کاوی کاربردهای زیادی در زمینه‌های مختلف مانند بانکداری، بازاریابی، مراقبت‌های سلامت و کشف تقلب دارد. یکی از ابزارهای ارزشمند در داده‌کاوی، تحلیل اجزای اصلی (PCA) است. تحلیل اجزای اصلی یک روش ریاضیاتی برای تغییر فضای نمایش داده‌ها و به نوعی کاهش ابعاد داده‌ها است. محاسبه PCA بر روی داده‌های متعلق به چندین صاحب داده با توجه به حریم خصوصی آن‌ها در بسیاری از موارد مانند مراکز درمانی یک نیاز است. در نشست حاضر، با استفاده از تجزیه‌ی QR، روش جاکوبی، رمزنگاری هم‌ریخت و مبهم‌سازی پروتکل‌هایی برای محاسبه‌ی PCA با حفظ حریم خصوصی ارائه می‌شود. این پروتکل‌ها اولین طرح‌های موجود برای محاسبه‌ی امن PCA می‌باشند که هم در افراز افقی و هم در افراز عمودی قابل استفاده بوده و هم‌چنین تمامی اجزای اصلی را محاسبه می‌کنند. لازم به ذکر است که در مقایسه با طرح‌های معرفی‌شده‌‌‌ی پیشین، طرح‌های پیشنهادی اولین طرح‌های محاسبه‌ی امن PCA در افراز عمودی هستند. در ادامه، نحوه‌ی اثبات امنیت این پروتکل‌ها با استفاده از روش دنیای ایده‌آل-دنیای واقعی و هم‌چنین پیاده‌سازی آن‌ها در چارچوب Microsoft SEAL و بر روی داده‌های نجومی صحبت خواهد شد. در انتهای بحث، مسیرهای پیش رو و کارهای آینده در راستای این پژوهش معرفی خواهند شد.

بیوگرافی

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

دکتر گلاره عودی قدیم

دانش آموخته دکتری مهندسی برق- مخابرات- سیستم از دانشگاه صنعتی اصفهان

عنوان سخنرانی

پروتکل‌های امنیتی برای اینترنت وسایل‌نقلیه: چالش‌ها، راهکارها، و دستاوردهای نوین

چکیده

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

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

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

بیوگرافی

دکتر گلاره عودی قدیم دانش‌آموخته دکتری مهندسی برق- مخابرات- سیستم از دانشگاه صنعتی اصفهان است. ایشان در سال ۲۰۱۵ مدرک کارشناسی مهندسی برق- مخابرات را از دانشگاه سیستان و بلوچستان و در سال ۲۰۱۸ مدرک کارشناسی ارشد مهندسی برق- مخابرات امن و رمزنگاری را از دانشگاه شهید بهشتی دریافت کردند و در سال ۲۰۲۵ موفق به اخذ مدرک دکتری مهندسی برق- مخابرات- سیستم از دانشگاه صنعتی اصفهان شدند. زمینه‌های پژوهشی ایشان شامل رمزنگاری، زنجیره‌ قالب، اینترنت اشیاء، امنیت شبکه، تحلیل و طراحی پروتکل‌های احراز اصالت و توافق کلید، و امنیت سامانه‌های ارتباطی است. ایشان در پژوهش‌های خود از مدل‌ها و ابزارهای تحلیل صوری و همچنین شبیه‌سازها، از جمله تامارین، پرووریف، سایتر، منطق بن، مدل پیشگوی تصادفی، و شبیه‌ساز NS-3، استفاده کرده‌اند.

دکتر هانی ربیعی

دانش آموخته مهندسی کامپیوتر – گرایش رایانش امن از دانشگاه اصفهان

موضوع سخنرانی

مدل‌سازی و تحلیل تأثیر بات‌های شبکه‌های اجتماعی بر شکل‌دهی افکار عمومی

چکیده

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

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

بیوگرافی

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

Dr. Kasra Abbaszadeh

Ph.D. in Computer Science, University of Maryland, College Park

Title

Single-Server Private Outsourcing of zk-SNARKs
Abstract

Succinct zero-knowledge arguments (zk-SNARKs) enable a prover to convince a verifier of the truth of a statement via a succinct, efficiently verifiable proof without revealing any additional information about the witness. A barrier to the practical deployment of zk-SNARKs is their high proving cost. With this motivation, we study server-aided zk-SNARKs, where a client/prover outsources most of its work to a single, untrusted server, while the server learns nothing about the witness, the statement, or even the proof. We formalize this notion and show how to efficiently realize server-aided proving for widely deployed zk-SNARKs such as Nova, Groth16, and Plonk.

The key building block underlying our designs is a new primitive, encrypted multi-scalar multiplication (EMSM), which enables private delegation of multi-scalar multiplications (MSMs).

We construct an EMSM from variants of the LPN assumption in which the client does O(1)
group operations, while the server’s work matches that of the native plaintext MSM.

We implement and evaluate our constructions. Compared to local proving, our techniques lower the client’s computation by up to 18× and reduce the proving latency by up to 8×.

Biography

Kasra Abbaszadeh earned his Ph.D. in Computer Science from the University of Maryland, College Park, where he was advised by Prof. Jonathan Katz. His research spans applied cryptography and computer security, with a recent focus on cryptographic proof systems and their applications to privacy and verifiability in information systems. During his doctoral studies, he was a Student Researcher in the Private Computing group at Google. He holds a B.Sc. in Electrical Engineering from Sharif University of Technology.

دکتر پریچهر دادخواه

دانش آموخته دکتری مهندسی برق، دانشگاه صنعتی اصفهان

عنوان سخنرانی

تکامل رمزنگاری بدون گواهی برای اینترنت اشیا: از طراحی‌های کارآمد تا مقاومت در برابر ابرمهاجمان

چکیده

با گسترش اینترنت اشیا (IoT) و افزایش استفاده از تجهیزات هوشمند در حوزه‌هایی نظیر سلامت دیجیتال، خانه هوشمند، حمل‌ونقل و شهر هوشمند، تأمین امنیت و محرمانگی تبادل اطلاعات در این شبکه‌ها به یکی از چالش‌های اساسی تبدیل شده است. محدودیت منابع محاسباتی، حافظه و انرژی در بسیاری از تجهیزاتIoT، استفاده از روش‌های رمزنگاری با سربار محاسباتی بالا را با محدودیت مواجه می‌سازد. در این میان، رمزنگاری کلید عمومی مبتنی بر منحنی‌های بیضوی (ECC) به دلیل فراهم‌سازی سطح امنیتی مناسب با کلیدهای کوتاه‌تر، گزینه‌ای مناسب برای محیط‌های محدود از نظر منابع محسوب می‌شود. همچنین، رمزنگاری بدون گواهی (Certificateless Cryptography) با حذف نیاز به مدیریت گواهی‌های دیجیتال و در عین حال جلوگیری از مشکل کلیدگذاری امانی، می‌تواند راهکاری مناسب برای تأمین امنیت ارتباطات در شبکه‌های IoT باشد.

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

بیوگرافی

پریچهر دادخواه در سال‌های ۲۰۱۳ و ۲۰۱۷ به‌ترتیب موفق به دریافت مدارک کارشناسی و کارشناسی ارشد مهندسی برق با گرایش سیستم‌های مخابراتی از دانشگاه صنعتی اصفهان شد. وی در سال ۲۰۲۵ مدرک دکتری مهندسی برق خود را از دانشگاه صنعتی اصفهان دریافت کرد. ایشان در حال حاضر در زمینه تدریس و فعالیت‌های پژوهشی دانشگاهی در حوزه مخابرات و امنیت اطلاعات فعالیت دارد. زمینه‌های پژوهشی وی شامل رمزنگاری کلید عمومی، رمزنگاری بدون گواهی، امضای دیجیتال، رمز‌امضا و امنیت رمزنگاری در شبکه‌های اینترنت اشیا و شبکه‌های بی‌سیم با منابع محدود است و تمرکز اصلی پژوهش‌های وی بر طراحی، تحلیل امنیتی و بهبود کارایی طرح‌های رمزنگاری بدون گواهی قرار دارد.

دکتر محمد مهدی مدیری

دانش آموخته دکتری مهندسی برق از دانشگاه صنعتی شریف

عنوان سخنرانی

ارائه یک رویه بهبودیافته جهت حفاظت از حریم خصوصی برای نسل های پنجم و فراتر

چکیده

 امروزه با گسترش شبکه‌های نسل پنجم و فراتر (5G/6G) و افزایش چشمگیر افزاره‌های ناهمگن، تأمین امنیت و حفظ حریم خصوصی در سه حوزه «داده»، «شناسه» و «موقعیت» به یکی از چالش‌های مهم معماری‌های 3GPP تبدیل شده است. در این ارائه، رویه‌ای جامع با هدف ارتقای حریم خصوصی ارائه شده که در آن برای حفاظت از داده‌ها، ساختاری نوین برای احرازاصالت و توافق کلید بر پایه پروتکل‌های 5G AKA  و EAP-AKA’ معرفی می‌شود و برای دستیابی به حریم شناسه-موقعیت، از نسخه‌ی بهبودیافته‌ی شناسه مخفی (SUCI) استفاده می‌گردد. امنیت این ساختار با روش‌های اثبات‌پذیر تحلیل شده و نشان داده شده است که رویه پیشنهادی در برابر انواع حملات نظیر فرد-در-میان، جعل هویت و سرقت شناسه مقاوم بوده و با تأمین الزامات مهمی همچون احرازاصالت دوسویه، رازمانی پیش‌سو و پس‌سو و پیوندناپذیری، الزامات امنیتی مطرح را برآورده می‌کند. در نهایت، ارزیابی‌ها مؤید آن است که این رویه ضمن ارتقای امنیت، نسبت به پروتکل‌های موجود در استاندارد 3GPP، از سربارهای محاسباتی، ارتباطی و ذخیره‌سازی بهینه‌تری برخوردار است.

بیوگرافی

دکتر محمد مهدی مدیری دارای مدرک دکتری و کارشناسی‌ارشد مهندسی برق (گرایش سیستم) از دانشگاه صنعتی شریف و کارشناسی از دانشگاه تهران، با تمرکز ویژه بر معماری امنیتی شبکه‌های نسل پنجم و فراتر(5G/6G)   هستند.  هم چنین در تحلیل پروتکل‌های استاندارد 3GPP، رمزنگاری و امنیت اثبات‌پذیر، با ترکیب سوابق پژوهشی آکادمیک و تجربه عملیاتی در محیط‌های زیرساختی مانند(Rightel CT)، در زمینه‌های تحلیل امنیت سیگنالینگ، ارزیابی ریسک و طراحی پروتکل‌های محافظت از حریم خصوصی (داده، شناسه و موقعیت) صاحب‌نظر بوده و توانمندی بالایی در حل مسائل پیچیده مخابراتی با رویکردی نوآورانه و کاربردی دارد.

دکتر صبا کریمانی

دانش‌آموخته دکتری مهندسی برق، گرایش مخابرات امن و رمزنگاری، دانشگاه صنعتی شریف

عنوان سخنرانی

رمزگذاری جستجوپذیر مشبکه‌بنیاد

چکیده

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

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

بیوگرافی

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

دکتر محمد مهدی احمدیان

استاد پژوهشگر دانشگاه صنعتی امیرکبیر، مدیرعامل شرکت دانش‌بنیان امان و رئیس کمیسیون اتوماسیون و کنترل صنعتی سازمان نظام صنفی

عنوان سخنرانی

چالش‌ها و تهدیدات سایبری در صنایع کشور (از پژوهش تا صنعت، از مدیریت تا مهندسی)

چکیده

در یک دهه اخیر، امنیت سایبری سیستم‌های کنترل و اتوماسیون صنعتی به دلیل به‌کارگیری وسیع در زیرساخت‌های حساس، حیاتی و مهم دنیا، حرکت صنایع به سمت تحول دیجیتال و سوءاستفاده مهاجمین و پیاده‌سازی حملات مبتنی بر APT، به حدی پراهمیت شده که به‌عنوان یک دغدغه مهم بین‌المللی عنوان گردیده است. سامانه‌های دوقلوی دیجیتال(Digital Twin)، سیستم‌های اجرایی تولید (MES)، اینترنت اشیای صنعتی(IIoT)، پایش وضعیت(CM)، تحلیل پیشرفته و هوش مصنوعی از نمونه‌های مصادیق تحول دیجیتال در صنایع هستند که در صورت طراحی و پیاده‌سازی امن، بهره‌وری، قابلیت اطمینان، ایمنی، مصرف انرژی و پایداری را می‌توانند بهبود دهند. در یک دهه اخیر، این موضوع به یکی از این حوزه‌های قابل‌توجه و جذاب پژوهشگران امنیت و مهاجمین سایبری تبدیل‌شده است. به دلایل متعدد از جمله، طولانی بودن چرخه عمر محصولات، مسائل مدیریتی و فنی در صنایعی نظیر برق، فولاد، نفت، آب، گاز، پالایش، پتروشیمی، سنگ‌آهن، مس و ... روند انتقال دستاوردهای پژوهشی، از مرحله تحقیق و پژوهش، به مراحل مهندسی و طراحی، ساخت نمونه‌های اولیه، تولید انبوه و بهره‌برداری در زیرساخت‌ها، با چالش‌هایی روبه‌رو بوده است. متأسفانه صنایع و زیرساخت‌های صنعتی مختلف در کشور به دلیل اهمیت بسیار بالای خود از منظر امنیت ملی یا شاخص‌های اقتصادی، از حملات و رخدادهای سایبری بی‌بهره نبوده‌اند.  در این سخنرانی تلاش خواهد شد به نمونه‌ی چالش‌ها و تهدیدات سایبری پرداخته شود. اهم این موارد به‌اجمال در دو حوزه چالش‌های مدیریتی و فنی-مهندسی تشریح خواهند شد.

بیوگرافی

دکتر محمدمهدی احمدیان مشاور، سخنران، مدرس و مجری حوزه امنیت سیستم‌های کنترل صنعتی (ICS) و زیرساخت‌های حیاتی است که تحصیلات کارشناسی خود را در رشته مهندسی کامپیوتر (گرایش نرم‌افزار) و سپس کارشناسی ارشد خود را در رشته فناوری اطلاعات (گرایش امنیت اطلاعات) پشت سر گذاشت و مدرک دکتری تخصصی رشته فناوری اطلاعات (گرایش امنیت اطلاعات) را از دانشگاه صنعتی امیرکبیر و با رساله‌ای در حوزه امنیت صنعتی که به‌عنوان رساله برتر کشور از سوی وزارت علوم برگزیده شد، دریافت کرده است. وی در حال حاضر استاد پژوهشگر همکار دانشگاه صنعتی امیرکبیر (مرکز آپا)، مدیرعامل شرکت دانش‌بنیان امان (پیشگامان امن‌آرمان) و رئیس کمیسیون اتوماسیون و کنترل صنعتی سازمان نظام صنفی رایانه‌ای کشور (استان تهران) است که تجربه تدریس و مشاوره در بسیاری از صنایع کشور ازجمله وزارت نیرو و شرکت‌های مربوطه، شرکت ملی نفت، مجتمع‌های مس کشور، شرکت‌های فولادی کشور، نیروگاه‌های حرارتی کشور و غیره را داراست. وی بالغ‌بر 12 سال است که در پروژه‌های متعدد امنیت سایبری در حوزه‌های کنترل صنعتی و زیرساخت‌های حیاتی در سطوح مختلف کشوری و در رده‌های گوناگون (مشاوره، نظارت، آموزش، مدیریت، طراحی، اجرا و غیره) فعالیت داشته است.

دکتر احمدیان سابقه طولانی در حوزه آموزش تخصصی امنیت سایبری OT، با بالغ‌بر 45000 نفر/ساعت تدریس، را در کارنامه خود دارد و بنیان‌گذار درس امنیت سایبری صنعتی در دانشگاه صنعتی امیرکبیر است.

مهندس محمدرضا سمیع‌پور

شرکت ارتباطات سیار همراه اول 

عنوان سخنرانی

اعتماد صفر در امنیت سایبری 

چکیده

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

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

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