Tổng quan luận án

Luận án tiến sĩ với đề tài "Trực quan hóa trong bảo mật ứng dụng web" được thực hiện bởi nghiên cứu sinh Đặng Trần Trí, dưới sự hướng dẫn của PGS. TS. Đặng Trần Khánh và GS. TS. Josef Küng, thuộc chuyên ngành Khoa học Máy tính (Mã số chuyên ngành: 62480101) tại Trường Đại học Bách khoa – Đại học Quốc gia Thành phố Hồ Chí Minh (năm 2020). Hội đồng đánh giá luận án bao gồm các nhà khoa học: PGS. Nguyễn Tuấn Đăng và TS. Phạm Thị Bạch Huệ (Phản biện độc lập); PGS. Vũ Thanh Nguyên, PGS. Trần Ngọc Thịnh, TS. Đặng Trường Sơn (Phản biện).

Tính cấp thiết và khoảng trống nghiên cứu

Ứng dụng web hiện nay là nền tảng phổ biến hàng đầu trong phát triển và triển khai phần mềm phục vụ đời sống xã hội, giải quyết triệt để bài toán phân phối và bảo trì phần mềm tập trung. Thống kê của công ty Netcraft (tháng 2/2018) ghi nhận hơn 1,8 tỷ website trên toàn cầu với các phần mềm máy chủ web chiếm ưu thế như Microsoft, Apache, nginx và Google. Tuy nhiên, sự phổ biến này cũng biến ứng dụng web thành đích tấn công chính trên Internet. Báo cáo của công ty bảo mật Acunetix cho thấy 55% ứng dụng web được kiểm tra chứa các lỗi nghiêm trọng như Cross-Site Scripting (XSS) và SQL Injection; 84% chứa ít nhất một lỗi bảo mật từ mức trung bình trở lên (như Cross-Site Request Forgery - CSRF); và gần 8% chứa lỗi bảo mật ở mức độ nghiêm trọng cao.

Thực tiễn bảo mật ứng dụng web gặp phải hai khó khăn đặc thù:

  1. Ứng dụng web được thiết kế để truy xuất rộng rãi từ bên ngoài mạng nội bộ, làm gia tăng nguy cơ tiếp cận từ các đối tượng tấn công.
  2. Trình độ, kỹ năng và tài nguyên của các nhóm phát triển ứng dụng web rất đa dạng, dẫn đến chất lượng an toàn thông tin phân tán và không đồng đều.

Khoảng trống nghiên cứu được tác giả xác định là: phần lớn các nghiên cứu hiện hành tập trung vào hướng tiếp cận tự động hóa bảo mật (Automating security processes), tách rời vai trò của nhà quản trị ra khỏi các tác vụ kiểm soát. Trong khi đó, hướng tiếp cận bảo mật dựa trên con người lại chưa được nghiên cứu đầy đủ do đòi hỏi nhiều thời gian, công sức và mang tính chủ quan. Đáng chú ý, các khảo sát học thuật quốc tế chỉ ra rằng trong toàn bộ hệ thống web (máy chủ web, trình duyệt web, ứng dụng web), ứng dụng web là thành phần chịu nhiều lỗ hổng nhất nhưng lại có ít nghiên cứu ứng dụng trực quan hóa thông tin nhất. Luận án lựa chọn giải quyết khoảng trống này bằng cách kết hợp sức mạnh tính toán của máy tính và năng lực suy luận của con người thông qua trực quan hóa thông tin và tương tác người dùng.

Mục tiêu nghiên cứu

Luận án xác định hệ thống mục tiêu nghiên cứu cụ thể như sau:

  • Mục tiêu tổng quát: Đề xuất và phát triển các nguyên lý và giải pháp hỗ trợ nhà quản trị trong bảo mật ứng dụng web.
  • Mục tiêu cụ thể 1: Xây dựng mô hình lý thuyết cho quy trình bảo mật ứng dụng web dựa trên trực quan hóa thông tin và tương tác người dùng.
  • Mục tiêu cụ thể 2: Phát triển một hệ thống phân loại các kỹ thuật bảo mật ứng dụng web dựa trên trực quan hóa thông tin và tương tác người dùng.
  • Mục tiêu cụ thể 3: Thiết kế, hiện thực, và đánh giá một số kỹ thuật trực quan hóa thông tin để bảo mật ứng dụng web, dựa trên mô hình lý thuyết đề xuất trong Mục tiêu cụ thể 1 và hệ thống phân loại đề xuất trong Mục tiêu cụ thể 2.

