کتاب صوتی طراحی و اعتبارسنجی پیاده‌سازی‌های نرم‌افزاری امن روی پردازنده‌ها

🎓 دوره آموزشی جامع

📚 اطلاعات دوره

عنوان دوره: دوره طراحی و اعتبارسنجی پیاده‌سازی‌های نرم‌افزاری امن روی پردازنده‌ها

موضوع کلی: مهندسی نرم‌افزار و سیستم‌های نهفته

موضوع میانی: طراحی و اعتبارسنجی نرم‌افزارهای امنیتی

📋 سرفصل‌های دوره

• 1. مبانی مهندسی نرم‌افزار و سیستم‌های نهفته
• 2. مقدمه‌ای بر معماری پردازنده‌ها
• 3. اصول طراحی نرم‌افزارهای سیستمی
• 4. مفاهیم اولیه سیستم‌عامل‌ها
• 5. مدیریت حافظه در سیستم‌های نهفته
• 6. پردازش موازی و هم‌روند
• 7. اصول برنامه‌نویسی سطح پایین
• 8. آشنایی با زبان C برای سیستم‌های نهفته
• 9. مقدمه‌ای بر طراحی سخت‌افزار-نرم‌افزار
• 10. مفاهیم اولیه اعتبارسنجی (Verification)
• 11. اصول طراحی مدارهای دیجیتال
• 12. معماری‌های میکروکنترلرها
• 13. ارتباطات سریال در سیستم‌های نهفته
• 14. پروتکل‌های ارتباطی رایج
• 15. طراحی رابط کاربری در سیستم‌های نهفته
• 16. مبانی امنیت در سیستم‌های دیجیتال
• 17. مقدمه‌ای بر حملات سخت‌افزاری
• 18. تکنیک‌های پنهان‌سازی (Masking) در پیاده‌سازی‌ها
• 19. مفاهیم اولیه رمزنگاری
• 20. توابع درهم‌سازی امن
• 21. الگوریتم‌های رمزنگاری متقارن
• 22. الگوریتم‌های رمزنگاری نامتقارن
• 23. مدیریت کلید در سیستم‌های امن
• 24. مقدمه‌ای بر اعتبارسنجی نرم‌افزارهای امن
• 25. روش‌های تست نرم‌افزار
• 26. تست واحد (Unit Testing)
• 27. تست یکپارچه‌سازی (Integration Testing)
• 28. تست سیستمی (System Testing)
• 29. تکنیک‌های تحلیل خطا
• 30. مقدمه‌ای بر مدل‌سازی رفتار نرم‌افزار
• 31. زبان‌های توصیف سخت‌افزار (HDL)
• 32. شبیه‌سازی مدارهای دیجیتال
• 33. ابزارهای طراحی و اعتبارسنجی EDA
• 34. مبانی طراحی مجتمع‌های دیجیتال (IC Design)
• 35. مراحل ساخت نیمه‌هادی‌ها
• 36. اصول طراحی مدارات مجتمع
• 37. اعتبارسنجی در سطح RTL
• 38. اعتبارسنجی در سطح gate-level
• 39. مقدمه‌ای بر سیستم‌های عامل بلادرنگ (RTOS)
• 40. مدیریت وظایف در RTOS
• 41. ارتباط بین وظایف در RTOS
• 42. زمان‌بندی در RTOS
• 43. مبانی طراحی سیستم‌های امنیتی بلادرنگ
• 44. تحلیل زمان‌بندی در سیستم‌های بلادرنگ
• 45. مقدمه‌ای بر طراحی مشترک (Co-Design)
• 46. هم‌طراحی سخت‌افزار-نرم‌افزار
• 47. هم‌اعتبارسنجی (Co-Verification)
• 48. مدل‌سازی مشترک
• 49. تکنیک‌های هم‌طراحی برای امنیت
• 50. هم‌طراحی پیاده‌سازی‌های پنهان‌سازی شده
• 51. اعتبارسنجی پیاده‌سازی‌های پنهان‌سازی شده
• 52. تحلیل امنیتی پیاده‌سازی‌های نرم‌افزاری
• 53. مقدمه‌ای بر حملات کانال جانبی (Side-Channel Attacks)
• 54. تکنیک‌های کاهش اثر حملات کانال جانبی
• 55. مقدمه‌ای بر حملات مبتنی بر تزریق خطا (Fault Injection Attacks)
• 56. تکنیک‌های کاهش اثر حملات تزریق خطا
• 57. طراحی مقاوم در برابر خطا
• 58. اعتبارسنجی مقاومت در برابر خطا
• 59. مبانی فرمال وری‌فیکیشن (Formal Verification)
• 60. کاربرد فرمال وری‌فیکیشن در امنیت
• 61. مدل‌سازی مبتنی بر قضیه (Theorem Proving)
• 62. مدل‌سازی مبتنی بر مدل (Model Checking)
• 63. ابزارهای فرمال وری‌فیکیشن
• 64. اعتبارسنجی امنیت در سطح معماری
• 65. اعتبارسنجی امنیت در سطح پیاده‌سازی
• 66. طراحی نرم‌افزارهای امن با رویکرد پنهان‌سازی
• 67. پیاده‌سازی الگوریتم‌های رمزنگاری امن
• 68. اعتبارسنجی الگوریتم‌های رمزنگاری
• 69. مقدمه‌ای بر استانداردها و چارچوب‌های امنیتی
• 70. استانداردهای امنیتی در سیستم‌های نهفته
• 71. چارچوب‌های ارزیابی امنیت سخت‌افزار
• 72. مقدمه‌ای بر امنیت در اینترنت اشیاء (IoT)
• 73. چالش‌های امنیتی در دستگاه‌های IoT
• 74. طراحی امن برای دستگاه‌های IoT
• 75. اعتبارسنجی امنیتی دستگاه‌های IoT
• 76. مقدمه‌ای بر امنیت در سیستم‌های خودرویی
• 77. الزامات امنیتی در سیستم‌های خودرویی
• 78. طراحی امن برای سیستم‌های خودرویی
• 79. اعتبارسنجی امنیتی سیستم‌های خودرویی
• 80. مقدمه‌ای بر امنیت در سیستم‌های پزشکی
• 81. الزامات امنیتی در دستگاه‌های پزشکی
• 82. طراحی امن برای دستگاه‌های پزشکی
• 83. اعتبارسنجی امنیتی دستگاه‌های پزشکی
• 84. مقدمه‌ای بر تکنیک‌های یادگیری ماشین در امنیت
• 85. کاربرد یادگیری ماشین در تشخیص نفوذ
• 86. کاربرد یادگیری ماشین در تحلیل بدافزار
• 87. مقدمه‌ای بر روش‌های اثبات امنیت (Security Proofs)
• 88. اثبات امنیت الگوریتم‌های رمزنگاری
• 89. اثبات امنیت پروتکل‌های امنیتی
• 90. مقدمه‌ای بر مدیریت ریسک امنیتی
• 91. ارزیابی ریسک در سیستم‌های نرم‌افزاری
• 92. برنامه‌ریزی واکنش به حوادث امنیتی
• 93. ملاحظات قانونی و مقرراتی در طراحی امن
• 94. استانداردهای حفاظت از داده‌ها
• 95. مقررات مربوط به امنیت سایبری
• 96. کاربرد فقه اسلامی در مباحث امنیتی (با رعایت چارچوب رسمی)
• 97. اصول اخلاقی در مهندسی نرم‌افزار امن
• 98. مدیریت چرخه عمر توسعه نرم‌افزار امن