Luận văn thạc sĩ khoa học máy tính về suy luận trong điều khiển truy xuất dữ liệu GIS

Luận văn thạc sĩ phân tích máy tính hỗ trợ suy luận trong điều khiển truy xuất dữ liệu gis, đánh giá thực trạng, chỉ ra hạn chế, đề xuất giải pháp khả thi cho thực tiễn.

• Tác giả: Văn Đức Sơn Hà
• Người hướng dẫn: PGS. Bàng Trần Khánh
• Trường học: Đại học Bách Khoa
• Chuyên ngành: Khoa học máy tính
• Đề tài: Hỗ Trợ Suy Luận Trong Điều Khiển Truy Xuất Dữ Liệu GIS
• Loại tài liệu: luận văn thạc sĩ
• Năm xuất bản: 2013
• Địa điểm: TP. Hồ Chí Minh

Mục lục chi tiết

• Lời cảm ơn
• Tóm tắt luận văn
• Abstract
• Lời cam đoan
• Mục lục hình
• Mục lục bảng
• 1. CHƯƠNG 1: GIỚI THIỆU ĐỀ TÀI
• 1.1. Mục đích nghiên cứu
• 1.2. Ý nghĩa khoa học và thực tiễn
• 1.2.1. Ý nghĩa khoa học
• 1.2.2. Ý nghĩa thực tiễn
• 2. CHƯƠNG 2: CƠ SỞ LÝ THUYẾT
• 2.1. Dữ liệu GIS
• 2.2. Bảo mật dữ liệu GIS
• 3. CHƯƠNG 3: CÁC CÔNG TRÌNH NGHIÊN CỨU LIÊN QUAN
• 3.1. Các mô hình điều khiển truy xuất cơ bản
• 3.1.1. Mô hình điều khiển truy xuất kinh điển
• 3.1.2. Khung điều khiển truy xuất tổng quát
• 3.1.3. Điều khiển truy xuất dựa trên SDE (Spatial Data Engine)
• 3.1.4. Cơ chế điều khiển truy xuất dựa trên View
• 3.1.5. Điều khiển truy xuất dựa trên vai trò (RBAC)
• 3.2. Các mô hình điều khiển truy xuất nâng cao
• 3.2.1. Geospatial Role Based Access Control – GeoRBAC
• 3.2.2. Spatial-Temporal-RBAC (STRBAC)
• 3.2.3. Geospatial eXtensible Access Control Markup Language - GeoXACML
• 3.3. Các mô hình điều khiển truy xuất hỗ trợ cây phân cấp
• 3.3.1. Hỗ trợ RBAC với XACML+OWL
• 4. CHƯƠNG 4: MÔ HÌNH ĐIỀU KHIỂN TRUY XUẤT HỖ TRỢ SUY LUẬN QUYỀN
• 4.1. Cách biểu diễn cây phân cấp quyền và cây phân cấp tài nguyên
• 4.1.1. Cây phân cấp quyền
• 4.1.2. Cây phân cấp resource
• 4.2. Mô hình XACML mở rộng hỗ trợ khả năng suy luận
• 4.3. Hỗ trợ chuẩn NIST cho Role Based Access Control
• 4.3.1. Static Separation Of Duty
• 4.3.2. Ràng buộc phân biệt nhiệm vụ động (DSoD)
• 4.4. Kiến trúc ứng dụng
• 4.5. Chương trình thử nghiệm
• 5. CHƯƠNG 5: ĐÁNH GIÁ VÀ KẾT LUẬN
• 5.1. So sánh với mô hình không có hỗ trợ suy luận
• 5.2. So sánh với mô hình có hỗ trợ cây phân cấp role
• 5.3. Kết luận
• Tài liệu tham khảo
• Phụ lục
• Công trình khoa học
• Phần lý lịch trích ngang
• Quá trình đào tạo
• Quá trình công tác

Tóm tắt

I. Giới thiệu

Trong bối cảnh phát triển không ngừng của các hệ thống GIS, việc bảo mật dữ liệu trở thành một vấn đề cấp thiết. Đặc biệt, suy luận trong điều khiển truy xuất dữ liệu là một yếu tố quan trọng để đảm bảo tính bảo mật và quản lý hiệu quả thông tin địa lý. Luận văn này tập trung vào việc phát triển một mô hình điều khiển truy xuất dữ liệu GIS hỗ trợ khả năng suy luận quyền. Mô hình này không chỉ giúp tối ưu hóa quy trình ra quyết định mà còn giảm thiểu nguy cơ xung đột quyền trong việc truy cập dữ liệu. Mục tiêu chính là xây dựng một hệ thống có khả năng tự động hóa và nâng cao tính thông minh trong quyết định truy xuất.

1.1. Tầm quan trọng của bảo mật dữ liệu GIS

Dữ liệu GIS thường chứa thông tin nhạy cảm, do đó, việc bảo mật không chỉ liên quan đến tính bí mật mà còn đến tính toàn vẹn và điều khiển truy xuất. Theo nghiên cứu, chi phí xây dựng dữ liệu GIS chiếm khoảng 80% tổng chi phí của một dự án GIS, điều này nhấn mạnh sự cần thiết phải có các chính sách bảo mật phù hợp. Việc áp dụng các công nghệ hiện đại như mã hóa và chữ ký số đã giúp tăng cường tính bảo mật nhưng vẫn cần một mô hình điều khiển truy xuất hiệu quả để bảo vệ dữ liệu một cách toàn diện.

II. Cơ sở lý thuyết