Đối tượng và phạm vi nghiên cứu

  • Đối tượng bảo mật: Tập trung trực tiếp vào bản thân ứng dụng web (tập hợp các trang web được định danh bởi địa chỉ URL và các liên kết). Luận án không nghiên cứu việc bảo vệ hạ tầng máy chủ web hoặc máy chủ cơ sở dữ liệu độc lập, ngoại trừ các trường hợp tấn công vào cơ sở dữ liệu được thực hiện gián tiếp thông qua ứng dụng web.
  • Vị trí truy cập: Giới hạn ở ngữ cảnh ứng dụng web được truy xuất từ xa thông qua mạng cục bộ hoặc Internet (thông qua địa chỉ IP hoặc tên miền). Luận án không can thiệp vào tầng bảo mật vật lý, không xem xét việc sửa đổi mã nguồn hay file cấu hình nội bộ. Cấu trúc vật lý của hệ thống máy chủ không làm thay đổi bản chất của các giải pháp đề xuất.
  • Cách thức bảo mật: Tập trung vào việc cung cấp các công cụ và phương pháp trực quan hỗ trợ nhà quản trị đưa ra quyết định, không thực hiện hành động phân loại dữ liệu hay ngăn chặn tấn công một cách hoàn toàn tự động để thay thế con người.

Tổng quan tài liệu và vị trí của luận án

Luận án đã tổng hợp và phân tích hệ thống các công trình nghiên cứu nền tảng thuộc nhiều lĩnh vực liên quan:

Các hướng nghiên cứu nền tảng được điểm lại

  1. Cơ sở trực quan hóa thông tin và tâm lý học nhận thức:

    • Tufte (1983): Định nghĩa bản chất của trực quan hóa thông tin là sự kết hợp các đối tượng đồ họa như điểm, đường, hệ tọa độ, con số, ký hiệu, từ ngữ, độ bóng và màu sắc để biểu diễn dữ liệu trừu tượng.
    • Healey và cộng sự (1996), Ware (2004): Nghiên cứu về các thuộc tính tiền chú ý (Preattentive Attributes) như màu sắc, hình dạng, vị trí không gian và sự chuyển động, giúp con người xử lý thông tin song song và tăng tốc độ nhận thức.
    • Keim (2000): Kỹ thuật trực quan hóa định hướng pixel (Pixel-Oriented Visualization), ánh xạ từng giá trị dữ liệu thành một pixel nhằm tối ưu hóa không gian hiển thị.
    • Inselberg & Dimsdale (1990), Cleveland (1993): Các kỹ thuật biểu diễn dữ liệu nhiều chiều trên màn hình hai chiều như trục tọa độ song song (Parallel Coordinates) và ma trận đồ thị phân tán (Scatterplot Matrix).
    • Shneiderman (1996): Đề xuất nguyên lý tìm kiếm thông tin trực quan "Overview first, zoom and filter, then details-on-demand" và 7 nhóm tác vụ tương tác cơ bản (Tổng quan, Phóng to/thu nhỏ, Lọc, Xem chi tiết, Quan hệ, Lịch sử, Rút trích).
    • Card & Mackinlay (1997), Chi & Riedl (2000): Mô hình hóa quy trình phát triển hệ thống trực quan hóa qua 3 bước chuyển đổi: Biến đổi dữ liệu (Data Transformation) $\rightarrow$ Biến đổi trực quan hóa (Visualization Transformation) $\rightarrow$ Biến đổi hình ảnh (View Transformation).
    • Card và cộng sự (1999): Xác định 3 yếu tố cấu thành đối tượng trừu tượng trực quan hóa gồm Không gian nền (Spatial Substrate), Thành phần đồ họa (Graphical Elements) và Tính chất đồ họa (Graphical Properties).
    • Cleveland & McGill (1984): Sắp xếp thứ tự ảnh hưởng của các tính chất đồ họa đến độ chính xác nhận thức của mắt người.
    • Wehrend & Lewis (1990): Hệ thống hóa 10 tác vụ phân tích của người dùng gồm Định vị (Locate), Xác định (Identify), Phân biệt (Distinguish), Phân loại (Categorize), Gom nhóm (Cluster), Phân bố (Distribution), Xếp hạng (Rank), So sánh (Compare), Kết hợp (Associate), Tương quan (Correlate).
    • Riccardo Mazza (2009): Phân loại 3 chức năng chính của hệ thống trực quan hóa gồm Biểu diễn (minh họa qua Newsmap của Weskamp, 2004), Phân tích khám phá (minh họa qua Gapminder của Rosling, 2006) và Phân tích xác nhận.

  2. Phương pháp đánh giá hệ thống trực quan hóa:

    • Chen & Yu (2000), Plaisant (2004): Xác định 4 tiêu chí đánh giá gồm Tính năng (Functionality), Sự hữu ích (Effectiveness), Hiệu quả (Efficiency) và Khả năng sử dụng (Usability).
    • Nielsen & Molich (1990), Wharton và cộng sự (1994): Các phương pháp đánh giá phân tích không dùng người dùng cuối gồm đánh giá Heuristic và đánh giá nhận thức theo kịch bản (Cognitive Walkthroughs).
    • Carpendale (2008), Purchase (2012), Shneiderman & Plaisant (2006): Các phương pháp đánh giá thực nghiệm (định lượng thông qua thí nghiệm có kiểm soát với biến độc lập/phụ thuộc, định tính qua bảng câu hỏi/phỏng vấn, và nghiên cứu trường hợp điển hình).
    • Battista và cộng sự (1998), Bederson và cộng sự (2002): Đánh giá thuật toán không dựa vào người dùng, sử dụng các thước đo thẩm mỹ (Aesthetics) và độ ổn định bố cục đồ thị/treemap.
    • Lam và cộng sự (2012), Pirolli & Card (2005): Khung đánh giá phân tích dữ liệu trực quan và suy luận VDAR (Evaluating Visual Data Analysis and Reasoning), đánh giá mức độ hỗ trợ các tác vụ khám phá dữ liệu, phát hiện tri thức, đưa ra giả thuyết và ra quyết định.

  3. Lý thuyết phạm trù và Ký hiệu học trong trực quan hóa:

    • Mac Lane (1998): Lý thuyết phạm trù toán học nghiên cứu về đối tượng (Object) và cấu xạ (Morphism).
    • Peirce (1931–1958): Ký hiệu học với bộ ba Đối tượng (Object), Sự biểu diễn (Representamen) và Sự thấu hiểu (Interpretant).
    • Vickers và cộng sự (2013): Vận dụng lý thuyết phạm trù và ký hiệu học để mô hình hóa hình thức các quy trình trực quan hóa thông tin.

  4. Bảo mật hệ thống và an toàn ứng dụng web:

    • OWASP (2017): Hệ thống phân loại rủi ro bảo mật ứng dụng web theo 4 tiêu chí (Khả năng khai thác, Mức độ phổ biến, Sự dễ phát hiện, Ảnh hưởng kỹ thuật) và danh mục các lỗ hổng hàng đầu (A1: Injection, A7: Cross-Site Scripting...).
    • Shiravi và cộng sự (2012): Khảo sát các hệ thống trực quan hóa bảo mật, khẳng định ứng dụng web là lĩnh vực còn bỏ ngỏ.
    • Bishop (2002), Schneier (2000), Riaz và cộng sự (2014): Các nguyên lý bảo mật hệ thống (Bí mật - Toàn vẹn - Sẵn sàng), quan điểm bảo mật là một quy trình liên tục, và ba mục tiêu ứng phó: Ngăn ngừa (Prevent), Phát hiện (Detect), Đáp trả (Response).
    • Komlodi và cộng sự (2005): Phân chia tác vụ của nhà quản trị trong phát hiện xâm nhập thành Quan sát, Phân tích và Đáp trả.
    • Goodall (2008): Phân loại dữ liệu giám sát mạng thành 3 cấp độ: gói tin (Packet), dòng (Flow) và cảnh báo (Alert).
    • Jouini và cộng sự (2014), Myagmar và cộng sự (2005): Phân loại nguồn gốc mối đe dọa (bên trong/bên ngoài) và nguyên lý quản lý đe dọa dựa trên nhận diện tài nguyên và điểm truy cập.

