Luận Văn Thạc Sĩ Nghiên Cứu Và Vận Dụng Kỹ Thuật Hướng Mô Hình Cho Đặc Tả Và Kiểm Chứng Chính Sách Bảo Mật

Nghiên Cứu Và Vận Dụng Kỹ Thuật Hướng Mô Hình Cho Đặc Tả Và Kiểm Chứng Chính Sách Bảo Mật​

Tìm hiểu tổng quan về mô hình an ninh RBAC theo cách tiếp cận hướng mô hình kết hợp UML với OCL. Luận văn cũng tìm hiểu tổng quan phương pháp đặc tả, biểu diễn, giám sát và thực thi quy trình nghiệp vụ BPMN. Nghiên cứu đưa ra cách tiếp cận hướng mô hình để đặc tả và kiểm chứng chính sách truy cập RBAC trong quá trình thực thi quy trình nghiệp vụ theo mô hình BPMN. Ngoài ra, luận văn nghiên cứu xây dựng công cụ hỗ trợ dựa trên sự tích hợp giữa hai phần mềm mã nguồn mở Activiti và USE. Cuối cùng, luận văn đưa ra một bài toán thực nghiệm là một quy trình nghiệp vụ thực tế đang diễn ra tại Học viện Kỹ thuật mật mã nhằm vận dụng các kết quả đạt được trong luận văn. Qua đó, chứng minh tính hữu ích và khả năng áp dụng các kết quả đạt được trong luận văn vào thực tiễn.

• Luận văn thạc sĩ Công nghệ thông tin
• Chuyên ngành Kỹ thuật phần mềm
• Người hướng dẫn: TS. Đặng Đức Hạnh
• Tác giả: Nguyễn Đức Hiếu
• Số trang: 79
  
• Kiểu file: PDF
• Ngôn ngữ: Tiếng Việt
• Đại Học Quốc Gia Hà Nội - Trường Đại Học Công Nghệ 2019

Link Download
https://repository.vnu.edu.vn/handle/VNU_123/99654
https://drive.google.com/uc?id=16TMb8HX51LEmGQf378uZiigcZn_eiCz9
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1