Đề xuất gia cố bảo mật

Sử dụng $codex-security:propose-security-hardening để chuyển một tập hợp bằng chứng bảo mật thành các phương án gia cố cấu trúc hoặc kiến trúc. Quy trình có thể phân tích một bản quét Codex Security đã hoàn tất hoặc bắt đầu từ các phát hiện, báo cáo công bố, báo cáo đánh giá sự cố, tài liệu đánh giá và mã nguồn được cung cấp.

Kết quả so sánh các phương án thiết kế và những đánh đổi về kỹ thuật. Codex chỉ thay đổi kho lưu trữ sau khi bạn chọn một phương án và yêu cầu triển khai phương án đó.

Chuẩn bị bằng chứng

Cung cấp cho quy trình:

• Một thư mục quét hoặc tập hợp các phát hiện và báo cáo.
• Cây mã nguồn mục tiêu và bản sửa đổi hoặc bản chụp nếu có.
• PoC, dấu vết thực thi, bằng chứng về sự cố hoặc tài liệu đánh giá hỗ trợ các phát hiện.
• Các ràng buộc về hiệu năng, bộ nhớ, khả năng tương thích, độ tin cậy, vận hành, thời gian bàn giao hoặc phạm vi thay đổi.

Ví dụ, các lỗi phân quyền lặp lại có thể cho thấy một cơ chế kiểm soát dùng chung sẽ dễ áp dụng nhất quán hơn so với việc kiểm tra trong từng trình xử lý. Bằng chứng cũng có thể ủng hộ việc giữ lại bản sửa lỗi cục bộ thay vì thay đổi kiến trúc.

Chạy quy trình

Gửi một câu lệnh như sau:

Use $codex-security:propose-security-hardening to analyze [scan directory or finding paths] against [source tree and revision]. Develop evidence-backed structural hardening options with engineering tradeoffs, before-and-after diagrams, a migration plan, and an implementation handoff. Do not modify the repository.

Chọn một phương án

Trước khi chọn một phương án, hãy kiểm tra xem đề xuất có đáp ứng các yêu cầu sau hay không:

• Liên kết từng thay đổi được đề xuất với các phát hiện, mã nguồn và bằng chứng về mô hình mối đe dọa.
• Mô tả thiết kế hiện tại và các bất biến bảo mật mà thiết kế mới cần bảo toàn.
• So sánh các phương án riêng biệt, bao gồm rủi ro còn lại, hiệu năng, độ tin cậy, vận hành, khả năng tương thích và chi phí chuyển đổi.
• Đưa ra bằng chứng hỗ trợ khuyến nghị và nêu rõ các giả định cùng những câu hỏi còn bỏ ngỏ.
• Bao gồm hướng dẫn triển khai từng bước, xác thực, khôi phục và thực hiện.
• Phân biệt các dữ kiện quan sát được, suy luận và thuộc tính thiết kế được đề xuất.

Hãy xem xét bằng chứng và các đánh đổi trước khi chọn một phương án. Sơ đồ kiến trúc hoặc đề xuất thiết kế không thay thế việc xác thực các phát hiện ban đầu hay bản sửa lỗi đã triển khai.

Sử dụng hướng dẫn gia cố từ một bản quét

Bạn có thể yêu cầu một danh mục củng cố bảo mật cho lượt quét tiêu chuẩn, chuyên sâu hoặc thay đổi có các phát hiện cần báo cáo. Codex ghi danh mục vào hardening/hardening.md, phân tích có cấu trúc vào hardening/hardening.json và các đề xuất hỗ trợ hoặc sơ đồ trong hardening/. Lượt quét liên kết đến danh mục từ report.md.

Hãy giữ toàn bộ thư mục quét cùng nhau để các liên kết đó tiếp tục sử dụng được. Để xem xét các báo cáo riêng lẻ làm cơ sở cho danh mục, hãy xem Viết báo cáo lỗ hổng.