Tổng quan về luận án

Luận án "Phát triển một số phương pháp truy vấn hiệu quả trên cơ sở dữ liệu quan hệ mã hoá" do Hoàng Ngọc Cảnh thực hiện vào năm 2025, dưới sự hướng dẫn của GS. Nguyễn Hiếu Minh và TS. Ngô Đức Thiện, là một công trình nghiên cứu tiên phong trong lĩnh vực mã hóa có thể tìm kiếm (Searchable Encryption - SE) ứng dụng vào Cơ sở dữ liệu quan hệ mã hoá (Encrypted Relational Database - ERDB) thuê ngoài. Trong bối cảnh chuyển đổi số và sự gia tăng phụ thuộc vào các dịch vụ CSDL thuê ngoài (Database As a Service - DAS), vấn đề bảo mật dữ liệu nhạy cảm trở thành một thách thức cấp bách. Các thuật toán mật mã tiêu chuẩn như AES, DES, Blowfish mã hóa dữ liệu hiệu quả nhưng lại phá vỡ các tính chất vốn có của dữ liệu, khiến việc truy vấn trực tiếp trên dữ liệu mã hóa trở nên bất khả thi hoặc kém hiệu quả.

Research gap SPECIFIC với citations từ literature: Nghiên cứu hiện tại về SE đã đạt được những tiến bộ đáng kể, đặc biệt trong tìm kiếm từ khóa. Tuy nhiên, luận án chỉ ra một khoảng trống nghiên cứu quan trọng: "Tuy nhiên các lược đồ đã đề xuất đều chưa giải quyết trọn vẹn các khía cạnh về tính hiệu quả truy vấn, trong đó việc đánh đổi giữa hiệu năng và bảo mật là một tồn tại điển hình" (Mở đầu, Lý do chọn đề tài). Cụ thể hơn, các giải pháp tìm kiếm trên dữ liệu ký tự mã hóa "tập trung quá nhiều vào vấn đề tìm kiếm từ khoá, chỉ phù hợp trong các ứng dụng đã xác định được tập từ khoá cố định trên giao diện tìm kiếm," trong khi "đối với giải pháp truy vấn trên dữ liệu số mã hoá, việc nâng cao hiệu năng truy vấn khoảng lại gây ra nhiều nguy cơ rò rỉ thông tin bản rõ qua tính chất bảo toàn thứ tự bản mã" (Mở đầu, Lý do chọn đề tài). Đối với truy vấn chuỗi con, một tồn tại rõ ràng là "chi phí lưu trữ cao (hầu hết cỡ 𝑂(𝑁)), chưa có sự cân bằng giữa hiệu năng tìm kiếm (chi phí cỡ 𝑂(𝑙𝑠𝑢𝑏𝑠𝑡𝑟 + 𝑜𝑐𝑐 ) đến 𝑂(𝑙𝑠𝑢𝑏𝑠𝑡𝑟 2 + 𝑜𝑐𝑐) trên mỗi văn bản/bản ghi) và bảo mật thông tin (rò rỉ thông tin từ chỉ mục, mẫu truy vấn, ...)" (Chương 1, Nhận xét 1.2), như đã được thảo luận trong các công trình của Chase và Shen (2015) [30], Faber et al. (2015) [38], và Strizhov và Ray (2016) [102]. Những vấn đề này tạo ra một thách thức lớn về tính khả thi khi triển khai thực tiễn.

Research questions và hypotheses (đánh số cụ thể): Mặc dù luận án không trực tiếp liệt kê các câu hỏi nghiên cứu dưới dạng một danh sách riêng biệt, dựa trên mục tiêu và đóng góp, các câu hỏi cốt lõi có thể được suy ra như sau:

  1. Làm thế nào để phát triển một lược đồ Mã hoá đối xứng có thể tìm kiếm (Searchable Symmetric Encryption - SSE) hiệu quả, cho phép truy vấn chuỗi con (Substring Query) trên dữ liệu ký tự mã hoá trong CSDLQH thuê ngoài mà vẫn đảm bảo cân bằng giữa bảo mật và hiệu năng?
  2. Làm thế nào để thiết kế một lược đồ SSE tiên tiến, hỗ trợ truy vấn khoảng (Range Query) hiệu quả trên dữ liệu số mã hoá trong CSDLQH thuê ngoài, giảm thiểu rủi ro rò rỉ thông tin bản rõ liên quan đến thứ tự?
  3. Việc áp dụng mô hình DAS-PROXY một cách nhất quán có thể cải thiện tính khả thi và hiệu quả của các lược đồ SSE đã đề xuất trong môi trường thực tiễn không?
  4. Các phương pháp và cấu trúc dữ liệu mới được đề xuất có đảm bảo tính bảo mật (chống rò rỉ chỉ mục và mẫu truy vấn) và đạt được hiệu năng tìm kiếm (độ phức tạp thuật toán, thời gian thực thi) cạnh tranh so với các nghiên cứu trước đó không?

Theoretical framework với tên theories cụ thể: Luận án được xây dựng trên nền tảng vững chắc của lý thuyết mật mã, đặc biệt là các lược đồ mã hóa đối xứng (Symmetric Encryption Schemes) như AES [37], DES [13], Blowfish [98], và các mô hình bảo mật tiên tiến trong lĩnh vực SE. Trọng tâm lý thuyết nằm ở khả năng chứng minh bảo mật (provable security), đặc biệt là theo các định nghĩa về khả năng không phân biệt được đối với các cuộc tấn công từ khóa được chọn (Indistinguishability against Chosen Keyword Attacks - IND-CKA), với mô hình Adaptive IND-CKA2 [33], [95], [57], [103], [29] được xem là tiêu chuẩn mạnh mẽ nhất hiện nay. Ngoài ra, luận án còn tích hợp các lý thuyết về cấu trúc dữ liệu hiệu quả như B+Tree và Bộ lọc Bloom (Bloom Filter) [14] để xây dựng các chỉ mục mù (Blind Index) hỗ trợ tăng tốc truy vấn. Các nguyên lý về phân khoảng dữ liệu (Data Bucketing Technique) cũng được áp dụng và cải tiến để tối ưu hóa việc truy vấn khoảng trên dữ liệu số.

Đóng góp đột phá với quantified impact: Luận án mang lại hai đóng góp đột phá chính, cùng với một mô hình triển khai thống nhất, giải quyết triệt để các hạn chế của nghiên cứu trước đó:

  1. Lược đồ DIQ-SSE cho truy vấn chuỗi con: Đề xuất lược đồ DIQ-SSE ("Double Indexes Query - Searchable Symmetric Encryption") dựa trên cặp chỉ mục mù 𝐼𝑛𝑑𝑒𝑥1 và 𝐼𝑛𝑑𝑒𝑥2. 𝐼𝑛𝑑𝑒𝑥1, sử dụng Bộ lọc Bloom, cung cấp khả năng lọc ban đầu nhanh chóng với tỷ lệ dương tính giả (False Positives) có thể tối ưu, trong khi 𝐼𝑛𝑑𝑒𝑥2 cho phép tìm kiếm chính xác và đảm bảo không trả về kết quả dương tính giả. Phương pháp này cải thiện đáng kể hiệu năng tìm kiếm chuỗi con vốn phức tạp (trước đây có độ phức tạp cỡ 𝑂(𝑙𝑠𝑢𝑏𝑠𝑡𝑟 2 + 𝑜𝑐𝑐) như của Yamamoto et al. (2022) [130]) mà vẫn duy trì tính bảo mật cao, đặc biệt trong các điều kiện truy vấn "𝐿𝐼𝐾𝐸 ′% 𝑠𝑢𝑏𝑠𝑡𝑟𝑖𝑛𝑔 %′".
  2. Lược đồ ESIT-SSE cho truy vấn khoảng: Giới thiệu lược đồ ESIT-SSE ("Efficient search index tree - Searchable Symmetric Encryption") với quy trình xây dựng chỉ mục mù ba bước: (1) Xây dựng chỉ mục NewBucketIndex dựa trên cải tiến kỹ thuật phân khoảng dữ liệu; (2) Sử dụng các Vector giấu tin (Information Hiding Vector - IHV) để che giấu thông tin thứ tự của NewBucketIndex; (3) Xây dựng cấu trúc dữ liệu IHV_B+Tree và các thuật toán truy vấn khoảng hiệu quả trên cấu trúc này. Điều này giải quyết rủi ro rò rỉ thông tin thứ tự bản rõ của các lược đồ mã hóa bảo toàn thứ tự (Order Preserving Encryption - OPE) trước đó, đồng thời tối ưu hóa chi phí truy vấn.
  3. Triển khai thống nhất trên mô hình DAS-PROXY: Luận án "áp dụng nhất quán mô hình DAS-PROXY [135], [111], [6], [91], [9], [125], [137], [92] trong triển khai hai lược đồ đã đề xuất, mang lại tính khả thi và tiềm năng cao trong ứng dụng thực tiễn" (Mở đầu, Đóng góp của luận án). Mô hình này tập trung quản lý các dữ liệu bí mật và các nghiệp vụ nhạy cảm tại máy chủ trung gian an toàn (Proxy Server - PROXY), giảm gánh nặng cho thiết bị người dùng cuối (End User - EU) và tăng cường bảo mật tổng thể cho hệ thống.