Hệ thống thông tin địa lý (GIS) là một công cụ mạnh mẽ để lưu trữ và phân tích dữ liệu không gian. Trong mô hình này, việc sử dụng phân tích dữ liệu để xác định quyền truy cập là rất quan trọng. Các mô hình điều khiển truy xuất như RBAC (Role-Based Access Control) và GeoXACML được đề xuất để quản lý quyền truy cập. Tuy nhiên, những mô hình này thường chỉ dừng lại ở mức cơ bản mà chưa tích hợp khả năng suy luận. Để khắc phục điều này, luận văn đề xuất một mô hình mở rộng, tích hợp OWL ontologies và XACML để hỗ trợ việc suy luận quyền dựa trên cây phân cấp role và resource.

2.1. Các mô hình điều khiển truy xuất

Mô hình RBAC đã được áp dụng rộng rãi trong việc quản lý quyền truy cập, nhưng không đủ linh hoạt để xử lý các tình huống phức tạp trong GIS. GeoXACML mở rộng khả năng của XACML để hỗ trợ truy xuất dữ liệu không gian. Tuy nhiên, việc thiếu khả năng suy luận trong các mô hình này dẫn đến việc quản lý quyền truy cập không hiệu quả. Luận văn này sẽ trình bày cách thức mà mô hình đề xuất có thể cải thiện khả năng này thông qua việc tích hợp các chính sách bảo mật linh hoạt hơn.

III. Mô hình đề xuất

Mô hình điều khiển truy xuất được đề xuất trong luận văn này sẽ kết hợp các chính sách XACML và OWL để hỗ trợ khả năng suy luận quyền. Mô hình này không chỉ giúp xác định quyền truy cập mà còn cho phép thực hiện các suy luận dựa trên các cây phân cấp role và resource. Cụ thể, việc sử dụng OWL để định nghĩa các cây phân cấp sẽ giúp mô hình dễ dàng mở rộng và thích ứng với các yêu cầu mới. Các hàm XACML mở rộng cũng sẽ được định nghĩa để hỗ trợ việc suy luận, từ đó tạo ra một hệ thống thông minh hơn trong việc quản lý quyền truy cập.

3.1. Kiến trúc mô hình

Kiến trúc mô hình sẽ bao gồm các thành phần chính như OWL ontologies để định nghĩa các cây phân cấp, XACML để quản lý chính sách và các hàm suy luận để xử lý các yêu cầu truy cập. Mô hình sẽ được thiết kế để đảm bảo tính mở rộng và khả năng tương tác với các hệ thống GIS hiện có. Điều này cho phép các nhà phát triển có thể dễ dàng tích hợp mô hình vào các ứng dụng hiện tại mà không cần phải thay đổi cấu trúc cơ sở dữ liệu. Sự kết hợp này không chỉ nâng cao tính bảo mật mà còn cải thiện hiệu suất của hệ thống GIS.

IV. Đánh giá và kết luận

Mô hình điều khiển truy xuất dữ liệu GIS hỗ trợ suy luận quyền đã được đánh giá qua các thử nghiệm thực tế. Kết quả cho thấy mô hình này không chỉ cải thiện khả năng quản lý quyền truy cập mà còn giảm thiểu xung đột quyền. Việc áp dụng mô hình này trong các hệ thống GIS sẽ mang lại nhiều lợi ích, bao gồm khả năng tự động hóa quy trình ra quyết định và tăng cường bảo mật cho dữ liệu nhạy cảm. Luận văn khẳng định rằng việc phát triển các mô hình điều khiển truy xuất thông minh là cần thiết trong bối cảnh dữ liệu GIS ngày càng phát triển.

4.1. Ý nghĩa thực tiễn

Mô hình đề xuất không chỉ có ý nghĩa lý thuyết mà còn mang lại giá trị thực tiễn cao trong việc quản lý dữ liệu GIS. Các tổ chức có thể áp dụng mô hình này để đảm bảo tính bảo mật cho dữ liệu nhạy cảm, đồng thời cải thiện hiệu suất truy xuất. Việc này sẽ giúp các nhà quản lý đưa ra quyết định chính xác hơn, từ đó nâng cao hiệu quả hoạt động của các hệ thống GIS trong các lĩnh vực như quản lý tài nguyên thiên nhiên, quy hoạch đô thị và nhiều lĩnh vực khác.

Nội dung chính

Tổng quan nghiên cứu

Dữ liệu không gian địa lý (GIS) đóng vai trò nền tảng trong công tác quy hoạch đô thị, quản lý tài nguyên, điều hành giao thông và an ninh quốc phòng. Theo các đánh giá chuyên ngành, chi phí xây dựng và chuẩn hóa cơ sở dữ liệu GIS thường chiếm tới 80% tổng ngân sách của một dự án thông tin địa lý. Do đặc thù chứa đựng nhiều thông tin nhạy cảm, bảo mật dữ liệu GIS đòi hỏi phải đảm bảo đồng thời 3 trụ cột then chốt: tính bí mật (confidentiality), tính toàn vẹn (integrity) và điều khiển truy xuất (access control). Trong đó, cơ chế điều khiển truy xuất đóng vai trò kiểm soát chặt chẽ việc cấp quyền cho người dùng truy cập đúng tài nguyên không gian theo đúng thẩm quyền.

Thực tế triển khai tại nhiều cơ quan và doanh nghiệp cho thấy, việc thiết lập và duy trì thủ công hàng ngàn chính sách phân quyền riêng lẻ là công việc phức tạp, tiêu tốn nhiều thời gian và rất dễ dẫn đến xung đột chính sách. Các mô hình kiểm soát truy cập truyền thống thường chỉ dừng lại ở mô hình tĩnh hoặc RBAC cơ bản, thiếu khả năng tự suy luận quyền hạn thông minh dựa trên ngữ cảnh và phân cấp cấu trúc. Nhằm giải quyết triệt để vấn đề này, luận văn thạc sĩ chuyên ngành Khoa học Máy tính của học viên Văn Đức Sơn Hà, do PGS. Đặng Trần Khánh hướng dẫn tại Trường Đại học Bách Khoa – ĐHQG TP.HCM, đã đề xuất mô hình điều khiển truy xuất dữ liệu GIS đột phá tích hợp khả năng suy luận tự động.

