about-3 back-contact back-deep eitaa کانال روبیکاخبرگزاری سایبربان
مطالب پربازدید
هوش
1403/08/29 - 07:56- هوش مصنوعي

هوش مصنوعی و دانش‌آموزان؛ تحولی که باید برای آن آماده شد

آموزش و پرورش، به خصوص مدارس به عنوان مهم‌ترین بستر تربیت نسل آینده، نقش کلیدی در آماده‌سازی دانش‌آموزان برای ورود به دنیای هوش مصنوعی دارد. اکنون هوش مصنوعی برای دانش‌آموزان یک انتخاب نیست، بلکه یک ضرورت است.

ساخت
1403/09/24 - 08:40- آسیا

ساخت پیچیده‌ترین سلاح سایبری زیرساختی جهان توسط ایران

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

راه‌اندازی
1403/09/28 - 07:37- آسیا

راه‌اندازی اولین کامپیوتر کوانتومی ساخت رژیم صهیونیستی

رژیم صهیونیستی از راه‌اندازی اولین کامپیوتر کوانتومی ساخت خود با استفاده از فناوری پیشرفته ابررسانا خبر داد.

انتشار شده در تاریخ

تأیید اعتبار نرم افزارها بدون دخالت انسان

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

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

ری ریچاردز (Ray Richards)، مدیر برنامه دفتر نوآوری اطلاعاتی دارپا گفت:

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

ریچادرز توضیح داد:

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

سازمان دارپا، به منظور شتاب‌دهی به فرآیند بررسی نرم‌افزار و دادن اعتبارنامه به آن، پروژه‌ی آرکاس (ARCOS1) را راه‌اندازی کرده است. هدف پروژه آرکاس، ایجاد ابزارها و فرآیندی است که ارزیابی شواهد نرم‌افزاری و قابلیت اطمینان آن را به صورت کاملاً خودکار انجام می‌دهد. این کار، با استفاده از پیشرفت‌های صورت گرفته در زمینه فناوری طراحی مبتنی بر مدل «Big Code» انجام می‌گیرد.

مدیر برنامه دفتر نوآوری اطلاعاتی دارپا ادامه داد:

رویکرد نام برده، با راهبرد مهندسی دیجیتال وزارت دفاع آمریکا هماهنگ است و فرآیند تأیید مجدد نرم‌افزار را به خوبی و در زمان مورد نیاز انجام می‌دهد.

دارپا انتظار دارد پروژه‌ی بالا، در 3 فاز تکمیل شود.


  1. Automated Rapid Certification Of Software
تازه ترین ها
درخواست
1403/10/24 - 19:24- هوش مصنوعي

درخواست شرکت اوپن اِی آی از ایالات متحده

شرکت اوپن اِی آی از ایالات متحده می‌خواهد که بودجه هوش مصنوعی را در اولویت قرار دهد.

تشدید
1403/10/24 - 18:28- آسیا

تشدید تمرکز شرکت‌های استرالیایی بر بیمه سایبری

به گفته کارشناسان، شرکت‌های بیشتری در استرالیا نسبت به قبل به دنبال بیمه سایبری هستند.

دان
1403/10/24 - 18:26- آمریکا

دان بیکن: بازدارندگی سایبری با چاشنی تهاجم علیه چین

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

مطالب مرتبط

در این بخش مطالبی که از نظر دسته بندی و تگ بندی مرتبط با محتوای جاری می باشند نمایش داده می‌شوند.