کتاب صوتی طراحی سیستم‌های امن با روش‌های صوری و راستی‌آزمایی

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

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

عنوان دوره: دوره طراحی سیستم‌های امن با روش‌های صوری و راستی‌آزمایی

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

موضوع میانی: روش‌های صوری و راستی‌آزمایی امنیت سیستم‌ها

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

• 1. مبانی روش‌های صوری در طراحی سیستم‌های امن
• 2. چرایی استفاده از روش‌های صوری برای امنیت سیستم
• 3. مدل‌سازی صوری نیازمندی‌های امنیتی
• 4. تعریف دقیق دارایی‌ها، تهدیدها و اهداف امنیتی
• 5. مفاهیم منطق گزاره‌ای و منطق محمول‌ها
• 6. منطق زمانی برای بیان ویژگی‌های امنیتی
• 7. سیستم‌های انتقال حالت و مدل‌سازی رفتار
• 8. ماشین‌های متناهی و مدل‌سازی پروتکل‌های امنیتی
• 9. مدل‌سازی حالت و گذار در سیستم‌های پیچیده
• 10. مشخصه‌نویسی صوری ویژگی‌های امنیتی
• 11. تبدیل نیازمندی‌های امنیتی به مشخصات قابل بررسی
• 12. مقدمات اثبات قضیه در امنیت نرم‌افزار
• 13. اثبات صحت و درستی ویژگی‌های امنیتی
• 14. استدلال استقرایی برای بررسی سیستم‌های امن
• 15. اثبات خواص ناوردای سیستم
• 16. مدل‌چکینگ برای راستی‌آزمایی امنیت
• 17. ساخت مدل مناسب برای Model Checking
• 18. بررسی فضای حالت و مشکل انفجار حالت‌ها
• 19. انتخاب و تعریف خواص قابل بررسی
• 20. کشف و تحلیل Counterexampleهای امنیتی
• 21. تحلیل دسترسی و کنترل مجوزها با روش‌های صوری
• 22. مدل‌سازی احراز هویت و کنترل دسترسی
• 23. راستی‌آزمایی پروتکل‌های احراز هویت
• 24. مدل‌سازی محرمانگی و یکپارچگی داده
• 25. بررسی امنیت جریان اطلاعات
• 26. تحلیل Noninterference و نشت اطلاعات
• 27. مدل‌سازی و راستی‌آزمایی سیاست‌های امنیتی
• 28. تحلیل صوری پروتکل‌های ارتباطی
• 29. راستی‌آزمایی صوری پروتکل‌های رمزنگاری
• 30. مدل‌سازی حملات در سیستم‌های امنیتی
• 31. استفاده از روش‌های صوری برای تحلیل تهدید
• 32. مدل‌سازی مهاجم و رفتارهای مخرب
• 33. تحلیل دسترسی غیرمجاز با مدل‌های صوری
• 34. بررسی امنیت سیستم‌های همزمان
• 35. مدل‌سازی Concurrency در سیستم‌های امن
• 36. تحلیل Race Condition با روش‌های صوری
• 37. راستی‌آزمایی سیستم‌های توزیع‌شده
• 38. روش‌های صوری برای بررسی سیستم‌های واکنشی
• 39. تحلیل سیستم‌های بلادرنگ و ویژگی‌های امنیتی
• 40. روش‌های صوری برای امنیت نرم‌افزار
• 41. راستی‌آزمایی نیازمندی‌های امنیتی در چرخه توسعه
• 42. ترکیب تحلیل ایستا و روش‌های صوری
• 43. تولید تست از مشخصات صوری
• 44. تولید خودکار تست‌های امنیتی
• 45. تحلیل پوشش مدل در راستی‌آزمایی
• 46. اعتبارسنجی مدل صوری در برابر سیستم واقعی
• 47. مدیریت پیچیدگی در مدل‌سازی صوری
• 48. انتخاب سطح انتزاع مناسب برای مدل امنیتی
• 49. کاهش فضای حالت و Abstraction
• 50. تفکیک خواص ایمنی و زنده‌بودن
• 51. راستی‌آزمایی ترکیبی با چند تکنیک صوری
• 52. مقایسه Model Checking و Theorem Proving
• 53. مقایسه روش‌های صوری و آزمون امنیتی
• 54. طراحی معماری امن بر پایه مشخصات صوری
• 55. ردیابی نیازمندی‌ها تا شواهد امنیتی
• 56. ساخت شواهد قابل ممیزی برای ادعاهای امنیتی
• 57. تحلیل شکست و خطای طراحی با روش‌های صوری
• 58. مدیریت فرضیات و محدودیت‌های مدل
• 59. تشخیص نتایج نادرست ناشی از مدل‌سازی ناقص
• 60. مطالعه موردی راستی‌آزمایی یک پروتکل امنیتی
• 61. مطالعه موردی کنترل دسترسی یک سیستم امن
• 62. مطالعه موردی تحلیل امنیت یک سیستم توزیع‌شده
• 63. طراحی یک فرایند کامل Formal Security Verification