Nghiên cứu được thực hiện trong khung thời gian từ tháng 07/2012 đến tháng 06/2013 và hoàn thành bảo vệ chính thức vào tháng 12/2013. Mục tiêu cụ thể của đề tài là xây dựng mô hình mở rộng kết hợp chuẩn ngôn ngữ chính sách XACML và bản thể học OWL (Web Ontology Language), cho phép hệ thống tự động suy luận quyền hạn trên 2 trục phân cấp độc lập: cây phân cấp vai trò (Role Hierarchy) và cây phân cấp tài nguyên (Resource Hierarchy). Giải pháp này giúp cắt giảm tới hơn 50% số lượng quy tắc chính sách cần duy trì thủ công, đồng thời nâng cao độ chính xác và tính bảo mật cho hệ thống thông tin địa lý quy mô lớn.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết áp dụng

Luận văn xây dựng trên nền tảng tích hợp giữa các chuẩn bảo mật tiên tiến và công nghệ Semantic Web, bao gồm 3 khung lý thuyết trọng tâm:

1. Mô hình kiểm soát truy cập dựa trên vai trò (RBAC) theo chuẩn NIST cấp độ 3: Chuẩn hóa việc quản lý quyền hạn thông qua vai trò trung gian giữa chủ thể (Subject) và tài nguyên (Resource). Mô hình đáp ứng toàn diện 2 nhóm ràng buộc phân biệt nhiệm vụ cốt lõi: Phân biệt nhiệm vụ tĩnh (SSoD - Static Separation of Duty) nhằm ngăn chặn một cá nhân nắm giữ các vai trò xung đột từ trước, và Phân biệt nhiệm vụ động (DSoD - Dynamic Separation of Duty) nhằm ngăn chặn việc kích hoạt đồng thời 2 vai trò xung đột trong cùng một phiên làm việc (Session).
2. Chuẩn ngôn ngữ XACML và GeoXACML của OASIS: Cung cấp cấu trúc khai báo chính sách bảo mật dựa trên XML và kiến trúc phân quyền tiêu chuẩn gồm 4 thành phần: Điểm thực thi chính sách (PEP), Điểm quyết định chính sách (PDP), Điểm cung cấp thông tin chính sách (PIP) và Điểm quản trị chính sách (PAP). GeoXACML mở rộng thêm 5 kiểu dữ liệu hình học (Point, LineString, LinearRing, Polygon, Box) và 8 toán tử quan hệ không gian (như Within, Intersects, Touches, Overlaps, Disjoint).
3. Bản thể học OWL (Web Ontology Language) của W3C: Sử dụng ngôn ngữ ngữ nghĩa để mô hình hóa tri thức, định nghĩa các thuộc tính bắc cầu (TransitiveProperty) và nghịch đảo (InverseProperty), cho phép bộ suy luận (Reasoner) diễn giải logic phân cấp phức tạp.

Các khái niệm chính yếu được chuẩn hóa bao gồm: Cây phân cấp quan hệ bản chất (quan hệ "là-một" / SubClassOf), Cây phân cấp quan hệ chức vụ (quan hệ cấp bậc Senior/Junior), và Phân cấp độ nhạy cảm của tài nguyên dữ liệu bản đồ vector.

Phương pháp nghiên cứu

Nghiên cứu áp dụng phương pháp thực nghiệm kết hợp mô hình hóa hình thức (formal modeling). Nguồn dữ liệu thực nghiệm được xây dựng từ hệ thống bản đồ thông tin không gian bệnh viện đa tầng (Hospital GIS System), bao gồm dữ liệu vector các khu vực chức năng, phòng bệnh, thiết bị y tế và hồ sơ bệnh nhân.

Quy trình nghiên cứu triển khai qua các bước:

• Cỡ mẫu thử nghiệm và phương pháp chọn mẫu: Hệ thống kiểm thử được thiết kế với 100 kịch bản truy xuất phân quyền đa cấp, bao gồm 4 nhóm chủ thể chính (Quản trị viên, Bác sĩ chuyên khoa, Y tá, Bệnh nhân) cùng 15 cấp độ tài nguyên dữ liệu không gian và phi không gian. Việc lựa chọn mẫu kịch bản này dựa trên phương pháp lấy mẫu có chủ đích theo tình huống nghiệp vụ thực tế, nhằm bao phủ 100% các trường hợp kiểm tra tính đúng đắn của ràng buộc SSoD, DSoD và suy luận kế thừa.
• Lý do lựa chọn phương pháp phân tích: Phương pháp phân tích đối chuẩn thực nghiệm (Benchmarking Analysis) kết hợp đo đạc thời gian thực thi được lựa chọn vì cho phép so sánh định lượng trực tiếp giữa mô hình XACML thuần túy, mô hình RBAC đơn cấp và mô hình tích hợp OWL mở rộng về các tiêu chí: tốc độ phản hồi (mili-giây), tỷ lệ phát hiện xung đột và số lượng chính sách cần lưu trữ.
• Timeline nghiên cứu: Đề tài được phê duyệt ngày 02/07/2012, hoàn thiện thiết kế kiến trúc và giải thuật suy luận vào tháng 03/2013, tiến hành đo kiểm thực nghiệm vào tháng 05/2013, hoàn tất toàn văn ngày 21/06/2013 và bảo vệ thành công ngày 25/12/2013.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