Scope (sample size, timeframe) và significance: Luận án tập trung vào các dạng thức truy vấn phổ biến và cơ bản nhất trên dữ liệu kiểu số và ký tự trong CSDLQH mã hóa thuê ngoài, cụ thể là truy vấn chuỗi con ("𝐿𝐼𝐾𝐸 ′% 𝑠𝑢𝑏𝑠𝑡𝑟𝑖𝑛𝑔 %′") và truy vấn khoảng ("𝐵𝐸𝑇𝑊𝐸𝐸𝑁 𝑙 𝑎𝑛𝑑 ℎ"). Phạm vi nghiên cứu giới hạn ở các lược đồ SSE dựa trên chỉ mục mù, triển khai trên mô hình DAS-PROXY. Các thực nghiệm đánh giá hiệu năng được tiến hành trên dữ liệu mẫu, với các kịch bản thử nghiệm sử dụng số lượng bản ghi lớn, ví dụ, một kịch bản sử dụng "𝑁𝑅 = 1000000" (Bảng 2.3, Chương 2) và đánh giá "1000 truy vấn" (Bảng 3.3, Chương 3) trên CSDL TPC-H (Hình 1.15, Chương 3). Nghiên cứu có ý nghĩa khoa học và thực tiễn cao, góp phần tăng cường bảo mật và khai thác dữ liệu hiệu quả trong các hệ thống thông tin của các doanh nghiệp/cơ quan trước xu thế chuyển đổi số, thuê dịch vụ CSDLQH thuê ngoài ngày càng lớn hiện nay.

Literature Review và Positioning

Luận án cung cấp một bức tranh tổng quan sâu rộng về Mã hoá có thể tìm kiếm (SE), phân loại các lược đồ SE theo kỹ thuật tổ chức mã hoá và phương thức tìm kiếm, đồng thời phân tích kỹ lưỡng các công trình nghiên cứu liên quan đến truy vấn trên dữ liệu ký tự và dữ liệu số mã hóa.

Synthesis của major streams với TÊN TÁC GIẢ và NĂM cụ thể: Lĩnh vực SE bắt đầu sôi nổi từ năm 2000 với công trình của Song et al. [100] về Mã hóa đối xứng có thể tìm kiếm (SSE). Giai đoạn 2000-2014 tập trung chủ yếu vào tìm kiếm từ khóa trên tài liệu mã hóa. Từ năm 2015 đến nay, sự bùng nổ của điện toán đám mây đã thúc đẩy nghiên cứu SE đi sâu hơn vào truy vấn trên dữ liệu số và ký tự trong CSDLQH mã hóa, đồng thời chú trọng đến hiệu năng và bảo mật. Các dòng nghiên cứu chính bao gồm:

  • SSE: Tiên phong bởi Song et al. (2000) [100], tiếp nối bởi Goh (2003) [43] với lược đồ dựa trên Bộ lọc Bloom, và các cải tiến về hiệu quả tìm kiếm từ khóa bằng chỉ mục đảo ngược của Curtmola et al. (2006) [33], Cash et al. (2014) [26].
  • PKSE (Public Key Searchable Encryption): Khởi xướng bởi Boneh et al. (2004) [19] sử dụng mật mã bất đối xứng, với các nghiên cứu mở rộng cho truy vấn phức tạp của Boneh et al. (2008) [20].
  • Tìm kiếm từ khóa mờ/ngữ nghĩa: Li et al. (2011) [69], [70] đề xuất tìm kiếm từ khóa mờ, trong khi Fu et al. [40] và Chen et al. [32] nghiên cứu tìm kiếm dựa trên từ đồng nghĩa và ngữ nghĩa.
  • Tìm kiếm chuỗi con: Đây là một lĩnh vực ít được nghiên cứu hơn do tính phức tạp, với các công trình của Chase và Shen (2015) [30] dựa trên cây hậu tố, Faber et al. (2015) [38] sử dụng k-gram, Strizhov và Ray (2016) [102] với cây vun đống vị trí, Moataz et al. (2017) [83] sử dụng trực giao hóa chữ cái, Leontiadis và Li (2018) [67] với FM-index, Hahn et al. (2018) [50] sử dụng FHOPE, Mainardi et al. (2019, 2021) [79], [80] với giao thức PPSS, và Yin et al. (2021) [131] cho gợi ý từ khóa.
  • Truy vấn khoảng trên dữ liệu số: Các giải pháp thường dựa trên chỉ mục mù sử dụng kỹ thuật phân nhóm dữ liệu [92], [47], [58] hoặc mã hóa bảo toàn thứ tự (OPE) [71], [5], [66].

Contradictions/debates với ít nhất 2 opposing views: Một trong những tranh cãi cốt lõi trong SE là sự đánh đổi giữa bảo mật và hiệu năng.

  • SSE vs. PKSE: Lược đồ SSE [100], [62] có ưu điểm về hiệu suất cao và triển khai đơn giản do sử dụng mã hóa đối xứng, nhưng lại gặp rủi ro trong việc trao đổi khóa bí mật và khó mở rộng cho nhiều người dùng. Ngược lại, PKSE [19], [44] đảm bảo bảo mật cao hơn và chia sẻ khóa an toàn hơn nhưng lại có hiệu suất thấp và triển khai phức tạp hơn, như bảng so sánh trong luận án đã chỉ ra (Bảng 1.2, Mục 1.3).
  • Bảo toàn thứ tự (OPE) vs. Bảo mật mạnh mẽ: Các lược đồ OPE [71], [5] được thiết kế để hỗ trợ truy vấn khoảng hiệu quả bằng cách giữ nguyên thứ tự dữ liệu sau mã hóa. Tuy nhiên, tính chất bảo toàn thứ tự này lại "gây ra nhiều nguy cơ rò rỉ thông tin bản rõ" (Mở đầu, Lý do chọn đề tài) qua việc quan sát thứ tự bản mã, vi phạm các mô hình bảo mật mạnh như IND-CKA2. Điều này tạo ra một mâu thuẫn giữa nhu cầu về hiệu năng truy vấn khoảng và yêu cầu bảo mật nghiêm ngặt.

Positioning trong literature với specific gap identified: Luận án được định vị để giải quyết một khoảng trống quan trọng trong lĩnh vực SE, đặc biệt là trong bối cảnh CSDLQH mã hóa thuê ngoài. Nó không chỉ nhận diện mà còn trực tiếp giải quyết vấn đề hiệu quả truy vấn trên hai kiểu dữ liệu phổ biến nhất là ký tự và số, thông qua các dạng thức truy vấn "𝐿𝐼𝐾𝐸 ′% 𝑠𝑢𝑏𝑠𝑡𝑟𝑖𝑛𝑔 %′" và "𝐵𝐸𝑇𝑊𝐸𝐸𝑁 𝑙 𝑎𝑛𝑑 ℎ" mà các nghiên cứu trước đây chưa giải quyết trọn vẹn. Cụ thể, trong khi các công trình về tìm kiếm chuỗi con của Chase và Shen (2015) [30] gặp vấn đề về chi phí lưu trữ cao (𝑂(𝜆. 𝑁)) và rò rỉ thông tin cấu trúc cây, hoặc Faber et al. (2015) [38] với chi phí tìm kiếm và lưu trữ lớn (𝑂((𝑙𝑠𝑢𝑏𝑠𝑡𝑟 /𝑘𝑝). 𝑙𝑠𝑡𝑟 ) và 𝑂(𝑁. ((𝑙𝑠𝑡𝑟 − 𝑘𝑝) + 3))), luận án này đề xuất các giải pháp có thể cân bằng tốt hơn giữa hiệu năng và bảo mật, giảm thiểu các rủi ro đã nêu.

How this advances field với concrete contributions: Luận án tiến bộ hóa lĩnh vực SE bằng cách:

  • Cung cấp các lược đồ SSE mới (DIQ-SSE và ESIT-SSE) được thiết kế riêng biệt để giải quyết các dạng truy vấn phức tạp như chuỗi con và khoảng, thay vì chỉ giới hạn ở tìm kiếm từ khóa.
  • Đề xuất các cấu trúc dữ liệu mới như cặp chỉ mục (𝐼𝑛𝑑𝑒𝑥1, 𝐼𝑛𝑑𝑒𝑥2) và IHV_B+Tree, cùng với các thuật toán tối ưu, để đạt được hiệu năng truy vấn vượt trội (chi phí truy vấn tập trung tại CS, một vòng giao tiếp dữ liệu) và bảo mật cao (chống rò rỉ chỉ mục và mẫu truy vấn).
  • Thống nhất mô hình triển khai DAS-PROXY, mang lại tính khả thi cao cho ứng dụng thực tiễn, vốn là một điểm yếu của nhiều lược đồ SE học thuật trước đó.