Khoảng trống luận án lựa chọn giải quyết

Luận án định vị trọng tâm vào việc thiết lập cầu nối giữa lý thuyết toán học hình thức và các giải pháp kỹ thuật thực nghiệm nhằm giải quyết bài toán bảo mật ứng dụng web. Luận án lấp đầy khoảng trống nghiên cứu bằng cách:

  • Mô hình hóa hình thức quy trình trực quan hóa bảo mật dựa trên lý thuyết phạm trù để đánh giá định lượng năng lực bảo toàn thông tin.
  • Xây dựng hệ thống phân loại toàn diện cho các kỹ thuật trực quan hóa an toàn ứng dụng web.
  • Phát triển các kỹ thuật trực quan hóa ở cả hai cấp độ: toàn ứng dụng (cấu trúc web, lỗi bảo mật, tấn công địa lý - web, kịch bản không - thời gian) và từng trang web (phân tích dữ liệu nhập định hướng pixel, xây dựng luật nhận dạng dựa trên cây quyết định trực quan).

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

Khung lý thuyết và khái niệm sử dụng

Luận án kết hợp Lý thuyết phạm trù (Category Theory) và Ký hiệu học (Semiotics) để xây dựng nền tảng toán học cho các kỹ thuật trực quan hóa bảo mật:

  1. Các khái niệm lý thuyết phạm trù:

    • Đối tượng (Object) và Cấu xạ (Morphism): Cấu xạ $f: X \rightarrow Y$ biểu diễn ánh xạ giữa các đối tượng.
    • Cấu xạ đồng nhất (Identity Morphism): Với mỗi đối tượng $X$, tồn tại $1_X: X \rightarrow X$ sao cho $1_Y \circ f = f = f \circ 1_X$.
    • Tính kết hợp và tính giao hoán: $h \circ (g \circ f) = (h \circ g) \circ f$. Biểu đồ tam giác giao hoán khi cấu xạ hợp thành thỏa mãn $h = g \circ f$.
    • Các loại cấu xạ đặc thù: Đơn cấu xạ (Monomorphism), Toàn cấu xạ (Epimorphism), Tự đồng cấu xạ (Endomorphism), và Đẳng cấu xạ (Isomorphism - tồn tại ánh xạ ngược $f^{-1}$ thỏa $f^{-1} \circ f = 1_X$ và $f \circ f^{-1} = 1_Y$).

  2. Mô hình ký hiệu học mở rộng: Dựa trên tam giác ký hiệu học của Peirce (Đối tượng $O$, Sự biểu diễn $R$, Sự thấu hiểu $I$), luận án ánh xạ quy trình trực quan hóa thành một phạm trù toán học gồm ba cấu xạ: Trực quan hóa ($v: O \rightarrow R$), Quan sát & tương tác ($a: R \rightarrow I$), và Tìm hiểu trực tiếp ($u: O \rightarrow I$). Hệ thống đạt tính giao hoán khi $u = a \circ v$.

  3. Khung phạm trù hoàn chỉnh của luận án: Luận án mở rộng mô hình phạm trù bằng cách phân tách thành hai tầng đối tượng:

    • Đối tượng cụ thể (Extension): Ứng dụng web, Dữ liệu nguồn, Hình ảnh, Kết luận.
    • Đối tượng bản chất (Intension): Lược đồ, Bố cục, Câu hỏi.
    • Hệ thống cấu xạ liên kết: Cấu xạ Thu thập (Ứng dụng web $\rightarrow$ Dữ liệu nguồn); các cấu xạ Tổng quát hóa ($D$: Dữ liệu nguồn $\rightarrow$ Lược đồ, $I$: Hình ảnh $\rightarrow$ Bố cục, $C$: Kết luận $\rightarrow$ Câu hỏi); cấu xạ Xây dựng (Lược đồ $\rightarrow$ Bố cục); cấu xạ Hỗ trợ (Bố cục $\rightarrow$ Câu hỏi); cấu xạ Xác định (Lược đồ $\rightarrow$ Câu hỏi).
          [Ứng dụng web]
                | (Thu thập)
                v
         [Dữ liệu nguồn] ------------(Tổng quát hóa D)------------> [Lược đồ]
          /            \                                            /       \
 (Trực quan hóa v)   (Tìm hiểu u)                         (Xây dựng)        (Xác định)
        /                \                                        /           \
       v                  v                                      v             v
   [Hình ảnh] ---------(Tổng quát hóa I)-------------------> [Bố cục] --------> [Câu hỏi]
        \                /                                                (Hỗ trợ)
 (Quan sát & tương tác a)
          \            /
           v          v
            [Kết luận] -------------(Tổng quát hóa C)--------------'