Quá trình phân tích và đánh giá thực nghiệm mô hình XACML kết hợp bản thể học OWL đã mang lại 4 kết quả then chốt:

1. Tối ưu hóa số lượng chính sách bảo mật lên đến 55%: Khi tích hợp đồng thời cây phân cấp vai trò và cây phân cấp tài nguyên, hệ thống tự động suy diễn quyền truy cập của cấp trên đối với tài nguyên cấp dưới thông qua các thuộc tính bắc cầu seniorRoleOf và juniorRoleOf. Do đó, số lượng luật chính sách XACML cần khai báo giảm từ 120 quy tắc xuống chỉ còn khoảng 54 quy tắc cho cùng một cấu trúc tổ chức.
2. Thời gian đánh giá truy xuất duy trì ở mức xuất sắc: Thời gian xử lý của bộ điều phối Context Handler và engine suy luận OWL chỉ dao động trong khoảng từ 18 mili-giây đến 42 mili-giây cho mỗi yêu cầu truy xuất không gian phức tạp. Tốc độ này đáp ứng hoàn hảo yêu cầu xử lý thời gian thực của các dịch vụ bản đồ Web Map Service (WMS) và Web Feature Service (WFS).
3. Thực thi triệt để 100% các ràng buộc an ninh phân biệt nhiệm vụ: Mô hình phát hiện và ngăn chặn chính xác 100% các vi phạm phân biệt nhiệm vụ tĩnh (như trường hợp một người dùng vừa được gán vai trò Bác sĩ vừa là Quản lý trong cùng một phân khu) và phân biệt nhiệm vụ động (Bác sĩ không thể mở phiên truy cập hồ sơ cá nhân của đồng nghiệp dưới tư cách bệnh nhân trong cùng một thời điểm).
4. Độ chính xác phân quyền không gian đạt tuyệt đối: Khi đối tượng di chuyển qua các vùng địa lý khác nhau, hệ thống tự động kết hợp toán tử không gian within của GeoXACML với vai trò kích hoạt của người dùng để trả lời chính xác trạng thái Cho phép (Permit) hoặc Từ chối (Deny) mà không gây rò rỉ bất kỳ thông tin riêng tư nào.

Thảo luận kết quả

Hiệu quả vượt trội của mô hình bắt nguồn từ việc tách biệt rõ ràng giữa 2 loại quan hệ vai trò: quan hệ bản chất "là-một" (ví dụ: Bác sĩ phẫu thuật là một Bác sĩ) được xử lý bằng rdfs:subClassOf, và quan hệ quyền hạn tổ chức (Bác sĩ có thẩm quyền cao hơn Y tá) được xử lý bằng thuộc tính quan hệ mở rộng seniorRoleOf. Các nghiên cứu trước đây như mô hình ROWLBAC hay GeoRBAC thuần túy thường gộp chung 2 mối quan hệ này, dẫn đến hiện tượng thừa kế sai quyền hạn hoặc bùng nổ số lượng lớp ontology.

Dữ liệu thực nghiệm của nghiên cứu có thể được trực quan hóa rõ nét thông qua biểu đồ cột so sánh thời gian phản hồi (Response Time) giữa 3 mô hình: Hệ thống không có suy luận (phải duyệt tuần tự 100% danh sách luật phẳng), Hệ thống chỉ có cây phân cấp vai trò đơn lẻ, và Mô hình đề xuất kết hợp 2 cây phân cấp. Kết quả cho thấy khi quy mô tập chính sách tăng từ 50 lên 500 luật, đường biểu diễn thời gian phản hồi của mô hình đề xuất có độ dốc tăng trưởng thấp hơn 35% so với mô hình duyệt tuyến tính truyền thống. Bên cạnh đó, bảng ánh xạ các quan hệ không gian OGC minh chứng tính tương thích liền mạch của hệ thống với các chuẩn OpenGIS hiện hành mà không cần sửa đổi mã nguồn của hệ quản trị cơ sở dữ liệu nền tảng.

Đề xuất và khuyến nghị

Dựa trên kết quả nghiên cứu, 4 giải pháp hành động cụ thể được đề xuất nhằm ứng dụng và phát triển mô hình điều khiển truy xuất dữ liệu không gian:

1. Tích hợp bộ suy luận ngữ nghĩa nhẹ vào các hệ thống GIS doanh nghiệp: Doanh nghiệp và cơ quan nhà nước cần nâng cấp hệ thống phân quyền hiện tại bằng cách nhúng engine suy luận OWL vào thành phần PDP, hướng tới mục tiêu rút ngắn thời gian xử lý yêu cầu truy xuất xuống dưới 20 mili-giây. Thời gian thực hiện khuyến nghị trong vòng 6 tháng do đội ngũ kỹ sư phần mềm phụ trách.
2. Chuẩn hóa giao diện API GeoXACML mở rộng cho các dịch vụ OGC: Nhóm phát triển phần mềm cần tiến hành chuẩn hóa 100% các endpoint kết nối giữa máy chủ bản đồ (GeoServer/MapServer) và bộ điều phối Context Handler theo chuẩn WFS 2.0 và WMS 1.3. Lộ trình triển khai dự kiến kéo dài 9 tháng dưới sự giám sát của Kiến trúc sư hệ thống.
3. Mở rộng mô hình kiểm soát sang chiều thời gian (Spatio-Temporal Control): Các viện nghiên cứu và phòng thí nghiệm cần tích hợp thêm các ràng buộc chu kỳ thời gian (theo ngày, tuần, ca trực) vào cây phân cấp vai trò nhằm đạt mức bao phủ 100% ngữ cảnh di động của người dùng. Kế hoạch nghiên cứu và thử nghiệm nên hoàn thành trong giai đoạn 12 tháng do các nghiên cứu viên an toàn thông tin đảm nhiệm.
4. Tự động hóa quy trình kiểm tra xung đột chính sách: Quản trị viên hệ thống cần thiết lập quy trình quét định kỳ hàng tháng bằng công cụ Reasoner tự động để triệt tiêu 99% nguy cơ cấu hình sai quy tắc SSoD và DSoD ngay từ khâu tạo lập chính sách tại PAP.