So sánh với ÍT NHẤT 2 international studies:

  1. So với Chase và Shen (2015) [30] về tìm kiếm chuỗi con: Công trình của Chase và Shen đề xuất tìm kiếm chuỗi con dựa trên cấu trúc cây hậu tố, với chi phí lưu trữ 𝑂(𝜆. 𝑁) và độ phức tạp tìm kiếm 𝑂(𝜆. 𝑙𝑠𝑢𝑏𝑠𝑡𝑟 + 𝑜𝑐𝑐). Tuy nhiên, phương pháp này đòi hỏi ba vòng giao tiếp dữ liệu (thực tế bốn vòng theo [25]) và rò rỉ thông tin cấu trúc cây bên trong. Luận án này, thông qua lược đồ DIQ-SSE, hứa hẹn giảm số vòng giao tiếp dữ liệu xuống còn một và cải thiện bảo mật thông tin chỉ mục thông qua việc sử dụng cặp chỉ mục và Bộ lọc Bloom, không làm lộ cấu trúc nội bộ.
  2. So với Mainardi et al. (2021) [80] về tìm kiếm chuỗi con: Giao thức PPSS của Mainardi et al. (2021) [80] hỗ trợ tìm kiếm chuỗi chính xác và mẫu ký tự đại diện với chi phí truyền tải 𝑂(𝑙𝑠𝑢𝑏𝑠𝑡𝑟 ) và độ phức tạp tính toán 𝑂(𝑙𝑠𝑢𝑏𝑠𝑡𝑟 ). Mặc dù cải thiện đáng kể, nó vẫn gây ra không gian lưu trữ chỉ mục lớn 𝑂(𝑧. 𝑁) (với z là số ký tự phân biệt). Lược đồ DIQ-SSE của luận án tập trung vào việc cân bằng không gian lưu trữ và thời gian truy vấn bằng cách kết hợp hai loại chỉ mục, hướng tới một giải pháp tổng thể hiệu quả hơn cho CSDLQH.
  3. So với các lược đồ OPE [71], [5], [66] cho truy vấn khoảng: Các lược đồ OPE tuy hiệu quả cho truy vấn khoảng nhưng lại rò rỉ thông tin thứ tự của dữ liệu. Lược đồ ESIT-SSE của luận án giải quyết triệt để vấn đề này bằng cách sử dụng Vector giấu tin (IHV) và cấu trúc IHV_B+Tree, đảm bảo che giấu thông tin thứ tự trong khi vẫn duy trì hiệu năng truy vấn khoảng đáng kể. Điều này vượt trội hơn các OPE truyền thống về mặt bảo mật mà không đánh đổi quá nhiều về hiệu năng.

Đóng góp lý thuyết và khung phân tích

Đóng góp cho lý thuyết

Luận án đóng góp đáng kể vào lý thuyết Mật mã học ứng dụng và Cơ sở dữ liệu bằng cách mở rộng các định nghĩa và mô hình hiện có trong Mã hoá có thể tìm kiếm (SE).

  • Extend/challenge WHICH specific theories (name theorists): Luận án mở rộng lý thuyết về Lược đồ mã hoá đối xứng có thể tìm kiếm (SSE) được thiết lập bởi Song et al. (2000) [100] và các mô hình bảo mật của Curtmola et al. (2006) [33] và Goh (2003) [43]. Nó không chỉ kế thừa mà còn thách thức các giới hạn của các lược đồ SSE hiện có, vốn chủ yếu tập trung vào tìm kiếm từ khóa hoặc gặp khó khăn trong việc cân bằng hiệu năng-bảo mật cho các truy vấn phức tạp hơn như chuỗi con và khoảng. Luận án cũng thách thức các lược đồ Mã hóa bảo toàn thứ tự (OPE) (ví dụ: của Boldyreva et al. (2009) [71], Popa et al. (2011) [5]) vốn tiết lộ thông tin thứ tự, bằng cách đề xuất một giải pháp truy vấn khoảng với mức độ bảo mật cao hơn thông qua Vector giấu tin (IHV).
  • Conceptual framework với components và relationships: Luận án xây dựng một khung phân tích khái niệm dựa trên mô hình DAS-PROXY, trong đó các thực thể chính (Data Owner - DO, End User - EU, Proxy Server - PROXY, Cloud Server - CS) tương tác thông qua các thành phần cốt lõi của lược đồ SE: 𝐾𝑒𝑦𝐺𝑒𝑛, 𝐵𝑢𝑖𝑙𝑑𝐼𝑛𝑑𝑒𝑥, 𝑇𝑟𝑎𝑝𝑑𝑜𝑜𝑟, 𝑆𝑒𝑎𝑟𝑐ℎ, và 𝐷𝑒𝑐𝑟𝑦𝑝𝑡. PROXY đóng vai trò trung tâm, quản lý các khóa bí mật, tạo chỉ mục mù, biến đổi truy vấn và giải mã, làm cầu nối an toàn giữa EU và CS. Mối quan hệ giữa các thành phần này được thiết kế để đảm bảo "một vòng giao tiếp dữ liệu" (Mở đầu, Đóng góp của luận án), tối ưu hóa hiệu năng và giảm rò rỉ thông tin.
  • Theoretical model với propositions/hypotheses numbered:
    1. Proposition 1: Việc sử dụng cặp chỉ mục mù (𝐼𝑛𝑑𝑒𝑥1 dựa trên Bộ lọc Bloom, 𝐼𝑛𝑑𝑒𝑥2 cho tìm kiếm chính xác) trong lược đồ DIQ-SSE sẽ cung cấp hiệu năng truy vấn chuỗi con vượt trội so với các phương pháp đơn chỉ mục truyền thống, đồng thời duy trì bảo mật chống rò rỉ mẫu truy vấn và chỉ mục.
    2. Proposition 2: Việc kết hợp kỹ thuật phân khoảng dữ liệu cải tiến với Vector giấu tin (IHV) và cấu trúc dữ liệu IHV_B+Tree trong lược đồ ESIT-SSE sẽ cho phép truy vấn khoảng hiệu quả trên dữ liệu số mã hóa mà không làm lộ thông tin thứ tự của bản rõ, đảm bảo bảo mật mạnh mẽ hơn các lược đồ OPE.
    3. Proposition 3: Triển khai nhất quán các lược đồ SSE trên mô hình DAS-PROXY sẽ cải thiện tính khả thi triển khai, giảm chi phí tính toán cho EU và tăng cường khả năng quản lý bảo mật tổng thể của hệ thống.
  • Paradigm shift với EVIDENCE từ findings: Luận án gợi ý một sự dịch chuyển trong cách tiếp cận các bài toán truy vấn phức tạp trên CSDLQH mã hóa, từ các giải pháp chỉ tập trung vào tìm kiếm từ khóa hoặc đánh đổi bảo mật lấy hiệu năng, sang một hướng tiếp cận cân bằng và toàn diện hơn. Bằng cách thiết kế các lược đồ chuyên biệt (DIQ-SSE, ESIT-SSE) và tích hợp chúng vào một mô hình kiến trúc mạnh mẽ (DAS-PROXY), luận án cung cấp bằng chứng rằng có thể đạt được hiệu năng cao và bảo mật mạnh mẽ cho các truy vấn chuỗi con và khoảng mà không cần hy sinh đáng kể một trong hai yếu tố. Các "thực nghiệm và đánh giá hiệu năng tìm kiếm" cùng với "phân tích bảo mật" (Mục tiêu cụ thể) sẽ cung cấp bằng chứng định lượng cho sự dịch chuyển này.

Khung phân tích độc đáo

Luận án phát triển một khung phân tích độc đáo để giải quyết bài toán truy vấn hiệu quả trên CSDLQH mã hóa, tích hợp các lý thuyết và phương pháp từ nhiều lĩnh vực.

  • Integration của theories (name 3+ specific theories): Khung này tích hợp sâu sắc:
    1. Lý thuyết mã hóa đối xứng (Symmetric Encryption) để đảm bảo tính bí mật của dữ liệu cốt lõi.
    2. Lý thuyết về chỉ mục mù (Blind Index/Encrypted Index) và các cấu trúc dữ liệu tối ưu hóa tìm kiếm như B+Tree và Bộ lọc Bloom [14] để tăng tốc độ truy vấn trên dữ liệu mã hóa.
    3. Lý thuyết về các mô hình bảo mật formal (IND-CKA2) để định lượng và chứng minh mức độ an toàn của các lược đồ.
    4. Lý thuyết về kiến trúc phân tán (DAS-PROXY) để đảm bảo tính khả thi triển khai và quản lý an toàn các tài nguyên mật mã.
  • Novel analytical approach với justification: Cách tiếp cận phân tích độc đáo của luận án nằm ở việc thiết kế "quy trình truy vấn tuần tự trên hai chỉ mục mù 𝐼𝑛𝑑𝑒𝑥1, 𝐼𝑛𝑑𝑒𝑥2" cho truy vấn chuỗi con và một quy trình ba bước cho truy vấn khoảng bao gồm "Xây dựng chỉ mục NewBucketIndex dựa trên cải tiến kỹ thuật phân khoảng dữ liệu; Đề xuất sử dụng các vector giấu tin IHV; Xây dựng cấu trúc dữ liệu IHV_B+Tree" (Mở đầu, Đóng góp 2). Sự tích hợp này cho phép tận dụng ưu điểm của từng phương pháp (ví dụ: tốc độ lọc của Bộ lọc Bloom, độ chính xác của chỉ mục thứ hai, khả năng bảo vệ thứ tự của IHV) để đạt được hiệu quả tổng thể cao nhất, được chứng minh qua các phân tích về độ phức tạp và thực nghiệm.
  • Conceptual contributions với definitions: Luận án giới thiệu và định nghĩa các khái niệm mới như:
    • Lược đồ DIQ-SSE: Lược đồ SSE sử dụng cặp chỉ mục mù để truy vấn chuỗi con.
    • Lược đồ ESIT-SSE: Lược đồ SSE sử dụng cây chỉ mục tìm kiếm hiệu quả (IHV_B+Tree) cho truy vấn khoảng.
    • Vector giấu tin (IHV): Một vector được biến đổi từ chỉ mục NewBucketIndex nhằm che giấu thông tin thứ tự, cung cấp khả năng so sánh an toàn mà không tiết lộ nội dung và thứ tự chỉ mục.
    • Cấu trúc dữ liệu IHV_B+Tree: Một biến thể của B+Tree được thiết kế để tổ chức lưu trữ và truy vấn khoảng hiệu quả trên các vector IHV.
  • Boundary conditions explicitly stated: Luận án minh bạch về các điều kiện biên của nghiên cứu, bao gồm: giới hạn các dạng thức truy vấn là "các truy vấn đơn giản nhưng phổ dụng trên các trường dữ liệu dạng số và ký tự," cụ thể là "truy vấn chuỗi con theo chuỗi điều kiện "𝐿𝐼𝐾𝐸 ′% 𝑠𝑢𝑏𝑠𝑡𝑟𝑖𝑛𝑔 %′" và "truy vấn khoảng theo chuỗi điều kiện "𝐵𝐸𝑇𝑊𝐸𝐸𝑁 𝑙 𝑎𝑛𝑑 ℎ"" (Mở đầu, Đối tượng, phạm vi nghiên cứu). Các vấn đề mở rộng như truy vấn chéo trên nhiều bảng, truy vấn lồng, kết hợp hàm thống kê, đa điều kiện truy vấn, hay các lệnh thay đổi dữ liệu (Insert, Delete, Update) "sẽ không nằm trong phạm vi của luận án" (Mở đầu, Đối tượng, phạm vi nghiên cứu). Về mô hình triển khai, các vấn đề như đánh giá năng lực Proxy, cân bằng tải, xử lý song song, đa người sở hữu dữ liệu/đa máy chủ, xác thực - toàn vẹn dữ liệu, quản lý khóa, phân quyền sử dụng, cập nhật thay đổi chỉ mục "đều không nằm trong phạm vi của luận án" (Chương 1, Mục 1.2.3).

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

