#محدودیت_کاراکتر تلگرام نمی گذارد کلام منعقد شود! 😳
در ادامه خواستم این حمله جالب را عرض کنم این آسیب‌پذیری ناشی از پیچیدگی الگوریتمی، با نام محروم‌سازی از سرویس مبتنی بر عبارت باقاعده (ReDoS) شناخته می‌شود و باعث اختلال‌های جدی در دنیای واقعی شده است، از جمله ۳۴ دقیقه از کار افتادن وب‌سایت استک‌اورفلو در سال ۲۰۱۶ و ۲۷ دقیقه اختلال جهانی در سرویس‌های کلادفلر در سال ۲۰۱۹ . شیوع آسیب‌پذیری‌های ReDoS در اکوسیستم‌های نرم‌افزاری مختلف، توسط مطالعات تجربی پیشین هم اثبات شده است که در متن مقاله ارجاع داده شده و مجموعاً صدها الگوی آسیب‌پذیر را در کدهای تولیدی شناسایی کرده‌اند.

اگرچه پژوهش‌های پیشین شواهدی از گستردگی آسیب‌پذیری‌های ReDoS ارائه داده‌اند، اما مبنای نظری موجود برای ReDoS بر روی عبارت‌های باقاعده کلینی (K-regexes) تمرکز دارد—عبارت‌هایی که تنها با استفاده از عملگرهای الحاق یا کانکَتِنیشن (concatenation)، انتخاب (alternation) و تکرار (repetition) ساخته می‌شوند—و متناظر با آن‌ها، اتوماتای متناهی نادقیق (NFA#) قرار دارد . با این وجود، موتورهای مدرن عبارت‌های باقاعده، مانند آن‌هایی که در پایتون، پرل، پی‌اچ‌پی و جاوا استفاده می‌شوند، معمولاً از ارجاع‌های پسین (backreferences) و دیگر ساختارهای پیشرفته پشتیبانی می‌کنند که با NFA قابل نمایش نیستند و بنابراین خارج از محدوده تحلیل‌های مبتنی بر NFA قرار می‌گیرند. پژوهش‌های پیشین توان بیانی عبارت‌های باقاعده دارای ارجاع پسین (REwB) را بررسی کرده‌اند و مشخص شده است که تطبیق این عبارت‌ها یک مسئله ان‌پی-کامل (NP-complete) است .
با این حال، این نتیجه‌گیری درباره پیچیدگی در بدترین حالت، نه مشخص می‌کند کدام الگوهای REwB منجر به رفتار عقب‌گرد فوق‌خطی می‌شوند، نه الگوریتم‌های عملی برای تشخیص چنین الگوهایی یا ساخت ورودی‌های حمله ارائه می‌دهد. همچنین میزان شیوع این الگوها در کاربردهای واقعی ناشناخته باقی مانده است.

برای پر کردن این شکاف، مقاله بزیبایی نظریه و روش‌های تشخیص ReDoS را برای پشتیبانی از REwB گسترش می‌دهد و اولین بررسی سیستماتیک آسیب‌پذیری‌های ReDoS ناشی از ارجاع‌های پسین را ارائه می‌کند و اتوماتای حافظه‌دار دو فاز (2PMFA#) را معرفی می‌کند، مدل خودکاری جدید که معناشناسی واقعی REwB را به طور دقیق شبیه‌سازی می‌کند، از جمله ارجاع به خود (self-references). با استفاده از 2PMFA، به طور فرمال اثبات می کند و نشان می‌دهد که برای برخی الگوهای خاص REwB، یک بار ارزیابی ارجاع پسین می‌تواند هزینه‌ای غیر از O(1) داشته باشد.
📈هنگامی که این امر با تعداد غیر O(1) ارزیابی ارجاع پسین ترکیب شود، منجر به رفتار زمان اجرای فوق‌خطی می‌شود که ماهیتاً با رفتار K-regexes تفاوت دارد. بر پایه این یافته‌ها، به طور فرمال شرایط لازم را استخراج می‌کند که تحت آن REwBها به دلیل هزینه غیر O(1) به ازای هر ارجاع پسین و تعداد غیر O(1) ارزیابی ارجاع پسین، منجر به زمان اجرای عقب‌گرد فوق‌خطی می‌شوند. با ترکیب این شرایط، برای اولین بار سه الگوی REwB آسیب‌پذیر در برابر ReDoS را معرفی می‌کند.
...........
مساله این است چرا این نظریه با اثبات فرمال اش به ذهن ما خطور نکرده؟
وقتی دانشگاه های ما دیگر جای #پژوهش نیست
و جای مرگ بر، درود بر، و حمله و دفاعِ فیزیکی با مشت و لگد شده نه بررسی تهدیدات امنیت اطلاعات و راه‌حل های دفاع در عمق
همه چیز سطحی شده
واقعا دیگر جای اینکارها نیست....
این حرف را ۱۵ سال پیش استاد عزیزی که عازم #استنفورد شد و همانجا ماندند با همسرشان
به من گفت...
گفت واقعا اینجا نمی توانم کار کنم‼️
نرفته که خیانت کند یا به وطن پشت کند
نه خیر
همانجا نتایج پژوهش های ارجمندش را برای امثال من منتشر می کند
و با دانشگاه مبدا در ارتباط دائم است
رفته که بتواند کار کند همین. برای همین رفته
اما تمام وجودش اینجاست چون مادر و پدر و دوست و رفیق و خانواده‌اش اینجاست
چه کند؟
تمام‌ عمرش را صرف اینکار کرده! عمر مفیدش را
وقتی همه مشغول تفریح و گشت و گذار بودند یا داشت کنکور ( کنکور سراسری و ارشد و دکتری )می داد یا داشت درس می خواند در دانشگاه
الان بگذارد کنار و بیافتد وسط هیجان ها و هیجانزده ها⁉️‼️
عمرش چه می شود؟ ریاضت های های علمی چه می‌شود؟ کاری هم در خیل هیجان‌زده ها از او برنمیآید، منطقش نمی‌گذارد! باورش اجازه نمی‌دهد ...اصلا اینکاره نیست
پس باید که برود تا اقلا از راه دور بتواند به کشورش کمک کند...
#پاینده‌ایران
#دانشگاه
#جنگ
@toobabigdatascience

🤓شهین هستم از کانادا

شهین در شهر ونکوور کانادا ساعت ۶ صبح از خواب بیدار میشه، ورزش میکنه، دوش میگیره، صبحانه میخوره و آماده میشه بره سر کار. این قسمت رو یادم رفت: بین کارهاش میاد توییتر و توییت میکنه: ترامپ لامصب بزن دیگه عه!
♨️مثل شهین نباشیم!
#جنگ
#پاینده‌ایران

@toobabigdatascience

🎁Cheat sheet on string methods in Python
#Python
@toobabigdatascience

خبرگزاری دولت: مذاکرات هسته‌ای با گذشت دو ساعت و نیم همچنان ادامه دارد.

#پاینده‌ایران
#جنگ
@toobabigdatascience

♨️جنگ یا صلح؟
نظر شمخانی....
#جنگ
#مذاکرات
@toobabigdatascience

🗞فارین افرز: در صورت هرگونه جنگ، ایران توان تحمیل درد و هزینه به آمریکا را دارد


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

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

#جنگ
#ترامپ
#مذاکرات
@toobabigdatascience

🕰وقفه در مذاکرات برای مشورت مذاکره‌کنندگان

🪫وقفه‌ای برای مشورت هیات های مذاکره کنندگان ترتیب داده شده و قرار است مذاکرات در نوبت عصر ادامه پیدا کند.
#مذاکرات
#جنگ
@toobabigdatascience

👁‍🗨 خبر‌نگارالجزیره:

"گفت‌وگوها امروز در ژنو در حالی آغاز می‌شود که فضای سنگینی از عدم‌قطعیت بر آن حاکم است. دیپلمات‌ها شانس دستیابی به توافق را حدود پنجاه ـ پنجاه توصیف می‌کنند.
توافق هسته‌ای که اکنون درباره آن بحث می‌شود، در سال ۲۰۱۵ بعید به نظر می‌رسید؛ اما یک شکاف اصلی همچنان باقی است: واشنگتن می‌خواهد برنامه موشک‌های بالستیک ایران نیز در مذاکرات گنجانده شود، در حالی که تهران از وارد کردن آن به گفت‌وگوها خودداری می‌کند.
حتی در صورت دستیابی به یک پیشرفت مهم، این توافق به‌احتمال زیاد شکل بحران را تغییر خواهد داد، نه اینکه آن را به‌طور کامل پایان دهد‼️
#الجزیره
#جنگ
#مذاکرات
@toobabigdatascience

👁‍🗨وزیر خارجه عمان:

♨️ما امروز در ژنو در حال تبادل ایده‌های خلاقانه و مثبت بودیم و اکنون مذاکره‌کنندگان آمریکایی و ایرانی برای وقفه‌ای کوتاه جلسه را متوقف کرده‌اند.

♨️قرار است مذاکرات در ادامه امروز از سر گرفته شود. امیدواریم پیشرفت بیشتری حاصل شود.

👁‍🗨تذکره‌تُن:
شاید ۵۰ سال بعد، لابلای سطور دفتر خاطرات بدرالبوسعیدی، رازهایی از علل ظهور /سقوط/ قدرت های جدید در ملت های این منطقه پر‌آشوب جهان یا سقوط ارباب زورگیر جهان(امریکا) فاش شود که جهان را تکان بدهد‼️

#جنگ
#مذاکرات
#پاینده‌ایران
@toobabigdatascience

⬅️رسانه معتبر بین المللی درباره مذاکرات ژنو چه می گویند؟

مرور گزارش‌های منتشرشده از ۲۰ رسانه بین المللی نشان می‌دهد که نوعی اختلاف نظر نسبت به نتیجه مذاکرات ژنو در بین رسانه های مختلف وجود دارد :

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

▫️ایندین اکسپرس هند گزارش زنده‌ای از مذاکرات منتشر کرده است که در آن نگاه مثبت و سازنده‌ای به روند گفت‌وگوها دارد.

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

▫️روزنامه گاردین رویکردی تحلیلی و واقع‌گرایانه به مذاکرات دارد. این روزنامه انگلیسی مذاکرات را در چارچوب موازنه میان فشار نظامی و گشایش دیپلماتیک تحلیل می‌کند.

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

▫️نیویورک تایمز نگاه محتاطانه‌تری به ماجرا دارد. این روزنامه آمریکایی مذاکرات را تعیین‌کننده مسیر آینده به سمت جنگ یا توافق می‌داند.

▫️تحلیلگران سی‌ان‌ان هشدار می‌دهند دستیابی به توافق هسته‌ای ممکن است دشوار باشد و مذاکرات امروز یک لحظه تعیین‌کننده محسوب می‌شود.

▫️لوموند فرانسه از نگاه خود تصویر مذاکرات را متناقض می‌بیند: از یک سو ایران بر حفظ غنی‌سازی صلح‌آمیز تأکید دارد و از سوی دیگر فشار نظامی و خواست آمریکا برای وارد کردن برنامه موشکی به گفت‌وگو، فضای مذاکرات را پرتنش کرده است.

▫️الجزیره گزارش داده است که عمان پیشاپیش پیشنهادات ایران را به نمایندگان آمریکا ارائه کرده و مذاکرات به صورت سازنده و با انعطاف ادامه می‌یابد.

▫️خبرگزاری رسمی مصر با اشاره به نقش میانجی‌گرانه عمان، گزارش داده است که دیدار بدر البوسعیدی با رافائل گروسی نشان‌دهنده تمرکز بر ابعاد فنی و سازوکارهای شفافیت است.
#جنگ
#مذاکرات
@toobabigdatascience

دکتر #پزشکیان :" می دونی چَرا منو ترور نمی کنند؟"🤓

@toobabigdatascience

⬅️پایان دور سوم مذاکرات

وزیر خارجه عمان:

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

به زودی پس از مشورت در پایتخت‌های مربوطه، مذاکرات را از سر خواهیم گرفت. مذاکرات در سطح فنی ‼️ هفته آینده در وین برگزار خواهد شد.
#پایان_مذاکرات
#جنگ
@toobabigdatascience

#رویترز:

پس از اظهارات وزیر خارجه عمان درباره پیشرفت در مذاکرات ایران و آمریکا، قیمت #نفت برنت و نفت آمریکا کاهش یافت‼️

🎶متن توئیت وزیر خارجه عمان:

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

#مذاکرات
#پاینده‌ایران
@toobabigdatascience

#عراقچی:

پیشرفت خوبی در مذاکرات داشتیم

در بعضی حوزه ها، تفاهم نزدیک شده.

تیم‌های فنی از دوشنبه گفتوگوهای فنی را آغاز می‌کنند.

قرار شد خیلی زود تا هفته بعد دور بعدی مذاکرات ما برگزار شود.

این دور، یکی از بهترین ادوار مذاکراتی بود.

بحث شورای امنیت و تحریم های یکجانبه جزو درخواست های ما بود و قرار شد هفته آینده به صورت ریزتر وارد این مسائل شویم.
#مذاکرات

@toobabigdatascience

⬅️ایده خلاقانه بدرالبوسعیدی، ایران و امریکا را در آستانه توافق قرار داد
🤓
#مذاکرات
#میم
@toobabigdatascience

🦚خنده‌های #عراقچی نشان از رضایت از روند مذاکرات است
Iranian officials to Al-Jazeera: 'The U.S. position has come closer to reality. The chance of reaching an agreement is high, unless it is sabotaged by outside parties.'

مقامات ایرانی به الجزیره :
مواضع امریکا به واقعیت نزدیکتر شده
شانس رسیدن به توافق بالاست اگر...توسط بازیگران و طرف های خارج از مذاکره (اسرائیل و...) خرابکاری نشود.

#مذاکرات
#پاینده‌ایران
@toobabigdatascience

چرا اینقدر از فقدان و از‌دست‌دادن می ترسی؟
وقتی در این دنیا صاحب و مالک هیچ چیز نیستی‼️
تو حتی مالک نتایج هم نیستی
نتایج و تعیین آنها به کس دیگری تعلق دارد...
#حکمت
@toobabigdatascience

👁‍🗨فرماندهیَ مرکزیَه طالبکام_ریش دوم:
" حضرتی میلا هَیبَت‌ُالله آخوندزاده، رهبری شوجاعی طالبان در پی بومب‌باردِ هواییه پاکستان بی مقر فرماندهی ارشدی طالب شهید گَشتی
مرگی بر پاکیستان
مرگی بر بیلژیک و بقیَه بجوز خودَمان
🤓
‌‌#ملا‌هیبت‌الله
#یک‌طالبُم
#طالبی
#طالبان
جوبنشی اصیلی منطَقَه
@toobabigdatascience

آنقدر ایران و آمریکا جنگ نکردند که برای خالی نبودن عریضه! در منطقه غرب آسیا پاکستان و افغانستان بهم پریدند!🤓
#اَوغانیستان
#پاکستان
#هندوستان
#راج‌کاپور !
@toobabigdatascience