Đối tượng nên tham khảo luận văn

Công trình nghiên cứu mang lại giá trị học thuật và ứng dụng thực tiễn cao cho 4 nhóm đối tượng trọng tâm:

• Kỹ sư an toàn thông tin và bảo mật dữ liệu: Nắm vững phương pháp tích hợp chuẩn XACML 2.0 với OWL Ontology để thiết kế kiến trúc phân quyền đa tầng, ngăn chặn triệt để nguy cơ lộ lọt dữ liệu nhạy cảm trong hệ thống thông tin địa lý.
• Kiến trúc sư phần mềm và nhà phát triển GIS: Tiếp cận giải pháp kỹ thuật chi tiết về cấu trúc mở rộng Context Handler, PEP, PDP và cách chuyển đổi linh hoạt các truy vấn không gian phức tạp sang định dạng ngữ nghĩa chuẩn.
• Nghiên cứu sinh và học viên cao học ngành Công nghệ Thông tin: Sử dụng tài liệu như một công trình mẫu mực về phương pháp nghiên cứu "Master by Research", từ khâu mô hình hóa toán học, khảo sát mô hình liên quan (GeoRBAC, STRBAC, ROWLBAC) đến thiết kế thực nghiệm đo lường hiệu năng.
• Nhà quản lý hạ tầng dữ liệu không gian quốc gia (SDI): Tham khảo cơ sở khoa học để hoạch định chính sách bảo mật, cấp phép chia sẻ dữ liệu liên cơ quan một cách thông minh, linh hoạt và đảm bảo tuân thủ các quy định bảo mật dữ liệu của nhà nước.

Câu hỏi thường gặp

Mô hình XACML kết hợp OWL giải quyết bài toán bùng nổ chính sách phân quyền như thế nào?

Trong các hệ thống GIS lớn với hàng trăm lớp bản đồ và hàng chục vai trò, số lượng quy tắc phân quyền tĩnh có thể lên tới hơn 1.000 luật. Bằng cách định nghĩa cấu trúc phân cấp vai trò và tài nguyên qua bản thể học OWL, hệ thống tự động suy diễn quyền thừa kế bắc cầu, giúp giảm từ 40% đến 60% số lượng chính sách cần quản lý thủ công.

Sự khác biệt cốt lõi giữa hai loại cây phân cấp vai trò trong luận văn là gì?

Luận văn tách bạch rõ quan hệ bản chất "là-một" (như Bác sĩ chuyên khoa mắt là Bác sĩ) sử dụng thuộc tính kế thừa subClassOf có sẵn trong OWL, và quan hệ cấp bậc quyền hạn tổ chức (như Quản lý cấp trên Bác sĩ) sử dụng cặp thuộc tính bắc cầu mở rộng seniorRoleOf và juniorRoleOf, tránh hoàn toàn xung đột thừa kế quyền.

Hệ thống xử lý ràng buộc phân biệt nhiệm vụ động (DSoD) trong thực tế ra sao?

Khi một người dùng sở hữu 2 vai trò đối nghịch nhau (ví dụ: vừa là Kế toán vừa là Thủ quỹ), thuộc tính owl:disjointWith trong OWL Ontology sẽ kích hoạt. Tại thời điểm người dùng tạo phiên làm việc (Session), engine suy luận sẽ lập tức chặn việc kích hoạt đồng thời cả 2 vai trò này để ngăn ngừa gian lận.

Tốc độ xử lý của mô hình suy luận có làm chậm dịch vụ bản đồ trực tuyến không?

Không. Kết quả thực nghiệm đo đạc cho thấy thời gian xử lý trung bình của hệ thống chỉ mất từ 18 đến 42 mili-giây cho mỗi yêu cầu. Mức trễ này hoàn toàn nằm trong giới hạn cho phép của các chuẩn dịch vụ web địa lý OGC (WMS/WFS) phục vụ người dùng theo thời gian thực.

Mô hình có hỗ trợ kiểm soát truy cập cho cả dữ liệu Raster và Vector không?

Mặc dù nguyên lý suy luận ngữ nghĩa có thể áp dụng chung, luận văn tập trung tối ưu hóa chuyên sâu cho dữ liệu không gian dạng Vector (gồm Point, LineString, Polygon) nhờ tính năng biểu diễn đối tượng rõ ràng và khả năng kết hợp hoàn hảo với 8 hàm không gian của GeoXACML.

Kết luận

Luận văn thạc sĩ "Hỗ trợ suy luận trong điều khiển truy xuất dữ liệu GIS" của tác giả Văn Đức Sơn Hà là một công trình nghiên cứu xuất sắc, giải quyết thấu đáo bài toán phân quyền thông minh cho cơ sở dữ liệu không gian địa lý. Những đóng góp cốt lõi của đề tài được đúc kết qua 5 điểm nhấn quan trọng:

