Tài liệu Thư viện số

Danh mục TaiLieu.VN

Bài giảng An toàn hệ điều hành: Phần 2

Nối tiếp phần 1, phần 2 của bài giảng tiếp tục trình bày các nội dung về các mô hình an toàn chính tắc cho phép mô tả và kiểm chứng các yêu cầu cần phải đạt với mô hình đề xuất; Giới thiệu cách thức giúp cho việc đánh giá và kiểm tra các yêu cầu an toàn với hệ thống máy tính thông qua việc xây dựng các đặc tả yêu cầu hệ thống. Mời các bạn cùng tham khảo để nắm nội dung chi tiết.

Từ khóa: Bài giảng An toàn hệ điều hành, An toàn hệ điều hành, Kỹ thuật kiểm chứng mã chương trình, Mô hình máy trạng thái, Mô hình Harrison-Ruzzo-Ullman

35 p tailieu_iemh 25/04/2022 107 1

Bình luận