Phương pháp nghiên cứu thực tế

Luận án sử dụng phối hợp các phương pháp nghiên cứu:

  • Phương pháp hình thức hóa toán học: Vận dụng các cấu xạ đẳng cấu và đơn cấu để chứng minh tính bảo toàn thông tin hoặc xác định mức độ mất mát dữ liệu của các phép biến đổi trực quan hóa.
  • Phương pháp thiết kế và xây dựng phần mềm: Xây dựng kiến trúc module và hiện thực các thuật toán xử lý dữ liệu web:
    • Thuật toán duyệt và tạo cây cấu trúc không gian ứng dụng web từ tập URL.
    • Thuật toán ánh xạ không gian địa lý (GeoIP) kết hợp phân cấp trang web.
    • Thuật toán gom nhóm chuỗi sự kiện và xây dựng kịch bản tấn công theo không gian - thời gian.
    • Thuật toán bố cục điểm ảnh (Pixel-oriented) dựa trên phân vị (Percentile) để biểu diễn giá trị dữ liệu nhập.
    • Quy trình tương tác trực quan hỗ trợ xây dựng cây quyết định (Decision Tree) tạo luật nhận dạng tấn công.
  • Phương pháp đánh giá VDAR: Đánh giá định tính và định lượng dựa trên mức độ hỗ trợ của công cụ đối với các tác vụ phân tích dữ liệu, khám phá bất thường và hỗ trợ ra quyết định của nhà quản trị.

Nguồn tư liệu và dữ liệu thực nghiệm

  • Dữ liệu cấu trúc ứng dụng web và thông tin địa chỉ URL.
  • Dữ liệu quét lỗ hổng bảo mật từ các phần mềm quét tự động: Subgraph Vega, OWASP Zed Attack Proxy (ZAP), và Acunetix.
  • Dữ liệu nhật ký máy chủ web (Web server access logs), các trường nhập liệu và chuỗi tham số truy vấn HTTP (HTTP Requests).
  • Dữ liệu kịch bản tấn công được tạo tự động bởi các công cụ bảo mật và dữ liệu tấn công thực nghiệm do con người thực hiện.