Thiết kế nghiên cứu

Luận án áp dụng một thiết kế nghiên cứu theo hướng Khoa học Thiết kế (Design Science Research - DSR) kết hợp với các yếu tố thực nghiệm để phát triển và đánh giá các giải pháp kỹ thuật.

  • Research philosophy (positivism/interpretivism/critical realism): Triết lý nghiên cứu của luận án mang tính thực dụng (pragmatism), nghiêng về hậu thực chứng (post-positivism) trong giai đoạn đánh giá. Luận án bắt đầu bằng việc phân tích các tồn tại thực tế và tính cấp thiết của vấn đề (phân tích theo hướng critical realism), sau đó đề xuất các giải pháp kỹ thuật cụ thể (DSR) và tiến hành thực nghiệm để "phân tích đánh giá hiệu quả của lược đồ đề xuất" (Mở đầu, Phương pháp nghiên cứu). Điều này thể hiện niềm tin vào việc có thể đo lường và định lượng được hiệu quả (hiệu năng, bảo mật) của các giải pháp, phù hợp với nguyên tắc của hậu thực chứng.
  • Mixed methods với SPECIFIC combination rationale: Luận án chủ yếu sử dụng phương pháp phát triển kỹ thuật (developmental methods) kết hợp với phương pháp thực nghiệm (experimental methods). Các "phương pháp giải quyết bài toán dựa trên các đề xuất cấu trúc dữ liệu mới kết hợp với lựa chọn áp dụng các điểm mạnh từ những nghiên cứu trước đó" (Mở đầu, Phương pháp nghiên cứu) đại diện cho khía cạnh phát triển. Giai đoạn đánh giá "thực nghiệm và phân tích tính hiệu quả" (Mở đầu, Mục tiêu cụ thể) sử dụng dữ liệu và kịch bản cụ thể để đo lường hiệu năng và bảo mật, thể hiện khía cạnh thực nghiệm. Sự kết hợp này là hợp lý để vừa tạo ra các sản phẩm kỹ thuật mới vừa kiểm chứng tính hiệu quả của chúng một cách khách quan.
  • Multi-level design với levels clearly defined: Mặc dù không trực tiếp gọi là "multi-level design" theo nghĩa xã hội học, cấu trúc nghiên cứu có thể được xem xét ở nhiều cấp độ:
    1. Cấp độ lý thuyết: Phát triển các khái niệm (IHV, DIQ-SSE, ESIT-SSE) và khung phân tích bảo mật (IND-CKA2).
    2. Cấp độ kiến trúc: Đề xuất mô hình triển khai DAS-PROXY và phân bổ vai trò cho các thực thể (DO, EU, PROXY, CS).
    3. Cấp độ thuật toán: Thiết kế các thuật toán cụ thể (BuildNewBucketIndex, thuật toán biến đổi IHV, thuật toán truy vấn khoảng trên IHV_B+Tree) và cấu trúc dữ liệu (cặp chỉ mục Index1, Index2; IHV_B+Tree).
    4. Cấp độ thực nghiệm: Kiểm định hiệu năng và bảo mật thông qua các kịch bản thử nghiệm trên dữ liệu thực/mô phỏng.
  • Sample size và selection criteria EXACT: Các thực nghiệm được tiến hành trên CSDL TPC-H (Hình 1.15, Chương 3), một chuẩn công nghiệp phổ biến cho việc đánh giá hiệu năng CSDL. Kịch bản thử nghiệm cho lược đồ DIQ-SSE sử dụng "𝑁𝑅 = 1000000" bản ghi và các bộ giá trị (𝑢, 𝑙, 𝑚, 𝑘) (Bảng 2.3, Chương 2). Đối với lược đồ ESIT-SSE, "1000 truy vấn" được quan sát tại CS để thống kê kết quả (Bảng 3.3, Chương 3). Tiêu chí lựa chọn mẫu dữ liệu và kịch bản được thiết kế để đại diện cho các trường hợp sử dụng thực tế và cho phép đánh giá toàn diện các yếu tố hiệu năng và bảo mật.

Quy trình nghiên cứu rigorous

  • Sampling strategy với inclusion/exclusion criteria: Luận án sử dụng dữ liệu từ CSDL TPC-H (Hình 1.15, Chương 3) để thực nghiệm. Mặc dù không nêu rõ tiêu chí lấy mẫu cụ thể từ TPC-H, việc sử dụng một benchmark tiêu chuẩn ngụ ý dữ liệu được chọn có tính đại diện cao cho CSDL quan hệ thực tế. Tiêu chí loại trừ bao gồm các dạng truy vấn phức tạp hoặc các vấn đề mở rộng liên quan đến Proxy như cân bằng tải, đa người sở hữu, v.v., đã được nêu rõ trong phần phạm vi nghiên cứu.
  • Data collection protocols với instruments described: Quy trình thu thập dữ liệu trong thực nghiệm liên quan đến việc đo lường thời gian thực thi của các pha truy vấn (ví dụ: "thời gian thực thi 4 pha" của ESIT-SSE, Hình 3.16) và các chỉ số hiệu năng khác (ví dụ: FIR1, FAR1, FIR2, FAR2 của DIQ-SSE, Hình 2.14, 2.15). Các công cụ đo lường sẽ bao gồm các hàm thời gian trong ngôn ngữ lập trình hoặc hệ thống, được tích hợp vào các thuật toán thực thi. Dữ liệu bảo mật (rò rỉ thông tin) được đánh giá thông qua phân tích lý thuyết và chứng minh toán học dựa trên các mô hình như IND-CKA2.
  • Triangulation (data/method/investigator/theory): Luận án thực hiện đa giác hóa về lý thuyết và phương pháp.
    • Method Triangulation: Kết hợp giữa thiết kế thuật toán, phát triển cấu trúc dữ liệu mới và thực nghiệm đánh giá hiệu năng.
    • Theory Triangulation: Tích hợp các lý thuyết mật mã, lý thuyết cấu trúc dữ liệu và lý thuyết kiến trúc hệ thống phân tán (DAS-PROXY).
  • Validity (construct/internal/external) và reliability (α values):
    • Construct Validity: Các chỉ số đo lường hiệu năng (thời gian truy vấn, độ phức tạp thuật toán) và bảo mật (chống rò rỉ chỉ mục, mẫu truy vấn) được định nghĩa rõ ràng và dựa trên các tiêu chuẩn trong lĩnh vực SE (ví dụ: mô hình IND-CKA2), đảm bảo đo lường đúng những gì cần đo.
    • Internal Validity: Thực nghiệm được kiểm soát chặt chẽ với các kịch bản và tham số được xác định trước (ví dụ: 𝑁𝑅 = 1000000, 𝑢 = 2, 𝑚 ∈ [128, 512] cho DIQ-SSE, Hình 2.14). So sánh với các công trình nghiên cứu trước đó được thực hiện dưới các điều kiện tương đương hoặc được chuẩn hóa.
    • External Validity: Luận án sử dụng CSDL TPC-H, một chuẩn mực công nghiệp, và các dạng truy vấn phổ biến, giúp tăng khả năng khái quát hóa (generalizability) của kết quả cho các CSDLQH thuê ngoài thực tế.
    • Reliability: Mặc dù không đề cập đến giá trị α cụ thể, việc sử dụng các thuật toán và quy trình được định nghĩa rõ ràng, cùng với việc thực nghiệm lặp lại (thực hiện nhiều truy vấn, ví dụ 1000 truy vấn) ngụ ý rằng các kết quả có thể tái tạo được.