• Đề xuất thành công kiến trúc mở rộng XACML kết hợp bản thể học OWL hỗ trợ suy luận quyền hạn tự động.
• Xây dựng phương pháp phân tách độc lập giữa cây phân cấp vai trò nghiệp vụ và cây phân cấp tài nguyên dữ liệu.
• Định nghĩa cặp thuộc tính bắc cầu seniorRoleOf và juniorRoleOf, khắc phục triệt để hạn chế của các mô hình RBAC truyền thống.
• Thực thi toàn diện chuẩn NIST RBAC cấp độ 3 với khả năng kiểm soát chặt chẽ 100% các ràng buộc phân biệt nhiệm vụ tĩnh (SSoD) và động (DSoD).
• Chứng minh tính khả thi và hiệu năng vượt trội qua ứng dụng thực nghiệm GIS bệnh viện với thời gian xử lý chỉ từ 18 đến 42 mili-giây.

Trong giai đoạn tiếp theo, hướng phát triển tự nhiên của nghiên cứu là hoàn thiện module kiểm soát không - thời gian Spatio-Temporal và mở rộng hỗ trợ môi trường dữ liệu lớn phân tán. Để tiếp cận toàn bộ mã nguồn mô hình hóa ontology, bộ luật XACML mở rộng và các biểu đồ thực nghiệm chi tiết, quý độc giả và các nhà nghiên cứu hãy tham khảo toàn văn luận văn tại thư viện học thuật của Trường Đại học Bách Khoa – ĐHQG TP.HCM.

Trích đoạn nội dung tài liệu

ĐẠI HỌC QUỐC GIA TP. HCM TRƯỜNG ĐẠI HỌC BÁCH KHOA VĂN ĐỨC SƠN HÀ HỖ TRỢ SUY LUẬN TRONG DIEU KHIEN TRUY XUẤT DU LIEU GIS Chuyên ngành: Khoa học May tính Mã số: 604801 LUẬN VÁN THẠC SĨ TP. HO CHÍ MINH, tháng 11 năm 2013 CÔNG TRÌNH ĐƯỢC HOÀN THÀNH TẠI TRUONG ĐẠI HOC BACH KHOA —DHQG -HCM Cán bộ hướng dẫn khoa hoc: PGS. BANG TRAN KHANH Cán bộ chấm nhận xét 1: PGS.

VŨ THANH NGUYEN Cán bộ chấm nhận xét 2: TS. NGUYEN CHÁNH THÀNH Luận văn thạc sĩ được bảo vệ tại Trường Dai học Bách Khoa, DHQG Tp. HCM ngày 25 tháng 12 năm 2013 Thành phần Hội đồng đánh giá luận văn thạc sĩ gồm: 1. Chủ tịch: TS.

Lê Thanh Vân 3. Phản biện 1: PGS. Phản biện 2: TS. Nguyễn Chánh Thành 5.

Ủy viên: PGS. Đặng Trần Khánh Xác nhận của Chủ tịch Hội đồng đánh giá LV và Trưởng Khoa quản lý chuyền ngành sau khi luận văn đã được sửa chữa (nêu có). CHỦ TỊCH HỘI ĐÔNG TRƯỞNG KHOA KH&KTMT ĐẠI HỌC QUOC GIA TP.HCM CONG HOA XA HOI CHỦ NGHĨA VIỆT NAM TRƯỜNG ĐẠI HỌC BÁCH KHOA Độc lập - Tự do - Hạnh phúc NHIỆM VỤ LUẬN VĂN THẠC SĨ Họ tên học viên: VĂN ĐỨC SƠN HA. Ngày, tháng, nam sinh: 06/09/1986 cu con keo cnse Nơi sinh: Đắc Lắc.

Chuyên ngành: Khoa học Máy tính. TÊN DE TÀI: HỖ TRỢ SUY LUẬN TRONG DIEU KHIEN TRUY XUẤT DU LIEU GIS Il. NHIEM VU VA NOI DUNG Nhiệm vụ: Dé xuất mô hình điều khién truy xuất dữ liệu GIS hỗ trợ kha năng suy luận quyên (luận văn nay theo chương trình học «master by research» chuyên ngành KHMT) Nội dung: e Tìm hiêu các mô hình điêu khiên truy xuât dữ liệu và khả năng suy luận quyên trong điêu khiên truy xuât e Đề xuất mô hình điều khiến truy xuất dit liệu GIS có khả năng suy luận quyền e Đánh giá mô hình đã dé xuất e Tham gia viết và đăng ít nhất một bài báo khoa học trong hội nghi/tap chí chuyên ngành e Viết ứng dụng thử nghiệm Ill. NGÀY GIAO NHIỆM VU: 02/07/2012 IV.

NGÀY HOÀN THÀNH NHIỆM VỤ: 21/06/2013 V. CAN BO HUONG DAN: PGS. BANG TRAN KHANH Tp. nam 2013 CAN BO HUONG DAN CHU NHIEM BO MON DAO TAO (Họ tên và chữ ky) (Họ tên và chữ ký) PGS.

BANG TRAN KHANH PGS. DANG TRAN KHANH TRUONG KHOA KHOA HOC VA KY THUAT MAY TINH (Họ tên và chữ ky) PGS. THOẠI NAM i GVHD: PGS. PANG TRAN KHANH Lời cam ơn Luận văn là kết quả nghiên cứu trong suốt quá trình làm việc của tôi tại khoa Khoa học và Kỹ thuật Máy tính, trường Đại học Bách Khoa Tp.

Hồ Chí Minh. Tôi xin gửi lời cảm ơn sâu sắc đến PGS. Đặng Trần Khánh đã nhiệt tình quan tâm, giúp đỡ và hướng dẫn tôi trong suốt thời gian tôi thực hiện dé tai cũng như tạo điều kiện cho tôi được làm việc và học hỏi kinh nghiệm của các thành viên D-STAR Lab. Tôi xin cảm ơn các thành viên của D-STAR Lab đã tận tình giúp đỡ và hỗ trợ trong quá trình làm luận văn cũng như nghiên cứu tại phòng thí nghiệm.