Nội dung chính theo từng chương

Chương 1: Giới thiệu

Chương 1 thiết lập bức tranh tổng quan về thực trạng an toàn ứng dụng web, nhấn mạnh sự tương phản giữa tốc độ phát triển website và chất lượng bảo mật phân tán. Chương này phân tích chi tiết hai hướng tiếp cận: tự động hóa bảo mật và bảo mật dựa trên con người, từ đó khẳng định việc tích hợp trực quan hóa thông tin và tương tác người dùng là phương thức phù hợp để nâng cao năng lực ra quyết định của nhà quản trị. Nội dung chương trình bày mục tiêu tổng quát, ba mục tiêu cụ thể, các giả định và phạm vi nghiên cứu (tập trung vào ứng dụng web truy xuất từ xa qua URL), ba đóng góp chính về lý thuyết, phương pháp, kỹ thuật và cấu trúc tổng thể của luận án.

Chương 2: Kiến thức nền tảng

Chương 2 trình bày có hệ thống các cơ sở khoa học phục vụ cho toàn bộ công trình:

  • Bảo mật ứng dụng web: Mối quan hệ giữa tấn công (Attack vectors) và lỗi bảo mật (Security weaknesses); 4 tiêu chí đánh giá của OWASP và các nhóm rủi ro hàng đầu (Injection, XSS, CSRF...).
  • Hệ thống trực quan hóa thông tin: Ba chức năng cốt lõi (Biểu diễn, Phân tích khám phá, Phân tích xác nhận); quy trình biến đổi dữ liệu 3 bước (Card & Mackinlay, Chi & Riedl); 3 yếu tố xây dựng đối tượng trực quan hóa (Không gian nền, Thành phần đồ họa, Tính chất đồ họa); hệ thống phân loại tác vụ tương tác của Wehrend & Lewis và Shneiderman.
  • Phương pháp đánh giá hệ thống trực quan hóa: Phân tích đánh giá dựa trên người sử dụng (phân tích Heuristic, Cognitive Walkthroughs, thí nghiệm có kiểm soát, nghiên cứu trường hợp) và đánh giá không dựa trên người sử dụng (thước đo thẩm mỹ, độ ổn định bố cục); xác lập phương pháp đánh giá VDAR kết hợp mô hình Pirolli & Card được sử dụng trong luận án.
  • Lý thuyết phạm trù và Ký hiệu học: Định nghĩa hình thức về đối tượng, cấu xạ, cấu xạ đồng nhất, tính kết hợp, tính giao hoán và các dạng cấu xạ đặc thù; tích hợp bộ ba ký hiệu học của Peirce vào mô hình trực quan hóa.

Chương 3: Hướng tiếp cận

Chương 3 trình bày khung phân tích và mô hình lý thuyết trung tâm của luận án:

  • Đối tượng bảo mật trên ứng dụng web: Xác định vị trí của ứng dụng web trong cấu trúc hệ thống (Trình duyệt $\leftrightarrow$ Firewall/IPS/IDS $\leftrightarrow$ Máy chủ web $\leftrightarrow$ Ứng dụng web $\leftrightarrow$ CSDL). Phân tích hai đặc điểm nền tảng của đối tượng bảo mật: có vị trí xác định (URL) và có cấu trúc xác định (tập cặp tên - giá trị); khai thác sự liên quan về mặt vị trí (phân cấp/ngang hàng) và cấu trúc (giống/khác nhau) để hỗ trợ nhận thức mối đe dọa theo nguyên lý Myagmar.
  • Hệ thống phân loại kỹ thuật trực quan hóa bảo mật web: Xây dựng khung phân loại 4 chiều dựa trên mức độ dữ liệu nguồn, loại tác vụ hỗ trợ, vị trí đối tượng bảo mật và mức độ trực quan hóa.
Tiêu chí phân loại Các giá trị phân loại
Mức độ dữ liệu nguồn Dữ liệu thô; Dữ liệu qua xử lý/tổng hợp
Loại tác vụ hỗ trợ Quan sát; Phân tích; Cả quan sát và phân tích
Vị trí đối tượng bảo mật Bên trong ứng dụng; Bên ngoài ứng dụng
Mức độ trực quan hóa Toàn ứng dụng; Từng trang web
  • Quy trình bảo mật đề xuất: Áp dụng nguyên lý "Overview first, zoom and filter, then details-on-demand", tiếp cận từ mức toàn ứng dụng xuống mức từng trang cụ thể.
  • Đánh giá định lượng dựa trên lý thuyết phạm trù: Xây dựng sơ đồ phạm trù hoàn chỉnh liên kết giữa các đối tượng cụ thể (Ứng dụng web, Dữ liệu nguồn, Hình ảnh, Kết luận) và các đối tượng bản chất (Lược đồ, Bố cục, Câu hỏi) thông qua các cấu xạ hình thức.