Data và phân tích

  • Sample characteristics với demographics/statistics: Dữ liệu thử nghiệm dựa trên CSDL TPC-H (Hình 1.15, Phụ lục 2), một tập dữ liệu tổng hợp quy mô lớn, mô phỏng các giao dịch thương mại, bao gồm nhiều bảng và quan hệ. Bảng 3.4 (Phụ lục 2) cung cấp "Số lượng bản ghi các bảng của CSDL TPC-H tương ứng với tham số -s n trong lệnh dbgen," cho phép tạo ra các CSDL với quy mô khác nhau để đánh giá hiệu năng theo từng cấp độ dữ liệu.
  • Advanced techniques (SEM/multilevel/QCA etc.) với software: Luận án sử dụng các kỹ thuật phân tích hiệu năng và bảo mật tiên tiến. Đối với hiệu năng, các phân tích về độ phức tạp thuật toán (ví dụ: 𝑂(𝜆. 𝑁) của Chase và Shen [30], 𝑂(𝑙𝑠𝑢𝑏𝑠𝑡𝑟 2 + 𝑜𝑐𝑐) của Yamamoto et al. [130]) được sử dụng để so sánh các lược đồ. Thực nghiệm sẽ đo "thời gian thực thi truy vấn" (Hình 2.16, Chương 2) và "thời gian thực thi 4 pha" (Hình 3.16, Chương 3). Đối với phân tích bảo mật, luận án tập trung vào các "mô hình bảo mật cho lược đồ SE" (Bảng 1.4, Chương 1), đặc biệt là mô hình Adaptive IND-CKA2 [33], [95], [57], [103], [29], bao gồm phân tích "rò rỉ thông tin tĩnh và động" (Chương 3) và "Phân tích bảo mật cặp chỉ mục" và "Phân tích bảo mật mẫu truy vấn" (Chương 2). Mặc dù không nêu tên phần mềm cụ thể cho các kỹ thuật phân tích thống kê phức tạp như SEM, nhưng các thực nghiệm về hiệu năng chắc chắn sẽ sử dụng các công cụ lập trình và hệ quản trị CSDL để thu thập dữ liệu.
  • Robustness checks với alternative specifications: Các thực nghiệm đánh giá hiệu năng của lược đồ DIQ-SSE được tiến hành với nhiều bộ giá trị tham số (𝑢, 𝑙, 𝑚, 𝑘) khác nhau (Bảng 2.3, Chương 2) để kiểm tra tính ổn định và khả năng tùy chỉnh của lược đồ. Đối với ESIT-SSE, "thời gian thực thi lược đồ ESIT-SSE khi thay đổi 𝑘, 𝑚" cũng được đánh giá (Hình 3.17, Chương 3). Điều này đảm bảo rằng các kết quả không chỉ đúng trong một kịch bản cụ thể mà còn vững chắc dưới các điều kiện hoạt động đa dạng.
  • Effect sizes và confidence intervals reported: Luận án trình bày các biểu đồ đánh giá như "Biểu đồ FIR1, FAR1, FIR2, FAR2 của các lệnh truy vấn" (Hình 2.14, 2.15, Chương 2) và so sánh "𝜎2, 𝐻, 𝑝𝑣𝑑 giữa hai phương pháp tạo Bucket" (Bảng 3.4, Chương 3), cung cấp các chỉ số định lượng về hiệu quả. Mặc dù không trực tiếp báo cáo "effect sizes" hay "confidence intervals" theo định dạng thống kê truyền thống, các biểu đồ và bảng so sánh cung cấp cái nhìn sâu sắc về độ lớn của hiệu ứng và sự khác biệt giữa các phương pháp.

Phát hiện đột phá và implications

Những phát hiện then chốt

Luận án đã đạt được những phát hiện đột phá, cung cấp các giải pháp hiệu quả và bảo mật cho các bài toán truy vấn phức tạp trên CSDLQH mã hóa:

  1. Hiệu năng vượt trội cho truy vấn chuỗi con với DIQ-SSE: Phát hiện then chốt là khả năng đạt được hiệu năng truy vấn chuỗi con cao với độ phức tạp tìm kiếm được tối ưu thông qua "quy trình truy vấn tuần tự trên hai chỉ mục mù 𝐼𝑛𝑑𝑒𝑥1, 𝐼𝑛𝑑𝑒𝑥2" (Mở đầu, Đóng góp 1). 𝐼𝑛𝑑𝑒𝑥1 (dựa trên Bộ lọc Bloom) giúp lọc nhanh chóng, giảm đáng kể tập kết quả cần xử lý cho 𝐼𝑛𝑑𝑒𝑥2, dẫn đến thời gian thực thi truy vấn tốt ngay cả với 𝑁𝑅 = 1000000 bản ghi. Điều này cải thiện đáng kể so với các giải pháp trước đó như của Strizhov và Ray (2016) [102] với độ phức tạp 𝑂(𝑙𝑠𝑢𝑏𝑠𝑡𝑟 2 + 𝑜𝑐𝑐).
  2. Bảo mật thông tin thứ tự cho truy vấn khoảng với ESIT-SSE: Luận án chứng minh rằng có thể thực hiện truy vấn khoảng hiệu quả trên dữ liệu số mã hóa mà không rò rỉ thông tin thứ tự của bản rõ. Điều này đạt được nhờ việc sử dụng "Vector giấu tin (IHV) cho phép che giấu thông tin thứ tự của các NewBucketIndex" và cấu trúc dữ liệu "IHV_B+Tree" (Mở đầu, Đóng góp 2). Phân tích bảo mật cho thấy khả năng chống lại các cuộc tấn công khai thác tính chất bảo toàn thứ tự, vốn là điểm yếu của các lược đồ OPE truyền thống.
  3. Chi phí truy vấn tập trung tại CS và một vòng giao tiếp dữ liệu: Cả hai lược đồ DIQ-SSE và ESIT-SSE đều được thiết kế để "sử dụng một vòng giao tiếp dữ liệu, chi phí truy vấn tập trung tại CS" (Mở đầu, Đóng góp của luận án). Điều này giảm thiểu đáng kể độ trễ truyền tải và gánh nặng tính toán cho PROXY và EU, vốn là một vấn đề lớn trong các hệ thống phân tán.
  4. Không trả về kết quả dương tính giả cho truy vấn chuỗi con: Chỉ mục 𝐼𝑛𝑑𝑒𝑥2 trong DIQ-SSE đảm bảo "không trả về kết quả dương tính giả" (Mở đầu, Đóng góp 1) cho truy vấn chuỗi con, một ưu điểm quan trọng so với các lược đồ chỉ dựa trên Bộ lọc Bloom [43] vốn chấp nhận một tỷ lệ dương tính giả nhất định.
  5. So sánh với prior research findings: Các kết quả thực nghiệm của DIQ-SSE và ESIT-SSE "đạt ưu thế so với các công trình tiêu biểu liên quan" (Mở đầu, Đóng góp của luận án) về hiệu năng và bảo mật, như được trình bày trong "So sánh hiệu quả lược đồ DIQ-SSE với một số nghiên cứu" (Bảng 2.4, Chương 2) và "So sánh hiệu quả lược đồ ESIT-SSE với một số nghiên cứu" (Bảng 3.5, Chương 3). Điều này cung cấp bằng chứng cụ thể về sự tiến bộ của các phương pháp đề xuất.

Implications đa chiều

  • Theoretical advances với contribution to 2+ theories: Luận án đóng góp vào lý thuyết về Mã hoá có thể tìm kiếm bằng cách mở rộng các mô hình SSE để giải quyết các dạng truy vấn phức tạp hơn (chuỗi con, khoảng) với các đảm bảo bảo mật mạnh mẽ hơn. Nó cũng cung cấp các khái niệm lý thuyết mới như IHV và IHV_B+Tree, làm phong phú thêm lý thuyết về cấu trúc dữ liệu mã hóa hiệu quả.
  • Methodological innovations applicable to other contexts: Phương pháp xây dựng cặp chỉ mục mù và quy trình truy vấn tuần tự của DIQ-SSE có thể được áp dụng để cải thiện hiệu năng và bảo mật cho các loại truy vấn phức tạp khác trên dữ liệu ký tự mã hóa. Tương tự, kỹ thuật IHV và IHV_B+Tree của ESIT-SSE có thể được mở rộng để hỗ trợ các truy vấn đa chiều hoặc các loại dữ liệu số khác trong môi trường mã hóa.
  • Practical applications với specific recommendations:
    • Đối với các doanh nghiệp: Luận án cung cấp các giải pháp cụ thể cho các doanh nghiệp đang sử dụng hoặc có ý định chuyển đổi sang CSDL thuê ngoài, cho phép họ lưu trữ và truy vấn dữ liệu nhạy cảm (ví dụ: thông tin khách hàng, hồ sơ tài chính) một cách an toàn mà vẫn đảm bảo hiệu năng.
    • Hệ thống OLAP/OLTP: Kết quả nghiên cứu "phù hợp ứng dụng vào các cơ sở dữ liệu trong hệ thống OLAP khi tập trung chính vào vấn đề truy xuất và phân tích dữ liệu" và "cũng khả thi khi áp dụng vào quá trình mã hóa dữ liệu khi Insert hay thực thi điều kiện truy vấn của mệnh đề Where khi Update/Delete trên dữ liệu mã" trong các hệ thống OLTP (Mở đầu, Đối tượng, phạm vi nghiên cứu).
  • Policy recommendations với implementation pathway: Luận án gián tiếp khuyến nghị các nhà hoạch định chính sách về bảo mật dữ liệu xem xét và khuyến khích việc áp dụng các công nghệ SE tiên tiến, đặc biệt là các giải pháp cân bằng giữa hiệu năng và bảo mật như DIQ-SSE và ESIT-SSE, để đáp ứng các quy định bảo vệ dữ liệu (ví dụ: GDPR). Con đường triển khai sẽ liên quan đến việc tích hợp các mô-đun Proxy vào kiến trúc dịch vụ đám mây hiện có.
  • Generalizability conditions clearly specified: Các giải pháp được đề xuất có khả năng khái quát hóa cao cho các CSDLQH thuê ngoài trong nhiều ngành công nghiệp, miễn là các yêu cầu truy vấn nằm trong phạm vi được hỗ trợ (truy vấn chuỗi con, truy vấn khoảng trên thuộc tính đơn). Tuy nhiên, "các vấn đề mở rộng khác (như truy vấn chéo trên nhiều bảng, truy vấn lồng, kết hợp hàm thống kê, đa điều kiện truy vấn và nhóm lệnh thay đổi dữ liệu Insert, Delete, Update …) sẽ không nằm trong phạm vi của luận án" (Mở đầu, Đối tượng, phạm vi nghiên cứu), cần được xem xét trong các nghiên cứu tiếp theo.

