MỤC LỤC
BẢNG CÁC CHỮ VIẾT TẮT
DANH MỤC HÌNH VẼ
MỞ ĐẦU
Chương 1
GIỚI THIỆU VỀ ĐIỀU KHIỂN TRUY CẬP
1.1. Giới thiệu
1.2. Mục đích và các thành phần cơ bản của điều khiển truy cập
1.2.1. Người dùng (Users), chủ thể (Subjects), đối tượng (Objects), thao tác (Operations) và quyền truy cập (Permissions)
1.2.2. Đặc quyền tối thiểu
1.3. Lịch sử của điều khiển truy cập
1.3.1. Điều khiển truy cập trong máy tính có nhiều người truy cập
1.3.2. Các chuẩn điều khiển truy cập
1.3.3. Mô hình RBAC ban đầu
Chương 2
MÔ HÌNH ĐIỀU KHIỂN TRUY CẬP TRỪU TƯỢNG
2.1. Các thành phần của hệ thống điều khiển truy cập
2.2. Các thực thể cơ sở và nguyên tắc thiết kế an toàn
2.2.1. Đối tượng và chủ thể
2.2.2. Nguyên tắc thiết kế an toàn
2.3. Mô hình điều khiển truy cập trừu tượng
Chương 3
CÁC CHỨC NĂNG CHÍNH CỦA RBAC
3.1. Phân biệt vai trò và nhóm ACL
3.2. RBAC cơ sở
3.2.1. Hỗ trợ quản lý
3.2.2. Quyền truy cập
3.2.3. Vai trò hoạt động
Chương 4
KIỂM CHỨNG TÍNH ĐÚNG ĐẮN TRONG ĐIỀU KHIỂN TRUY
CẬP
4.1. Bài toán kiểm chứng tính đúng đắn giữa thiết kế và cài đặt chính sách RBAC
4.2. Định nghĩa ngôn ngữ trừu tượng LRBAC mức đơn giản
4.3. Thuật toán để kiểm chứng tính đúng đắn
Chương 5
CHƯƠNG TRÌNH CÀI ĐẶT KIỂM CHỨNG THUẬT TOÁN
5.1. Cài đặt thuật toán dựa trên thành phần Eclipse
5.1.1. Giới thiệu Eclipse
5.1.2. Kiến trúc của Eclipse
5.1.3. Các thành phần cơ bản của một thành phần gắn thêm trong Eclipse
5.1.4. Cài đặt thuật toán dựa trên thành phần gắn thêm của Eclipse
5.2. Kết quả chạy một số ví dụ
5.2.1. Hướng dẫn chạy chương trình
5.2.2. Kết quả chạy một số ví dụ
KẾT LUẬN VÀ HƯỚNG PHÁT TRIỂN
TÀI LIỆU THAM KHẢO