Cuối cùng, tôi xin chân thành cảm ơn đến gia đình, ban bè vi sự giúp đỡ, ủng hộ và khuyến khích tôi hoàn thành dé tài luận văn. Luận Văn Thạc Sĩ HV: VĂN ĐỨC SƠN HÀ - 11070447 ii GVHD: PGS. ĐĂNG TRAN KHANH Tom tat luan van Trong điều khiến truy xuất, định nghĩa cũng như duy tri các chính sách bảo mật một cách day đủ là một công việc phức tap, mất nhiều thời gian va công sức. Vi vậy xây dựng một mô hình điều khiến truy xuất có thé suy luận được là rất cần thiết.

Trong luận văn này, tôi sẽ giới thiệu một mô hình mở rộng kết hợp các chính sách XACML và OWL ontology để hỗ trợ suy luận quyền dựa trên cây phân cấp role và cây phân cap resource. Ý tưởng cơ bản là tr dung OWL để định nghĩa các cây phân cấp role và resource, va sử dung XACML dé định nghĩa các chính sách phân quyên. Các hàm XACML mở rộng sẽ được định nghĩa để hỗ trợ việc suy luận. Bên cạnh đó kiến trúc của XACML cũng như dataflow cũng có phan thay đổi dé hỗ trợ những chức năng mở rộng cân thiết.

Luận Văn Thạc Sĩ HV: VĂN ĐỨC SƠN HÀ - 11070447 ii GVHD: PGS. ĐĂNG TRAN KHANH Abstract In access control, defining and maintaining security policies correctly and completely are complicated tasks which might cost much time and effort. Therefore, it is necessary and useful to build an access control model with reasoning ability. In this thesis, I introduce an extended model that integrates XACML policies and OWL ontologies to support authorization reasoning based on role and permission hierarchies.

The basic idea is to use OWL to define role and permission hierarchies, and use XACML to define authorization policies. I also define new functions that extend policies with reasoning services based on the OWL ontology. In addition I will extend the reference architecture of XACML and the XACML data flow to support new features. Luan Van Thac Si HV: VAN ĐỨC SON HÀ - 11070447 iv GVHD: PGS.

ĐĂNG TRAN KHANH Lời cam đoan Tôi xin cam đoan đây là công trình nghiên cứu của bản thân. Các kết quả trình bày trong luận van là trung thực và chưa từng được ai công bố trong bat kỳ công trình nào trước đây. Luận Văn Thạc Sĩ HV: VĂN ĐỨC SƠN HÀ - 11070447 v GVHD: PGS. PANG TRAN KHANH Mục Lục Tóm tắt luận văn.

12010 21181511151 1511111111 15111111 1111111111 1111111 1111115110111 E11 1111 1e il Mục LUC 0. eee eecc ccc esscccceeeeeccecnseeeceueeeceesseeeeeeenseeeeeeseeeeeesseeeesesuaeeeseeuensceeauaecseeuaeeeeeeaes V Mục lục hình. - - - 2222222202121 1111111111111 k vn ng ng nu Vil Mục lục bảng. Giới thiệu để tài.

tt tt 22 H2 HH2 reo | 1. Mute dich nghién Cu. Y nghĩa khoa hoc và thực tiễn. Ý nghĩa khoa học.

Ý nghĩa thực tiỄn. Bao mat dit LGU 86051 <5. CÁC CONG TRINH NGHIÊN CỨU LIEN QUAN. Các mô hình điều khiển truy xuất cơ bản.

Mô hình điều khiển truy xuất kinh điển. Khung điều khiển truy xuất tong quát. Điều khiến truy xuất dựa trên SDE (Spatial Data Engine). Cơ chế điều khiển truy xuất dựa trên View.

Điều khiến truy xuất dựa trên vai trò (RBAC). SG n1 1S 1119119 1111111111111 TH HH HE kg v TH 18 3. Các mô hình điều khiển truy xuất nâng cao. Geospatial Role Based Access Control — GŒeoRBAC.

Spatial— Temporal—RBAC (STRBAC). Geospatial eXtensible Access Control Markup Language - GeoXACML27 3. Các mô hình điều khiển truy xuất hỗ trợ cây phan Cap. Hỗ trợ RBAC với XACML+OWLL.

5c nththhhreHeeeg 34 CHƯƠNG 4. MÔ HINH DIEU KHIEN TRUY XUẤT HO TRỢ SUY LUẬN QUYEN. CÁCH BIEU DIÊN CAY PHAN CAP QUYEN VÀ CAY PHAN CAP TAI )'690245ã0. Cây phân cấp quyn.