Limitations và Future Research

3-4 specific limitations acknowledged

Luận án trung thực thừa nhận các giới hạn của nghiên cứu, điều này làm tăng tính học thuật và đáng tin cậy:

  1. Phạm vi dạng thức truy vấn giới hạn: Luận án chỉ tập trung vào "các truy vấn đơn giản nhưng phổ dụng trên các trường dữ liệu dạng số và ký tự", cụ thể là truy vấn chuỗi con và truy vấn khoảng trên một thuộc tính cụ thể. Các dạng truy vấn phức tạp hơn như truy vấn đa điều kiện, truy vấn chéo bảng, hay các lệnh thao tác dữ liệu (Insert, Update, Delete) chưa được giải quyết (Mở đầu, Đối tượng, phạm vi nghiên cứu).
  2. Vấn đề mở rộng của mô hình DAS-PROXY: Mặc dù sử dụng mô hình DAS-PROXY để tăng tính khả thi, luận án "không nằm trong phạm vi của luận án" các vấn đề như "đánh giá năng lực Proxy; cân bằng tải; xử lý song song; đa người sở hữu dữ liệu/đa máy chủ; xác thực - toàn vẹn dữ liệu; quản lý khoá; phân quyền sử dụng; cập nhật thay đổi chỉ mục, …" (Chương 1, Mục 1.2.3). Điều này có nghĩa là hiệu quả của Proxy trong các kịch bản tải cao hoặc đa người dùng vẫn cần được nghiên cứu thêm.
  3. Rủi ro rò rỉ thông tin liên quan đến các tham số không tất định: Mặc dù các lược đồ được phân tích bảo mật nghiêm ngặt, việc "các tham số bí mật được sinh một lần và sử dụng chung cho các thuật toán mã hoá, thuật toán tạo chỉ mục mù và thuật toán biến đổi lệnh truy vấn, khiến đầu ra của chúng ở trạng thái xác định" (Chương 1, Mục 1.2.3) có thể làm giảm bảo mật tổng thể nếu kẻ gian có thể khai thác các thông tin xác định này qua nhiều truy vấn.
  4. Chi phí lưu trữ chỉ mục: Các giải pháp dựa trên chỉ mục mù thường đòi hỏi "Tốn dung lượng lưu trữ cho chỉ mục" (Bảng 1.2, Chương 1), điều này có thể trở thành thách thức đối với CSDL cực kỳ lớn hoặc với các ràng buộc về tài nguyên lưu trữ nghiêm ngặt.

Boundary conditions về context/sample/time

Các giải pháp của luận án được thiết kế chủ yếu cho CSDLQH mã hóa thuê ngoài, nơi dữ liệu được lưu trữ trên Cloud Server (CS) và DO không tin tưởng CS hoàn toàn. Các thực nghiệm được tiến hành trên CSDL TPC-H, một tập dữ liệu tổng hợp. Mặc dù TPC-H là chuẩn công nghiệp, các đặc tính dữ liệu thực tế của các ứng dụng cụ thể có thể khác biệt, ảnh hưởng đến hiệu năng thực tế. Yếu tố thời gian được phản ánh qua các kịch bản thử nghiệm đánh giá thời gian thực thi tại một thời điểm nhất định, không tính đến sự thay đổi động của dữ liệu hoặc sự tiến hóa của các cuộc tấn công mật mã theo thời gian.

Future research agenda với 4-5 concrete directions

  1. Mở rộng hỗ trợ dạng thức truy vấn: Nghiên cứu phát triển các phương pháp và lược đồ để hỗ trợ "truy vấn chéo trên nhiều bảng, truy vấn lồng, kết hợp hàm thống kê, đa điều kiện truy vấn" và các lệnh thao tác dữ liệu (Insert, Delete, Update) trên CSDLQH mã hóa (Mở đầu, Đối tượng, phạm vi nghiên cứu).
  2. Tối ưu hóa quản lý Proxy và mở rộng khả năng: Đi sâu vào "đánh giá năng lực Proxy; cân bằng tải; xử lý song song; đa người sở hữu dữ liệu/đa máy chủ; xác thực - toàn vẹn dữ liệu; quản lý khoá; phân quyền sử dụng; cập nhật thay đổi chỉ mục" (Chương 1, Mục 1.2.3) trong mô hình DAS-PROXY để nâng cao tính ứng dụng và khả năng mở rộng.
  3. Tăng cường bảo mật chống rò rỉ thông tin động: Nghiên cứu các phương pháp mã hóa phi tất định mạnh mẽ hơn cho Trapdoor và chỉ mục để giảm thiểu rò rỉ mẫu truy vấn và thông tin từ chỉ mục, đặc biệt khi có các cuộc tấn công thích ứng.
  4. Tích hợp Mã hóa đồng hình (FHE/PHE): Khám phá tiềm năng của Mã hóa đồng hình hoàn toàn (FHE) hoặc Mã hóa đồng hình một phần (PHE) [78] để hỗ trợ các truy vấn phức tạp hơn như tính toán trên dữ liệu mã hóa mà không cần giải mã, mặc dù cần giải quyết thách thức về hiệu năng.
  5. Áp dụng cho các mô hình CSDL phi quan hệ: Mở rộng các phương pháp đã đề xuất để hỗ trợ truy vấn hiệu quả trên các hệ thống cơ sở dữ liệu phi quan hệ (NoSQL) mã hóa, phù hợp với xu hướng dữ liệu lớn và điện toán đám mây.

Methodological improvements suggested

Các cải tiến về phương pháp luận có thể bao gồm việc sử dụng các mô phỏng quy mô lớn hơn để đánh giá hiệu năng trong các kịch bản tải cao và dữ liệu cực kỳ lớn. Việc tích hợp các phương pháp định lượng để đánh giá mức độ rò rỉ thông tin theo các metric cụ thể, cũng như so sánh định lượng với nhiều lược đồ cạnh tranh hơn, sẽ cung cấp bằng chứng mạnh mẽ hơn.

Theoretical extensions proposed

Về mặt lý thuyết, luận án có thể được mở rộng để xây dựng một khung lý thuyết tổng quát hơn cho việc thiết kế các chỉ mục mù đa năng, có khả năng hỗ trợ nhiều dạng truy vấn phức tạp mà vẫn duy trì các đảm bảo bảo mật mạnh mẽ. Việc phát triển các định nghĩa bảo mật mới cho các lược đồ tích hợp nhiều loại chỉ mục (như cặp chỉ mục của DIQ-SSE) hoặc cho các lược đồ sử dụng vector giấu tin (IHV) sẽ là một đóng góp lý thuyết có giá trị.

Tác động và ảnh hưởng

Luận án "Phát triển một số phương pháp truy vấn hiệu quả trên cơ sở dữ liệu quan hệ mã hóa" có tiềm năng tạo ra tác động và ảnh hưởng sâu rộng trên nhiều lĩnh vực.

  • Academic impact với potential citations estimate: Công trình này được dự đoán sẽ có tác động học thuật đáng kể trong cộng đồng nghiên cứu mật mã học ứng dụng và cơ sở dữ liệu. Với việc giải quyết các khoảng trống nghiên cứu cụ thể về truy vấn chuỗi con và truy vấn khoảng trên dữ liệu mã hóa, và đề xuất các cấu trúc dữ liệu, thuật toán mới (DIQ-SSE, ESIT-SSE, IHV_B+Tree), luận án sẽ là một tài liệu tham khảo quan trọng cho các nhà nghiên cứu về Mã hoá có thể tìm kiếm (SE), Mã hóa bảo toàn thứ tự (OPE), và bảo mật dữ liệu đám mây. Dựa trên tính mới và tính hiệu quả được chứng minh, luận án có thể ước tính đạt được hàng trăm trích dẫn trong 5-10 năm tới từ các tạp chí và hội thảo uy tín (ví dụ: IEEE, ACM Transactions).
  • Industry transformation với specific sectors: Luận án có khả năng thúc đẩy sự chuyển đổi trong cách các ngành công nghiệp xử lý dữ liệu nhạy cảm trên đám mây.
    • Ngân hàng và Tài chính: Cho phép các tổ chức tài chính lưu trữ hồ sơ giao dịch và thông tin khách hàng mã hóa trên đám mây, đồng thời thực hiện các truy vấn kiểm toán, phân tích khoảng thời gian giao dịch hoặc tìm kiếm chuỗi con trong tên khách hàng/mô tả giao dịch mà vẫn tuân thủ các quy định bảo mật.
    • Y tế: Hỗ trợ việc lưu trữ hồ sơ bệnh án điện tử (EHR) mã hóa trên Cloud Server, cho phép các truy vấn tìm kiếm chuỗi con trong tên bệnh nhân/chẩn đoán hoặc truy vấn khoảng về ngày nhập viện/tuổi bệnh nhân, đảm bảo tính riêng tư của dữ liệu bệnh nhân.
    • Thương mại điện tử: Giúp các nền tảng e-commerce bảo mật dữ liệu người dùng và lịch sử mua sắm, đồng thời thực hiện các truy vấn phân tích xu hướng mua sắm theo khoảng thời gian hoặc tìm kiếm sản phẩm theo chuỗi con trong mô tả.
  • Policy influence với government levels: Các phát hiện và giải pháp của luận án có thể ảnh hưởng đến việc xây dựng chính sách an ninh mạng và bảo vệ dữ liệu ở cấp quốc gia và quốc tế. Việc chứng minh tính khả thi của truy vấn an toàn trên dữ liệu mã hóa khuyến khích các cơ quan chính phủ ban hành các tiêu chuẩn hoặc hướng dẫn cho việc sử dụng dịch vụ đám mây an toàn, đặc biệt là trong các lĩnh vực yêu cầu bảo mật cao như chính phủ điện tử, quốc phòng.
  • Societal benefits quantified where possible:
    • Tăng cường niềm tin số: Bằng cách cung cấp các công cụ để bảo vệ dữ liệu cá nhân, luận án góp phần xây dựng niềm tin của công chúng vào các dịch vụ số và điện toán đám mây.
    • Giảm thiểu rủi ro vi phạm dữ liệu: Ước tính hàng triệu đô la thiệt hại hàng năm do các vụ rò rỉ dữ liệu. Các phương pháp của luận án có thể giảm thiểu đáng kể các rủi ro này, bảo vệ quyền riêng tư của hàng tỷ người dùng trên toàn cầu.
    • Thúc đẩy đổi mới: Bằng cách giảm rào cản bảo mật, các doanh nghiệp và nhà phát triển có thể tự tin hơn trong việc triển khai các ứng dụng mới trên đám mây, từ đó thúc đẩy đổi mới công nghệ và tạo ra giá trị kinh tế.
  • International relevance với global implications: Vấn đề bảo mật dữ liệu đám mây là một thách thức toàn cầu. Các giải pháp của luận án có thể được áp dụng và triển khai ở bất kỳ quốc gia nào sử dụng dịch vụ CSDL thuê ngoài, đóng góp vào nỗ lực chung về an toàn thông tin trên thế giới. Việc so sánh với các nghiên cứu quốc tế [30], [80], [71] khẳng định tính phù hợp và khả năng cạnh tranh của công trình này trên phạm vi toàn cầu.

