tailieunhanh - Báo cáo "Ngôn ngữ mô hình hóa chuyên biệt miền cho các yêu cầu bảo mật "

Giới thiệu chung về cơ sở lý thuyết của phương pháp phát triển phần mềm hướng mô hình với hướng tiếp cận là mô hình hóa chuyên biệt miền (DSML), phân tích lợi ích của DSML, cũng như các công cụ hỗ trợ cho mô hình hóa chuyên biệt miền. Nghiên cứu về miền bảo mật, xác định metamodel, các luật ràng buộc cho miền bảo mật theo mô hình điều khiển truy cập dựa trên vai trò của người dùng (RBAC). Trình bày về cài đặt và kết quả thử nghiệm DSML cho miền bảo mật trên phần mềm. | XT . 11 r 1 1 Ầ 1 Ngôn ngữ mô hình hóa chuyên biệt miên cho các yêu cầu bảo mật Chu Thị Minh Huệ Trường Đại học Công nghệ Luận văn Thạc sĩ ngành Công nghệ phần mêm Mã số 60 48 10 Người hướng dẫn TS Đặng Đức Hạnh Năm bảo vệ 2011 Abstract Giới thiệu chung vê cơ sở lý thuyết của phương pháp phát triển phần mêm hướng mô hình với hướng tiếp cận là mô hình hóa chuyên biệt miên DSML phân tích lợi ích của DSML cũng như các công cụ hỗ trợ cho mô hình hóa chuyên biệt miên. Nghiên cứu vê miên bảo mật xác định metamodel các luật ràng buộc cho miên bảo mật theo mô hình điêu khiển truy cập dựa trên vai trò của người dùng RBAC . Trình bày vê cài đặt và kết quả thử nghiệm DSML cho miên bảo mật trên phần mêm mã nguồn mở Eclipse. Vận dụng DSML cho RB AC. Keywords Phần mêm Mô hình hóa Bảo mật An toàn dữ liệu Content Các hệ thống phần mêm hiện đại ngày nay càng ngày càng trở lên phức tạp. Khi phát triển đòi hỏi giảm thời gian giảm chi phí nhưng lại phải tăng chất lượng phần mêm để tăng tính cạnh tranh và đáp ứng các nhu cầu sử dụng phần mêm trên tất cả các lĩnh vực khác nhau của đời sống con người. Để giải quyết vấn đê nghịch lý trong phát triển phần mêm người ta đê xuất giải pháp phát triển các framework phục vụ cho phát triển phần mêm. Tuy nhiên những giải pháp đó cũng không đủ để đáp ứng các nhu cầu của ngành công nghiệp phần mêm và việc phát triển phần mêm vẫn thủ công dựa vào con người là chủ yếu. Vì vậy việc nghiên cứu và đưa ra một giải pháp tăng tính tự động trong phát triển phần mêm đã được đê xuất và phát triển. Giải pháp phát triển phần mêm hướng mô hình MDD được xem là một giải pháp phù hợp cho vấn đê gặp phải trong phát triển phần mêm. Phát triển hướng mô hình là đặt mô hình hóa là vấn đê trọng tâm trong phát triển phần mêm từ các mô hình sẽ được dịch chuyển sang mã trương trình triển khai nhờ bộ sinh mã nguồn code generator . P hát triển hướng mô hình đặc biệt phù hợp với phát triển các sản phần mêm cùng dòng software product line . Một trong các hướng tiếp cận của phát