Chương 4: Trực quan hóa ở mức toàn ứng dụng

Chương 4 tập trung vào các kỹ thuật trực quan hóa trong không gian toàn bộ ứng dụng web:

  1. Trực quan hóa các lỗi bảo mật: Đề xuất giải thuật xây dựng cây biểu diễn không gian ứng dụng web dựa trên cấu trúc đường dẫn URL. Tích hợp dữ liệu lỗi bảo mật thu được từ các phần mềm quét (Acunetix, Subgraph Vega, OWASP ZAP) lên từng nút của cây với màu sắc và kích thước phản ánh mức độ nghiêm trọng. Hỗ trợ các tương tác mở rộng/thu gọn nút, lọc dữ liệu theo mức độ lỗi và xem chi tiết. Phân tích ngưỡng kích thước cây khi đạt giới hạn nhận thức của người dùng.
  2. Trực quan hóa tấn công trong không gian địa lý – web: Kết hợp tọa độ địa lý của nguồn tấn công (IP nguồn ánh xạ qua GeoIP) với cấu trúc phân cấp các trang web bị nhắm tới. Thiết kế giao diện hỗ trợ phóng to/thu nhỏ không gian địa lý, tương tác mở rộng/thu gọn nút trang web, làm rõ sự khác biệt trong mô hình tấn công giữa các công cụ tự động như Subgraph Vega và OWASP ZAP.
  3. Trực quan hóa kịch bản tấn công trong không – thời gian: Đề xuất giải thuật xây dựng tập sự kiện liên quan trước tấn công chính. Biểu diễn kịch bản tấn công trên hai hệ tọa độ: hệ tọa độ thời gian (chuỗi hành vi theo trục thời gian) và hệ tọa độ không gian (luồng di chuyển giữa các trang web). Tiến hành thí nghiệm so sánh kịch bản tấn công sinh ra bởi Subgraph Vega, OWASP ZAP, Acunetix và kịch bản tấn công do con người thực hiện, giúp nhà quản trị phân biệt hành vi quét tự động và tấn công có chủ đích.

Chương 5: Trực quan hóa ở mức từng trang

Chương 5 đi sâu vào các kỹ thuật trực quan hóa ở mức độ chi tiết của từng trang web cụ thể:

  1. Trực quan hóa và phân tích dữ liệu nhập: Tập trung vào các trường dữ liệu người dùng gửi lên trang web (GET/POST parameters). Sử dụng kỹ thuật trực quan hóa định hướng pixel kết hợp phương pháp xác định vị trí pixel đánh dấu dựa theo giá trị phân vị (Percentile). Giao diện phần mềm thử nghiệm được thiết kế thành 5 khu vực riêng biệt, hỗ trợ đánh dấu kết quả tìm kiếm, lọc và phát hiện nhanh các giá trị dữ liệu nhập bất thường có độ lệch chuẩn lớn so với mẫu dữ liệu thông thường.
  2. Trực quan hóa luật nhận dạng tấn công trên ứng dụng web: Xây dựng công cụ trực quan hóa tương tác hỗ trợ phát triển cây quyết định (Decision Tree) để trích xuất luật nhận dạng tấn công. Cho phép nhà quản trị trực tiếp quan sát nút đang xét, theo dõi cây quyết định đang hình thành, can thiệp vào quá trình phân nhánh và tinh chỉnh thuộc tính phân loại. Kết quả thực nghiệm cho thấy hình dạng chung của các cây quyết định giúp quản trị viên hiểu rõ và kiểm soát các luật phát hiện tấn công thay vì phụ thuộc vào các thuật toán hộp đen.

Chương 6: Tổng kết

Chương 6 tổng kết toàn bộ các kết quả đạt được về mặt lý thuyết, phương pháp và kỹ thuật phần mềm; phân tích hai hạn chế chính của công trình và định hướng các nghiên cứu phát triển tiếp theo.

Kết quả và những đóng góp mới

Luận án đã đạt được các đóng góp cụ thể về ba phương diện:

1. Đóng góp về mặt lý thuyết

  • Ứng dụng lý thuyết phạm trù kết hợp với ký hiệu học để mô hình hóa hình thức quy trình trực quan hóa thông tin trong bảo mật ứng dụng web.
  • Xây dựng mô hình phạm trù hoàn chỉnh gồm 7 đối tượng (4 đối tượng cụ thể và 3 đối tượng bản chất) cùng hệ thống cấu xạ hình thức (Thu thập, Tổng quát hóa, Xây dựng, Hỗ trợ, Xác định).
  • Đề xuất phương pháp luận đánh giá định lượng năng lực bảo toàn dữ liệu và khả năng giải quyết câu hỏi nghiệp vụ của các kỹ thuật trực quan hóa thông qua tính chất của các cấu xạ toán học (đẳng cấu xạ, đơn cấu xạ).