Đối tượng hưởng lợi

Luận án mang lại lợi ích cụ thể cho nhiều đối tượng khác nhau trong hệ sinh thái học thuật, công nghiệp và chính sách.

  • Doctoral researchers: specific research gaps:
    • Các nghiên cứu sinh có thể sử dụng khung lý thuyết và phương pháp luận của luận án làm nền tảng để giải quyết các vấn đề mở rộng, như các dạng truy vấn phức tạp hơn (truy vấn chéo bảng, truy vấn lồng, hàm thống kê) hoặc tích hợp các công nghệ mật mã mới như FHE.
    • Cụ thể, các khoảng trống về tối ưu hóa Proxy, xử lý song song, quản lý khóa và cập nhật chỉ mục trong mô hình DAS-PROXY (Chương 1, Mục 1.2.3) là những hướng nghiên cứu tiềm năng được luận án gợi mở.
  • Senior academics: theoretical advances:
    • Các nhà khoa học cấp cao sẽ tìm thấy trong luận án các đóng góp lý thuyết quan trọng, đặc biệt là việc mở rộng các mô hình SSE để hỗ trợ truy vấn chuỗi con và khoảng với đảm bảo bảo mật nghiêm ngặt.
    • Các khái niệm như Vector giấu tin (IHV) và cấu trúc IHV_B+Tree là những phát triển lý thuyết mới, có thể thúc đẩy các hướng nghiên cứu sâu hơn về thiết kế chỉ mục mù hiệu quả và bảo mật.
  • Industry R&D: practical applications:
    • Các đội ngũ Nghiên cứu và Phát triển (R&D) trong ngành công nghệ thông tin có thể trực tiếp ứng dụng các lược đồ DIQ-SSE và ESIT-SSE vào việc phát triển các sản phẩm và dịch vụ CSDL đám mây an toàn.
    • Luận án cung cấp "quy trình triển khai thống nhất và cho phép điều chỉnh các tham số tác động đến tính bảo mật, hiệu năng trong ứng dụng thực tiễn" (Mở đầu, Đóng góp của luận án), giúp các kỹ sư dễ dàng tích hợp và tùy biến giải pháp.
  • Policy makers: evidence-based recommendations:
    • Các nhà hoạch định chính sách có thể dựa vào các kết quả thực nghiệm và phân tích bảo mật của luận án để đưa ra các khuyến nghị và quy định về việc sử dụng công nghệ mã hóa cho dữ liệu nhạy cảm trên đám mây, góp phần củng cố các khuôn khổ pháp lý như GDPR hay CCPA.
  • Quantify benefits where possible:
    • Giảm chi phí vận hành: Các doanh nghiệp có thể tiết kiệm chi phí đầu tư phần cứng, phần mềm và nhân sự quản trị bằng cách tự tin thuê ngoài CSDL, trong khi vẫn duy trì an ninh dữ liệu.
    • Nâng cao năng lực cạnh tranh: Các tổ chức có khả năng xử lý và phân tích dữ liệu nhạy cảm một cách an toàn sẽ có lợi thế cạnh tranh trong các ngành nghề đòi hỏi sự tuân thủ cao.
    • Bảo vệ dữ liệu người dùng: Luận án gián tiếp mang lại lợi ích cho hàng triệu người dùng cuối bằng cách đảm bảo rằng thông tin cá nhân của họ được bảo vệ khi lưu trữ và xử lý trên các hệ thống đám mây.

Câu hỏi chuyên sâu

Answer với SPECIFIC DETAILS:

  1. Theoretical contribution độc đáo nhất (name theory extended): Đóng góp lý thuyết độc đáo nhất là việc mở rộng lý thuyết về Lược đồ Mã hoá đối xứng có thể tìm kiếm (SSE) bằng cách giới thiệu khái niệm Vector giấu tin (Information Hiding Vector - IHV) và tích hợp nó vào cấu trúc dữ liệu IHV_B+Tree để giải quyết bài toán truy vấn khoảng trên dữ liệu số mã hóa. Trước đây, các lược đồ SSE thường gặp khó khăn trong việc hỗ trợ truy vấn khoảng mà không làm lộ thông tin thứ tự (như trong các lược đồ Mã hóa bảo toàn thứ tự - OPE của Boldyreva et al. (2009) [71]). IHV cho phép che giấu thông tin thứ tự của các chỉ mục NewBucketIndex, cung cấp khả năng so sánh an toàn nhưng không tiết lộ bản chất của chỉ mục. Điều này mở ra một hướng mới trong việc thiết kế các chỉ mục mù cho dữ liệu số, cân bằng giữa hiệu năng và bảo mật một cách hiệu quả hơn so với các phương pháp trước đó.

  2. Methodology innovation (compare với 2+ prior studies): Đổi mới phương pháp luận đáng kể nằm ở việc xây dựng một quy trình truy vấn tuần tự trên cặp chỉ mục mù (𝐼𝑛𝑑𝑒𝑥1, 𝐼𝑛𝑑𝑒𝑥2) trong lược đồ DIQ-SSE cho truy vấn chuỗi con.

    • So với Chase và Shen (2015) [30]: Chase và Shen dựa trên cây hậu tố, yêu cầu ba (hoặc bốn) vòng giao tiếp dữ liệu và rò rỉ thông tin về cấu trúc bên trong của cây. Phương pháp của luận án sử dụng một vòng giao tiếp dữ liệu và Bộ lọc Bloom (𝐼𝑛𝑑𝑒𝑥1) để lọc ban đầu, giảm đáng kể tập kết quả trước khi tìm kiếm chính xác trên 𝐼𝑛𝑑𝑒𝑥2, khắc phục vấn đề rò rỉ cấu trúc cây và tối ưu hóa số vòng giao tiếp.
    • So với Faber et al. (2015) [38]: Faber et al. sử dụng k-gram chồng chéo, đòi hỏi chi phí tìm kiếm và không gian lưu trữ lớn (𝑂((𝑙𝑠𝑢𝑏𝑠𝑡𝑟 /𝑘𝑝). 𝑙𝑠𝑡𝑟 ) và 𝑂(𝑁. ((𝑙𝑠𝑡𝑟 − 𝑘𝑝) + 3))). Lược đồ DIQ-SSE của luận án, với cơ chế lọc hai giai đoạn, hứa hẹn giảm độ phức tạp tìm kiếm và không gian lưu trữ hiệu quả hơn cho các truy vấn chuỗi con độ dài bất kỳ, đặc biệt là khả năng "không trả về kết quả dương tính giả" (Mở đầu, Đóng góp 1).

  3. Most surprising finding (với data support): Phát hiện đáng ngạc nhiên nhất có thể là khả năng đạt được hiệu năng truy vấn chuỗi con tốt với độ phức tạp tìm kiếm được tối ưu hóa đồng thời loại bỏ hoàn toàn dương tính giả bằng lược đồ DIQ-SSE, trong khi các nghiên cứu trước đây thường phải đánh đổi giữa các yếu tố này. Theo Nhận xét 1.2 (Chương 1), các công trình về tìm kiếm chuỗi con thường gặp vấn đề "chi phí lưu trữ cao (hầu hết cỡ 𝑂(𝑁)), chưa có sự cân bằng giữa hiệu năng tìm kiếm (chi phí cỡ 𝑂(𝑙𝑠𝑢𝑏𝑠𝑡𝑟 + 𝑜𝑐𝑐 ) đến 𝑂(𝑙𝑠𝑢𝑏𝑠𝑡𝑟 2 + 𝑜𝑐𝑐) trên mỗi văn bản/bản ghi) và bảo mật thông tin (rò rỉ thông tin từ chỉ mục, mẫu truy vấn, ...)." Việc DIQ-SSE sử dụng 𝐼𝑛𝑑𝑒𝑥1 dựa trên Bộ lọc Bloom để đạt tốc độ thực thi nhanh và 𝐼𝑛𝑑𝑒𝑥2 để tìm kiếm chính xác, kết hợp trong một quy trình tuần tự, cho phép khắc phục nhược điểm này. Mặc dù 𝐼𝑛𝑑𝑒𝑥1 có thể có dương tính giả, 𝐼𝑛𝑑𝑒𝑥2 loại bỏ chúng hoàn toàn trên tập kết quả rút gọn, làm cho giải pháp tổng thể rất hiệu quả và đáng tin cậy. Các biểu đồ "FIR1, FAR1, FIR2, FAR2 của các lệnh truy vấn" (Hình 2.14, 2.15, Chương 2) sẽ cung cấp bằng chứng định lượng về hiệu quả của cơ chế lọc hai giai đoạn này.

  4. Replication protocol provided? Mặc dù luận án không cung cấp một "replication protocol" theo nghĩa từng bước chi tiết để người khác có thể tái tạo hoàn toàn các thí nghiệm, nó cung cấp đủ thông tin về phương pháp luận để các nhà nghiên cứu có kinh nghiệm có thể tái tạo các phần quan trọng của nghiên cứu. Các phần "Chuẩn bị điều kiện thực nghiệm" (Chương 2, Chương 3), "Lựa chọn CSDL và các kịch bản, chỉ số đo lường phù hợp" (Mở đầu, Phương pháp nghiên cứu), cùng với việc sử dụng CSDL TPC-H (Hình 1.15, Chương 3) và các tham số cụ thể như "𝑁𝑅 = 1000000, 𝑢 = 2, 𝑚 ∈ [128, 512]" (Bảng 2.3, Chương 2), cung cấp một khuôn khổ rõ ràng cho việc tái tạo. Chi tiết về các thuật toán (Thuật toán 2.1, Thuật toán 3.1) và cấu trúc dữ liệu cũng được mô tả, tạo điều kiện cho việc tái thực hiện.

  5. 10-year research agenda outlined? Luận án không trực tiếp phác thảo một "10-year research agenda" cụ thể nhưng đã đưa ra một lộ trình nghiên cứu tương lai rõ ràng và toàn diện, bao gồm 4-5 hướng chính như đã đề cập trong phần "Limitations và Future Research". Các hướng này bao gồm: (1) Mở rộng hỗ trợ các dạng thức truy vấn phức tạp (đa điều kiện, đa bảng, hàm thống kê), (2) Tối ưu hóa quản lý và mở rộng khả năng của Proxy (cân bằng tải, xử lý song song, đa người dùng), (3) Tăng cường bảo mật chống rò rỉ thông tin động và áp dụng mã hóa phi tất định mạnh mẽ hơn, (4) Nghiên cứu tích hợp các kỹ thuật mã hóa đồng hình (FHE/PHE) để hỗ trợ tính toán trên dữ liệu mã hóa, và (5) Áp dụng các phương pháp cho các mô hình CSDL phi quan hệ (NoSQL). Những hướng này đủ rộng và sâu để định hình nghiên cứu trong một thập kỷ tới, giải quyết các thách thức còn tồn tại trong lĩnh vực SE.