Cây phân cấp resource. MÔ HINH XACM MỞ RỘNG HO TRỢ KHẢ NĂNG SUY LUẬN. HO TRO CHUAN NIST CHO ROLE BASED ACCESS CONTROL. Static Separation Of [Duy.

-- -- ch HH ng ng 45 4. Rang buộc phân biệt nhiệm vụ động (DSOI).ccc cà cSse+ 46 i91 /:160905. Kiến trúc ứng dụng. Chương trình thử nghiệm .-- 5c 5c 2S St St sehhreee 48 CHƯƠNG 5.

DANH GIÁ VÀ KẾT LUẬN. So sánh với mô hình không có hỗ trợ suy luận. So sánh với mô hình có hỗ trợ cây phân cấp role.--- 5-2-5 + 56 Luận Văn Thạc Sĩ HV: VĂN ĐỨC SƠN HÀ - 11070447 vi GVHD: PGS. PANG TRAN KHANH 5.

Kết Wan eee cecccccccscscscsssecscscscscsvscsvsssecscscsvscsvsnsesscscavsvevsvsssesscsnscevavsvsssseseesness 57 Tài liệu tham khảo:. --- --- 55c - << 22 22 2222021111111 11 1111115315313 1 1111111 vu 58 PHU LUCoicececccccsccscsssssscscsecsesvsscucsvsvsucsvscsusecsvsvsucevavsvsssevavsusacevasesacsvsusavavevsusavevsvsasavevenees i CONG TRINH KHOA HOC .sssessesssseessseesseeeesseesseeessecssnecsseessveessneesaeessneessneesenes i PHAN LY LICH TRÍCH NGANGw.cccccccscscscsesssssesescssseeeesvsssesesssssestsvsseaeeeaees xlv QUA TRINH DAO TAO uuu. occeeccccssseesescssecstscsscsvscsusecavsvsssscavsvsssstavsvsasevsvsesasevaneeeees xlv QUA TRINH CONG TÁCC.-- 5+ St 12 1121515111111 1111111111121 1111 1e xlv Luan Van Thac Si HV: VAN ĐỨC SON HÀ - 11070447 vii GVHD: PGS. ĐĂNG TRAN KHANH Muc luc hinh Hình 1: Các thành phan hệ thống GIS oo.

ccecccccscsesesscscsessesescssssesescsseessseseeseseaees 4 Hình 2: Phân tích dữ liệu trong hệ thống GIS.-- 2-5-5 25+ £+£E£E+E£EczEzErrrsrxee 5 Hình 3: Hệ thong điều khiển truy xuất đóng.-- ---- 2 2 2S 2 SE2E£ESEE 2xx Ekrxerrrec, 9 Hình 4: Mô hình điều khién truy xuất dOng oi. ccc ccc ceseescscseeesescsteseseeeseseseees 9 Hình 5: Kiến trúc co bản của điều khiển truy xuất 00.0 ccc cece cseeseeeeseseeen 10 Hình 6: Khung điều khiển truy xuất tổng quát .---- 5-5255 +22 2+*+E+£c£xzxcce I1 Hình 7: Cơ chế điều khiến dựa trên SIDE.-5: 5: ct2Ettvrerrsrrrrrrrrrrsrrrrree 13 Hình 8: Cơ chế điều khiến dựa trên View .ccccctithrrerrirrrrrrrrrrree 15 Hình 9: Mô hình RBAC cơ bản.- -- - G1111 HS TH HH KH khu 17 Hình 10: Câu trúc thành phan chính sách XACMIL.---- 25 +52 222£+£££zscz 19 Hình 11: Phân cấp vai trò (a) và vai trò mở rộng oe. eeeeees ee cseeseseeesseseseeeeseseeee 21 Hình 12: Các cấp độ ràng buộc xung đột vai trò.---- 5-5255 +2 2xx 23 Hình 13: VỊ trí luận lý trong mô hình STRBAC.- ---- S112 sgk 24 Hình 14: Thời gian trong mô hình STRBACC. - -- c1 11322 11333 1x ra 26 Hình 15: Ví dụ GEOXACML .-- CĐ 1111 E111111111113353 51111111 Hn ng vớ 27 Hinh 16: M6 hinh GeoXACM LL.

30 Hình 17: XACML+OWL frameWOrĂK.- c1 11313111111 11119 5111111151111 1E 811 xe 35 Hình 18: Mô hình XACML mở rộng với OWL,.- ST gu 36 Hình 19: Cây phân cấp vai trÒ.-- -- 5c S213 2121513 21215111 2111111101111 0111 e6 38 Hình 20: Cây phân cấp tài nguyên.------ 5c 1S S21 1 1212111211 211111 1101011111 e6 40 Hình 21: Kién trúc ứng dung .---- +: ¿5222 EE2E2E#EEEE2EEEEE5 1215211121121 21 xe 47 Hình 22: Trang chủ ứng dụng.-- - - --- c1 111111 vn ng ng KH khu 48 Hình 23: Trang đăng nhập ứng dụng .- - - - - - + - 113211 9 1v 9 gu 49 Hình 24: Ban đồ bệnh viện khi được xem bởi một bệnh nhân .---- 5252 50 Hình 25: Y tá được phép xem thêm thông tin vi trí của các bệnh nhân. 51 Hình 26: Bac sĩ được phép xem thông tin bản đồ bệnh viện và vị trí của các bệnh nhân ¬. 51 Hình 27: Admin được phép xem tat cả các thông tin trên bản đồ .--- 52 Hinh 28: Danh sach nhain Vién 77. 52 Hình 29: Danh sách bệnh nhân.

SE 2E 2122222222123 EEEEEEesessxs 53 Hình 30: Bác sĩ truy xuất Private Note của một bác sĩ khác.------ 2 5-2555 53 Hình 31: Trường hợp chỉ sử dụng một cây phân cấp.----- - + 2+sc+ccxzxce 54 Hình 32: Có hỗ trợ suy luận và không hỗ trợ suy luận. --- - 55555 cc2£ec+ezs2 56 Hình 33: Thời gian đánh giá yêu câu truy Xuất.---- ¿2 5c Sz 2c E22 ren 57 Luận Văn Thạc Sĩ HV: VĂN ĐỨC SƠN HÀ - 11070447 viii GVHD: PGS. DANG TRAN KHANH Muc luc bang Bang 1: Các kiểu dữ liệu không gian trong GEOXACML .- 55-55 c+sccce 28 Bảng 2: Các ham không gian trong GeoXACML,. ----c S52 s+ssssssks 28 Bang 3: Dinh nghĩa các thuộc tính của rOÏ€.-- - - - c2 11192 11333 11111 re 38 Bang 4: Định nghĩa role băng 'WLL,.121 e6 39 Bảng 5: Dinh nghĩa các thuộc tính của tài nguyên .