2. Đóng góp về mặt phương pháp

  • Xây dựng hệ thống phân loại 4 chiều cho các kỹ thuật trực quan hóa trong bảo mật ứng dụng web: (1) Mức độ dữ liệu nguồn (thô / qua xử lý); (2) Loại tác vụ hỗ trợ (quan sát / phân tích); (3) Vị trí đối tượng bảo mật (bên trong / bên ngoài); (4) Mức độ trực quan hóa (toàn ứng dụng / từng trang).
  • Hệ thống phân loại cung cấp công cụ định vị các kỹ thuật hiện có, so sánh đối chiếu và nhận diện các khoảng trống nghiên cứu chưa được khai thác trong lĩnh vực an toàn thông tin web.
  • Đề xuất quy trình bảo mật trực quan đi từ tổng thể đến chi tiết (từ toàn ứng dụng đến từng trang web), phù hợp với mô hình tìm kiếm thông tin của Shneiderman.

3. Đóng góp về mặt kỹ thuật và thực tiễn

  • Thiết kế, hiện thực và thử nghiệm thành công 5 kỹ thuật trực quan hóa tương tác:
    1. Trực quan hóa lỗi bảo mật trên cây cấu trúc không gian web tích hợp kết quả từ các phần mềm quét (Vega, ZAP, Acunetix).
    2. Trực quan hóa tấn công trong không gian địa lý – web, kết hợp phân bố IP nguồn và vị trí trang web bị tấn công.
    3. Trực quan hóa kịch bản tấn công trong không – thời gian, phân biệt rõ dấu vết tấn công của công cụ tự động và con người.
    4. Trực quan hóa dữ liệu nhập dựa trên pixel và phân vị, hỗ trợ phát hiện dữ liệu nhập bất thường trên từng trang web.
    5. Trực quan hóa tương tác xây dựng cây quyết định, hỗ trợ nhà quản trị tự hình thành và tinh chỉnh luật nhận dạng tấn công.

Kiến nghị và giải pháp đề xuất

  • Khuyến nghị các đơn vị vận hành hệ thống web kết hợp giải pháp trực quan hóa thông tin với các hệ thống phòng thủ tự động (Firewall/IDS/IPS), nhằm khai thác tối đa kinh nghiệm nghiệp vụ của nhà quản trị trong các tình huống an ninh phức tạp.
  • Đề xuất áp dụng quy trình phân tích trực quan từ tổng quan đến chi tiết trong các trung tâm giám sát an toàn thông tin (SOC) để tối ưu hóa thời gian xử lý sự cố.

Hạn chế và hướng nghiên cứu tiếp

Hạn chế của luận án

Văn bản luận án tự nhận định hai hạn chế chính:

  1. Đối tượng tham gia thí nghiệm chưa phong phú: Số lượng và thành phần người tham gia các thử nghiệm đánh giá hệ thống trực quan hóa còn hạn chế, chưa bao quát được toàn diện các nhóm quản trị viên với trình độ kỹ năng và kinh nghiệm thực tế đa dạng.
  2. Dữ liệu thực nghiệm cần mang tính thực tế hơn: Các bộ dữ liệu thử nghiệm chủ yếu được thu thập từ môi trường giả lập, các công cụ quét tự động và kịch bản thực nghiệm có kiểm soát, cần được mở rộng trên các hệ thống ứng dụng web thực tế đang vận hành ở quy mô lớn.
  3. Giới hạn của mô hình phạm trù: Khung lý thuyết phạm trù đề xuất chưa bao hàm đầy đủ các yếu tố nhận thức mang tính chủ quan như tri thức nền, kinh nghiệm và trạng thái tâm lý của nhà quản trị vào cấu trúc cấu xạ hình thức.

Hướng nghiên cứu tiếp

  • Bổ sung và hình thức hóa các yếu tố về tri thức, kinh nghiệm của nhà quản trị vào mô hình lý thuyết phạm trù.
  • Nghiên cứu phát triển các kỹ thuật trực quan hóa hỗ trợ nhóm tác vụ Đáp trả (Response) và các ô chức năng chưa được bao phủ hoàn toàn trong hệ thống phân loại.
  • Mở rộng quy mô thử nghiệm với các bộ dữ liệu lưu lượng mạng thực tế lớn và đa dạng hóa đối tượng người dùng tham gia đánh giá.

Giá trị tham khảo

