آموزش اصول کدنویسی امن - آخرین آپدیت

فلسفه برنامه‌نویسی امن Secure Programming Philosophy

• معرفی دوره Course Introduction

• معرفی بخش اول Module 1 Introduction

• فلسفه برنامه‌نویسی امن The Philosophy of Secure Programming

• تعریف برنامه‌نویسی امن Defining Secure Programming

• برنامه‌نویسی مستحکم در مقابل برنامه‌نویسی امن Robust vs. Secure Programming

• سیاست‌ها و رویه‌های امنیتی Security Policies and Procedures

• فلسفه کلی برنامه‌نویسی امن Secure Programming General Philosophy

• بررسی طراحی و پیاده‌سازی Checking Design and Implementation

• کجا به دنبال آسیب‌پذیری‌ها بگردیم Where to Look for Vulnerabilities

• خلاصه برنامه‌نویسی امن Secure Programming Summary

اصول طراحی برنامه‌نویسی امن Secure Programming Design Principles

• معرفی بخش دوم Module 2 Introduction

• مرور اصول طراحی برنامه‌نویسی امن Secure Programming Design Principles Overview

• اصل کمترین امتیاز (Least Privilege) Principle of Least Privilege

• پیش‌فرض‌های امن در صورت خطا (Fail Safe Defaults) Fail-Safe Defaults

• اصل اقتصاد مکانیسم Principle of Economy of Mechanism

• اصل میانجی‌گری کامل Principle of Complete Mediation

• اصل جداسازی امتیازات Separation of Privilege Principle

• اصل طراحی باز Principle of Open Design

• اصل کمترین مکانیسم مشترک Principle of Least Common Mechanism

• اصل کمترین شگفت‌زدگی Principle of Least Astonishment

• خلاصه اصول طراحی برنامه‌نویسی امن Secure Programming Design Principles Summary

برنامه‌نویسی مستحکم Robust Programming

• معرفی بخش سوم Module 3 Introduction

• مرور برنامه‌نویسی مستحکم Robust Programming Overview

• اصول پایه برنامه‌نویسی مستحکم Robust Programming Basic Principles

• مثالی از یک کد شکننده An Example Of Fragile Code

• مدیریت خطاها Error Handling

• پیوستگی، رابط‌های جدید و تولید توکن Cohesion, New Interfaces, and Token Generation

• تولید و تفسیر توکن Token Generation and Interpretation

• ایجاد و حذف صف Creating and Deleting a Queue

• افزودن و حذف عناصر از صف Adding and Removing Elements to a Queue

روش‌های ایجاد استحکام Methods for Robustness

• معرفی بخش چهارم Module 4 Introduction

• مرور روش‌های ایجاد استحکام Methods for Robustness Overview

• مرور متدها: روش‌های رسمی، غیررسمی و موردی Methods Overview: Formal, Informal, and Ad Hoc Methods

• مرور متدهای رسمی Overview of Formal Methods

• مثال برنامه ورود (Login) Login Program Example

• به‌کارگیری متدولوژی تجزیه سلسله‌مراتبی Incorporating Hierarchical Decomposition Methodology

• برنامه ورود: احراز هویت کاربر Login Program: Authenticating a User

• برنامه ورود: پیش‌شرط‌ها و پس‌شرط‌ها Login Program: Preconditions and Postconditions

• جمع‌بندی دوره Course Summary