Một số phương pháp kiểm chứng các chính sách điều khiển truy cập cho hệ thống phần mềm

137 45 0
Một số phương pháp kiểm chứng các chính sách điều khiển truy cập cho hệ thống phần mềm

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

Từ khóa liên quan

Mục lục

  • Lời cam đoan

  • Lời cảm ơn

  • Tóm tắt

  • Mục lục

  • Danh mục các từ viết tắt

  • Danh mục các hình vẽ

  • Danh mục các thuật toán

  • Danh mục các đặc tả

  • 1 GIỚI THIỆU

    • 1.1 Đặt vấn đề

    • 1.2 Nội dung nghiên cứu

    • 1.3 Đóng góp của luận án

    • 1.4 Cấu trúc luận án

    • 2 KIẾN THỨC CƠ SỞ

      • 2.1 An ninh phần mềm

        • 2.1.1 Một số tính chất an ninh của phần mềm

        • 2.1.2 Chính sách điều khiển truy cập

        • 2.2 Một số mô hình chính sách điều khiển truy cập

          • 2.2.1 Điều khiển truy cập theo vai trò

          • 2.2.2 Ngôn ngữ mô hình hóa chính sách an ninh thống nhất

          • 2.2.3 Điều khiển truy cập theo thuộc tính

          • 2.3 Triển khai chính sách điều khiển truy cập trong JavaEE

            • 2.3.1 An ninh truy cập trong JavaEE

            • 2.3.2 Một số kiến trúc thiết kế phần mềm trong JavaEE

            • 2.4 Phân tích và biểu diễn chương trình

              • 2.4.1 Phân tích chương trình

Tài liệu cùng người dùng

Tài liệu liên quan