Kết luận

Luận án "Phát triển một số phương pháp truy vấn hiệu quả trên cơ sở dữ liệu quan hệ mã hóa" là một công trình nghiên cứu toàn diện và có giá trị, cung cấp các giải pháp tiên tiến để giải quyết thách thức cốt lõi về bảo mật và hiệu quả trong việc truy vấn dữ liệu nhạy cảm trên Cơ sở dữ liệu quan hệ mã hóa (ERDB) thuê ngoài.

  1. Đề xuất lược đồ DIQ-SSE: Luận án đã thành công trong việc xây dựng lược đồ DIQ-SSE dựa trên cặp chỉ mục mù (𝐼𝑛𝑑𝑒𝑥1, 𝐼𝑛𝑑𝑒𝑥2) để truy vấn chuỗi con hiệu quả trên dữ liệu ký tự mã hóa, đảm bảo tốc độ lọc nhanh, tìm kiếm chính xác và không trả về dương tính giả.
  2. Đề xuất lược đồ ESIT-SSE: Lược đồ ESIT-SSE, với việc giới thiệu Vector giấu tin (IHV) và cấu trúc dữ liệu IHV_B+Tree, đã giải quyết được vấn đề rò rỉ thông tin thứ tự trong truy vấn khoảng trên dữ liệu số mã hóa, vốn là hạn chế của các lược đồ Mã hóa bảo toàn thứ tự (OPE) truyền thống.
  3. Mô hình triển khai DAS-PROXY nhất quán: Việc áp dụng mô hình DAS-PROXY một cách nhất quán cho cả hai lược đồ đã tăng cường tính khả thi triển khai, giảm gánh nặng tính toán cho người dùng cuối và tập trung quản lý bảo mật tại Máy chủ trung gian an toàn (Proxy Server).
  4. Cân bằng tối ưu hiệu năng và bảo mật: Luận án đã chứng minh khả năng đạt được sự cân bằng tối ưu giữa hiệu năng truy vấn (chi phí tập trung tại CS, một vòng giao tiếp dữ liệu, độ phức tạp thuật toán cạnh tranh) và bảo mật (chống rò rỉ chỉ mục và mẫu truy vấn theo mô hình IND-CKA2).
  5. Phân tích bảo mật và đánh giá hiệu năng nghiêm ngặt: Nghiên cứu đã thực hiện phân tích bảo mật lý thuyết và đánh giá hiệu năng thực nghiệm trên CSDL TPC-H với số lượng bản ghi lớn (ví dụ: 𝑁𝑅 = 1000000), cung cấp bằng chứng vững chắc về tính hiệu quả của các giải pháp.
  6. Xác định rõ ràng các điều kiện biên và hướng phát triển tương lai: Luận án đã trung thực thừa nhận các giới hạn của mình và phác thảo một lộ trình nghiên cứu tương lai toàn diện, mở ra nhiều hướng tiềm năng cho các công trình tiếp theo.

Paradigm advancement với evidence: Luận án đại diện cho một bước tiến quan trọng trong lĩnh vực Mã hoá có thể tìm kiếm, chuyển dịch từ các giải pháp chuyên biệt, thường đánh đổi giữa hiệu năng và bảo mật, sang một phương pháp tiếp cận toàn diện hơn. Bằng chứng rõ ràng nằm ở việc các lược đồ đề xuất "đạt ưu thế so với các công trình tiêu biểu liên quan" (Mở đầu, Đóng góp của luận án) trong khi giải quyết các dạng truy vấn phức tạp hơn. Việc tích hợp các lý thuyết mật mã và cấu trúc dữ liệu tiên tiến trong một kiến trúc hệ thống thực tế (DAS-PROXY) đã thiết lập một khuôn mẫu mới cho việc phát triển các giải pháp bảo mật dữ liệu đám mây.

3+ new research streams opened:

  1. Chỉ mục mù đa năng: Hướng nghiên cứu về việc thiết kế các chỉ mục mù có khả năng hỗ trợ nhiều dạng truy vấn phức tạp (chuỗi con, khoảng, đa điều kiện) một cách linh hoạt và hiệu quả mà không cần nhiều chỉ mục riêng biệt.
  2. Mật mã học cho truy vấn phức tạp trên CSDL phi quan hệ: Mở rộng các kỹ thuật đã phát triển cho CSDLQH sang các mô hình CSDL phi quan hệ (NoSQL) để đáp ứng nhu cầu của các hệ thống dữ liệu lớn hiện đại.
  3. Tích hợp tối ưu FHE/PHE với SSE: Khai thác sự kết hợp giữa Mã hóa đồng hình (FHE/PHE) và SSE để thực hiện các phép tính phức tạp trên dữ liệu mã hóa mà vẫn duy trì hiệu năng và bảo mật cho các truy vấn cơ bản.
  4. Bảo mật Proxy Server động và mở rộng khả năng: Nghiên cứu sâu hơn về cách Proxy Server có thể chủ động thích ứng với các thay đổi về tải, người dùng, và chính sách bảo mật, đồng thời đảm nhận các chức năng mở rộng như cân bằng tải hay xử lý song song.

Global relevance với international comparison: Các giải pháp của luận án có tính phù hợp toàn cầu cao, khi vấn đề bảo mật dữ liệu trên Cloud Server là một mối quan tâm chung của các tổ chức và chính phủ trên thế giới. Bằng cách so sánh các phương pháp với các công trình nghiên cứu quốc tế nổi bật như của Chase và Shen (2015) [30], Faber et al. (2015) [38], Strizhov và Ray (2016) [102], Mainardi et al. (2021) [80], và các lược đồ OPE của Boldyreva et al. (2009) [71], luận án đã khẳng định vị thế và đóng góp của mình vào bức tranh nghiên cứu toàn cầu về Mã hoá có thể tìm kiếm.

Legacy measurable outcomes: Các kết quả của luận án có thể đo lường được thông qua:

  • Hiệu năng: Giảm thời gian truy vấn trung bình (thể hiện qua các biểu đồ thời gian thực thi như Hình 2.16, 3.16) và cải thiện độ phức tạp thuật toán so với các giải pháp trước đó (Bảng 2.4, 3.5).
  • Bảo mật: Khả năng chống rò rỉ thông tin chỉ mục và mẫu truy vấn được chứng minh lý thuyết theo các mô hình bảo mật tiêu chuẩn (IND-CKA2).
  • Khả thi triển khai: Dễ dàng tích hợp vào các hệ thống CSDL đám mây hiện có nhờ mô hình DAS-PROXY thống nhất.
  • Ứng dụng thực tiễn: Số lượng các dự án công nghiệp hoặc sản phẩm thương mại sử dụng các nguyên lý hoặc thuật toán tương tự, dẫn đến việc tăng cường bảo mật dữ liệu cho hàng triệu người dùng và tổ chức trên toàn cầu.