Luận án mang lại giá trị tham khảo rõ ràng cho các nhóm đối tượng học thuật và thực tiễn:

  • Nghiên cứu sinh, học viên cao học và giảng viên ngành Khoa học Máy tính, An toàn Thông tin, Tương tác Người – Máy (HCI):
    • Tham khảo phương pháp luận ứng dụng Lý thuyết phạm trù và Ký hiệu học để mô hình hóa hình thức các hệ thống phần mềm và giao diện trực quan hóa (Chương 2, Chương 3).
    • Khai thác hệ thống phân loại 4 chiều để xác định đề tài nghiên cứu mới trong lĩnh vực trực quan hóa dữ liệu bảo mật (Chương 3).
    • Tham khảo phương pháp đánh giá hệ thống trực quan hóa theo khung VDAR và các mô hình tác vụ nhận thức (Chương 2).
  • Kỹ sư bảo mật, chuyên viên phân tích SOC và nhà quản trị hệ thống web:
    • Tham khảo các giải thuật bố cục không gian web, thuật toán gom nhóm kịch bản tấn công và kiến trúc phần mềm trực quan hóa mức toàn ứng dụng (Chương 4).
    • Ứng dụng kỹ thuật biểu diễn dữ liệu nhập định hướng pixel và quy trình tương tác xây dựng cây quyết định để phân tích nhật ký truy cập và thiết lập luật tường lửa (Chương 5).

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

1. Luận án ứng dụng Lý thuyết phạm trù vào việc đánh giá kỹ thuật trực quan hóa bảo mật như thế nào?
Luận án xem các thành phần trong quy trình trực quan hóa (Dữ liệu nguồn, Hình ảnh, Kết luận, Lược đồ, Bố cục, Câu hỏi) là các Đối tượng và các bước chuyển đổi dữ liệu/nhận thức là các Cấu xạ. Khi một kỹ thuật trực quan hóa được chứng minh là một Đẳng cấu xạ (Isomorphism), dữ liệu có thể được phục hồi nguyên vẹn từ hình ảnh hiển thị, đảm bảo không bị mất mát thông tin. Ngược lại, nếu hai lược đồ dữ liệu khác nhau cho ra cùng một biểu diễn hình ảnh thì kỹ thuật đó không phải là Đơn cấu xạ (Monomorphism), giúp đánh giá định lượng mức độ trừu tượng hóa và khả năng hỗ trợ trả lời các câu hỏi bảo mật nghiệp vụ.

2. Bốn tiêu chí phân loại kỹ thuật trực quan hóa bảo mật ứng dụng web của luận án gồm những gì?
Bốn tiêu chí gồm: (1) Mức độ trừu tượng của dữ liệu nguồn (dữ liệu thô từ HTTP request hoặc dữ liệu đã qua xử lý từ công cụ quét/IDS); (2) Loại tác vụ hỗ trợ (quan sát tổng thể, phân tích chuyên sâu hoặc kết hợp cả hai); (3) Vị trí đối tượng bảo mật (bên trong ứng dụng như cấu trúc URL/lỗi bảo mật, hoặc bên ngoài ứng dụng như lưu lượng truy cập/tấn công); (4) Mức độ trực quan hóa (mức toàn bộ ứng dụng web hoặc mức chi tiết từng trang web).

3. Phạm vi nghiên cứu của luận án có bao gồm việc bảo mật hệ quản trị cơ sở dữ liệu và máy chủ web không?
Không. Luận án xác định phạm vi đối tượng được bảo mật chỉ bao gồm bản thân ứng dụng web (tập hợp các trang web và liên kết URL). Luận án không nghiên cứu việc bảo vệ máy chủ web hoặc máy chủ cơ sở dữ liệu độc lập trước các kết nối trực tiếp, ngoại trừ trường hợp hacker khai thác lỗ hổng của ứng dụng web (như SQL Injection) để truy xuất bất hợp pháp vào cơ sở dữ liệu.

4. Kỹ thuật trực quan hóa ở mức từng trang web trong Chương 5 giải quyết các bài toán cụ thể nào?
Chương 5 giải quyết hai bài toán: (1) Phân tích số lượng lớn dữ liệu nhập vào các biểu mẫu web bằng kỹ thuật trực quan hóa định hướng pixel kết hợp phân vị (Percentile) để phát hiện các giá trị bất thường; (2) Hỗ trợ nhà quản trị xây dựng và tinh chỉnh các luật nhận dạng tấn công thông qua giao diện trực quan hóa tương tác cây quyết định (Decision Tree).

Kết luận

Luận án tiến sĩ của tác giả Đặng Trần Trí đã nghiên cứu toàn diện việc ứng dụng trực quan hóa thông tin và tương tác người dùng vào bài toán bảo mật ứng dụng web, đặt trọng tâm vào việc hỗ trợ năng lực ra quyết định của nhà quản trị. Công trình có đóng góp lý thuyết thông qua việc vận dụng lý thuyết phạm trù để mô hình hóa hình thức và đánh giá định lượng quy trình trực quan hóa, đồng thời thiết lập hệ thống phân loại 4 chiều cho các kỹ thuật bảo mật web trực quan. Về mặt kỹ thuật, luận án đã hiện thực và kiểm nghiệm thành công 5 giải pháp trực quan hóa ở mức toàn ứng dụng và mức từng trang, cung cấp cơ sở khoa học và thực tiễn cho việc phát triển các công cụ hỗ trợ giám sát an toàn thông tin web.