Tổng quan luận án
Tính cấp thiết và khoảng trống nghiên cứu
Trong bối cảnh điện toán đám mây và các hệ thống lưu trữ ngoài phát triển mạnh mẽ, việc lưu trữ dữ liệu của cá nhân và doanh nghiệp tại các nhà cung cấp dịch vụ trực tuyến ngày càng trở nên phổ biến. Mô hình này mang lại nhiều lợi ích thực tiễn như loại bỏ gánh nặng cài đặt, cấu hình, bảo trì phần cứng và mở rộng tài nguyên linh hoạt. Tuy nhiên, vấn đề an toàn và bảo mật dữ liệu đặt ra những thách thức đáng kể. Người dùng không thể đặt niềm tin tuyệt đối vào nhà cung cấp dịch vụ lưu trữ (vốn chỉ được xem là thực thể bán tin cậy - semi-trusted). Nhà cung cấp dịch vụ có thể che giấu các sự cố làm mất mát dữ liệu hoặc cố ý xóa bớt các phần dữ liệu ít được truy xuất nhằm tiết kiệm không gian lưu trữ.
Để giải quyết tình trạng này, quy trình kiểm định dữ liệu (data auditing) nhằm kiểm tra tính toàn vẹn và xác định xem dữ liệu có bị mất mát hoặc bị xóa hay không là một yêu cầu cấp thiết. Theo các tiêu chuẩn thiết kế hệ thống kiểm định, giải pháp cần đáp ứng các tiêu chí: tính hiệu quả (độ phức tạp tính toán thấp), tính kiểm định công khai (cho phép ủy quyền cho bên thứ ba kiểm định để giảm tải cho người dùng), tính thường xuyên, khả năng phát hiện mất mát, khả năng phục hồi và tính động (hỗ trợ cập nhật dữ liệu). Trong đó, kiểm định công khai đóng vai trò then chốt nhưng lại nảy sinh một khoảng trống nghiên cứu lớn: khi ủy quyền cho một tổ chức kiểm định thứ ba (Third-party Auditor - TPA) không hoàn toàn đáng tin cậy, làm thế nào để TPA thực hiện kiểm định tính toàn vẹn của dữ liệu mà hoàn toàn không thể đọc hay suy diễn được nội dung dữ liệu gốc (đảm bảo tính riêng tư của dữ liệu). Đồng thời, các giải pháp truyền thống dựa trên hàm đồng cấu phức tạp, mã RSA hoặc ánh xạ song tuyến tính (bilinear pairings) thường đòi hỏi chi phí tính toán và truyền thông rất lớn.
Mục tiêu và câu hỏi nghiên cứu
Mục tiêu tổng quát của luận án là xây dựng các giải pháp kỹ thuật hiệu quả cho bài toán kiểm định công khai đảm bảo tính riêng tư cho dữ liệu lưu trữ ngoài (bao gồm cả môi trường điện toán đám mây), giảm thiểu chi phí tính toán so với các kỹ thuật dựa trên ánh xạ song tuyến tính hay mã hóa RSA cổ điển.
Tác giả xác định 5 mục tiêu nghiên cứu cụ thể được đánh số như sau:
- Khảo sát lại các tính chất của ma trận giả nghịch đảo trên trường hữu hạn.
- Đề xuất thuật toán xây dựng ma trận giả nghịch đảo trên trường hữu hạn và đánh giá thuật toán.
- Áp dụng ma trận giả nghịch đảo để xây dựng ứng dụng kiểm định dữ liệu.
- Đề xuất thuật toán xây dựng mã xác thực thông điệp đảm bảo tính riêng tư.
- Áp dụng mã xác thực thông điệp đảm bảo tính riêng tư để xây dựng ứng dụng kiểm định dữ liệu.
Mô hình kiểm định công khai bảo toàn tính riêng tư được thiết lập xung quanh 3 thực thể:
- Chủ dữ liệu (Data Owner - DO): Người dùng dịch vụ lưu trữ ngoài, có nhu cầu kiểm tra dữ liệu nhưng ủy quyền kiểm định cho bên thứ ba.
- Máy chủ lưu trữ (Server / Cloud Server - CS): Nhà cung cấp dịch vụ lưu trữ dữ liệu ngoài, được giả định là bán tin cậy (semi-trusted).
- Tổ chức kiểm định thứ ba (Third-party Auditor - TPA): Tổ chức được chủ dữ liệu thuê để thực hiện kiểm định tính nguyên vẹn của dữ liệu trên máy chủ mà không được phép đọc nội dung dữ liệu rõ.
Mô hình vận hành thông qua 3 luồng giao tiếp:
- (1) Chủ dữ liệu tải dữ liệu cùng các siêu dữ liệu/thông tin kiểm định (metadata) lên máy chủ.
- (2) Chủ dữ liệu gửi yêu cầu kiểm định cho TPA; TPA sau khi hoàn tất kiểm tra sẽ gửi thông báo kết quả lại cho chủ dữ liệu.
- (3) TPA gửi truy vấn kiểm định tới máy chủ; máy chủ tính toán, tổng hợp thông tin và gửi phản hồi về cho TPA mà không gửi nội dung dữ liệu dạng rõ.
+---------------------------------------------+
| Chủ dữ liệu (DO) |
+---------------------------------------------+
/ \
(1) / \ (2)
v v
+-----------------------+ (3) Truy vấn +-----------------------+
| Máy chủ lưu trữ | <==================> | Tổ chức kiểm định |
| (Server / CS) | Phản hồi tổng hợp| thứ ba (TPA) |
+-----------------------+ +-----------------------+
Đối tượng và phạm vi nghiên cứu
- Đối tượng nghiên cứu: Các cấu trúc toán học đại số (ma trận giả nghịch đảo, ma trận tự trực giao dòng, ma trận khả nghịch trên trường hữu hạn), các hàm mật mã học (hàm băm mật mã, mã xác thực thông điệp MAC, định lý số dư Trung Hoa), và các giao thức kiểm định tính toàn vẹn dữ liệu lưu trữ ngoài.
- Phạm vi nghiên cứu:
- Về không gian: Áp dụng cho các hệ thống lưu trữ ngoài, hệ thống lưu trữ đám mây đơn máy chủ, đa nhà cung cấp dịch vụ và cơ sở dữ liệu.
- Về mặt đại số và kỹ thuật: Tập trung vào trường hữu hạn $\mathbb{Z}_p$ (với $p$ nguyên tố), khảo sát các phép toán ma trận và thuật toán mật mã thay thế cho phép tính lũy thừa và ánh xạ song tuyến tính nặng nề.
Tổng quan tài liệu và vị trí của luận án
Các hướng nghiên cứu trước
Luận án đã hệ thống hóa và phân tích các công trình nghiên cứu tiêu biểu trong lĩnh vực kiểm định dữ liệu từ năm 2007 đến năm 2016:
- Juels và Kaliski (2007) [12]: Đưa ra khái niệm "proof of retrievability" (PoR). Tác giả xem dữ liệu gốc là một tập hợp các khối, chèn thêm các khối dữ liệu giả ("sentinel") và thực hiện hoán vị để phân tán vị trí. Khi máy chủ làm mất dữ liệu, xác suất xóa nhầm các khối sentinel là rất cao, giúp người kiểm định phát hiện bất thường. Phương pháp này có ưu điểm đơn giản, TPA không cần biết nội dung do chỉ truy vấn sentinel, đồng thời có thể áp dụng mã sửa sai (error-correcting code) [8] để khôi phục dữ liệu lỗi nhỏ. Tuy nhiên, hạn chế là làm tăng chi phí lưu trữ và không hỗ trợ tốt các thao tác cập nhật dữ liệu động (thêm, xóa, sửa khối).
- Ateniese, Burns, Curtmola và Herring (2007) [1]: Đề xuất mô hình "provable data possession" (PDP) với hai phương pháp không cần chèn dữ liệu giả: S-PDP (Strong PDP) và E-PDP (Efficient PDP). S-PDP dựa trên hệ mã RSA, hàm băm mật mã và tính chất đồng cấu để tạo và tổng hợp nhãn khối. E-PDP loại bỏ việc băm hệ số để giảm chi phí tính toán nhưng làm giảm độ an toàn. Hạn chế của hai phương pháp này là chi phí tính toán phép lũy thừa lớn, nhãn gắn liền với vị trí khối nên khó cập nhật động, và đặc biệt không ngăn được TPA đọc nội dung dữ liệu.
- Shacham và Waters (2008) [23]: Đề xuất hai phương pháp kiểm định (kiểm định riêng và kiểm định công khai). Dữ liệu được chia thành các khối (block) và mỗi khối chia thành các phần (sector). Phương pháp kiểm định riêng sử dụng hàm giả ngẫu nhiên với khóa bí mật; phương pháp kiểm định công khai sử dụng khóa công khai, tính tích lũy thừa và áp dụng ánh xạ song tuyến tính để kiểm tra tính khớp của nhãn và dữ liệu tổng hợp.
- Qian Wang và cộng sự (2009) [28]: Đề xuất phương pháp kiểm định hỗ trợ cập nhật dữ liệu động dựa trên chữ ký BLS (Boneh, Lynn, Shacham [5]) và cấu trúc cây nhị phân Merkle Hash. Thông tin vị trí khối được lưu trữ thông qua cấu trúc cây Merkle Hash thay vì lưu trực tiếp trong nhãn. Tuy nhiên, phương pháp phát sinh chi phí tính toán và truyền thông đáng kể khi truyền đường đi xác thực từ nút gốc đến nút lá.
- Cong Wang và cộng sự (2010) [27]: Đề xuất phương pháp dựa trên nhóm tuần hoàn với phép nhân và ánh xạ song tuyến tính. Phương pháp tăng cường tính riêng tư bằng cách đưa thêm một giá trị ngẫu nhiên vào kết quả tổng hợp thông điệp trước khi gửi cho TPA, kết hợp với nhãn BLS có chỉ số khối.
- Hao, Zhong và Yu (2011) [10]: Sử dụng nhóm các phần tử thặng dư bậc hai (quadratic residue). Nhãn được tạo bằng cách lũy thừa phần tử sinh với số mũ là giá trị khối dữ liệu. Phương pháp cho kích thước dữ liệu trả về ngắn nhờ phép tính modulo, nhưng máy chủ phải duyệt toàn bộ khối dữ liệu trong mỗi lần kiểm định.
- Zhu và cộng sự (2012) [30]: Mở rộng mô hình kiểm định cho dữ liệu lưu trữ trên nhiều nhà cung cấp dịch vụ, bổ sung vai trò của tổ chức trung gian và cấu trúc cây chỉ mục phân cấp băm (Hash Index Hierarchy - HIH) để che giấu kiến trúc lưu trữ phân tán đối với TPA.
- Erway và cộng sự (2015) [7]: Sử dụng cấu trúc danh sách nhảy cóc dùng để chứng thực (authenticated skip list) với hai thông số hạng (rank) và bậc (level) để hỗ trợ cập nhật dữ liệu động và xác thực đường đi kiểm định (verification path), phù hợp cho mô hình kiểm định riêng.
- Chang Liu và cộng sự (2015) [13]: Đề xuất cây Merkle Hash đa bản sao nhằm hỗ trợ kiểm định dữ liệu lưu trữ trên nhiều bản sao khác nhau (multi-replica) trong môi trường đám mây và hỗ trợ kiểm tra thao tác cập nhật động thông qua ánh xạ song tuyến tính.
- Yong Yu và cộng sự (2016) [29]: Đề xuất cơ chế cập nhật khóa kiểm định công khai hiệu quả dựa trên ánh xạ song tuyến tính. Khi thay đổi khóa, người dùng chỉ cần cập nhật siêu dữ liệu kiểm định thông qua phép lũy thừa với số mũ là tỷ số khóa mới và khóa cũ mà không cần tải lại toàn bộ dữ liệu gốc.
| Nội dung |
Mô tả |
| Mô hình kiểm định |
Gồm 2 loại chính: Kiểm định riêng (chủ dữ liệu tự kiểm định) và Kiểm định công khai (ủy quyền cho TPA). |
| Kỹ thuật chính trong các nghiên cứu trước |
Chèn dữ liệu giả (sentinel), mã xác thực thông điệp MAC, hệ mã RSA, chữ ký BLS, ánh xạ song tuyến tính, cây Merkle Hash, danh sách nhảy cóc chứng thực. |
| Tiêu chí về tính hiệu quả |
Chi phí tính toán kiểm định, chi phí lưu trữ siêu dữ liệu (metadata), chi phí truyền thông giữa máy chủ và TPA. |
| Tiêu chí về tính an toàn |
Đối với kiểm định công khai: Đảm bảo tính riêng tư của dữ liệu (TPA không đọc được nội dung dữ liệu gốc). |
Khoảng trống luận án lựa chọn giải quyết
Các nghiên cứu kiểm định công khai trước đây hầu hết phụ thuộc vào các phép toán phức tạp như ánh xạ song tuyến tính trên đường cong elliptic hoặc phép lũy thừa modulo kích thước lớn trong RSA, gây tiêu tốn tài nguyên máy chủ và TPA. Mặt khác, các phương pháp sử dụng mã xác thực thông điệp (MAC) thông thường tuy nhẹ nhưng lại bắt buộc bên kiểm định phải biết dữ liệu rõ. Luận án lựa chọn giải quyết bài toán: Xây dựng các cơ chế kiểm định công khai vừa bảo toàn tính riêng tư dữ liệu trước TPA, vừa tối ưu hóa chi phí tính toán và truyền thông bằng cách chuyển đổi nền tảng đại số sang ma trận giả nghịch đảo trên trường hữu hạn $\mathbb{Z}_p$ và phát triển mã xác thực thông điệp bảo toàn tính riêng tư (PPMAC).
Cơ sở lý thuyết và phương pháp nghiên cứu
Khung lý thuyết và các khái niệm sử dụng
1. Ma trận giả nghịch đảo (Moore-Penrose Pseudoinverse)
Khái niệm ma trận giả nghịch đảo được Penrose đưa ra năm 1955 [19] nhằm mở rộng khái niệm nghịch đảo cho các ma trận không vuông hoặc ma trận không khả nghịch. Với một ma trận $A$, ma trận giả nghịch đảo $A^\dagger$ là nghiệm duy nhất thỏa mãn 4 phương trình Penrose:
- $A X A = A$
- $X A X = X$
- $(A X)^T = A X$
- $(X A)^T = X A$
Trên trường số thực $\mathbb{R}$ hoặc số phức $\mathbb{C}$, ma trận giả nghịch đảo có thể xác định qua phân tích giá trị suy biến (Singular Value Decomposition - SVD): $A = U \Sigma V^T \implies A^\dagger = V \Sigma^\dagger U^T$. Tuy nhiên, việc tính toán ma trận trên trường số thực gặp khó khăn về sai số làm tròn và không tương thích với các thuật toán mật mã. Do đó, luận án nghiên cứu và thiết lập lại các tính chất của ma trận giả nghịch đảo trên trường hữu hạn $\mathbb{Z}_p$ ($p$ nguyên tố).
Trên trường hữu hạn $\mathbb{Z}_p$, điều kiện để tồn tại ma trận giả nghịch đảo được luận án hiệu chỉnh (Mệnh đề 3):
- Nếu ma trận $A^T A$ khả nghịch thì:
$$A^\dagger = (A^T A)^{-1} A^T \quad (\text{với } m \ge n)$$
- Nếu ma trận $A A^T$ khả nghịch thì:
$$A^\dagger = A^T (A A^T)^{-1} \quad (\text{với } m \le n)$$
2. Ma trận tự trực giao theo dòng và ma trận khả nghịch
Để sinh ma trận $A \in \mathbb{Z}_p^{m \times n}$ ($m < n$) sao cho $A A^T$ luôn khả nghịch, tác giả sử dụng khái niệm:
- Ma trận tự trực giao theo dòng (row-self-orthogonal): Ma trận $V$ thỏa mãn $V V^T = O$ (với $O$ là ma trận zero).
- Trong trường có đặc số 2: Ma trận $P = [Q \mid Q]$ là ma trận tự trực giao dòng.
- Trong trường có đặc số $p$ tồn tại $\alpha$ thỏa $\alpha^2 = -1 \pmod p$ (khi $p = 4n + 1$ theo định lý Lagrange hai bình phương): Ma trận $P = [Q \mid \alpha Q]$ là ma trận tự trực giao dòng.
- Theo định lý 4 bình phương Lagrange, tồn tại $\alpha, \beta, \gamma, \delta$ sao cho $\alpha^2 + \beta^2 + \gamma^2 + \delta^2 = 0$, khi đó ma trận $P = [\alpha Q \mid \beta Q \mid \gamma Q \mid \delta Q]$ là tự trực giao dòng.
- Ma trận ghép: Nếu $Z \in \mathbb{Z}_p^{m \times m}$ khả nghịch và $V \in \mathbb{Z}_p^{m \times (n-m)}$ tự trực giao dòng, thì ma trận ghép $A = [Z \mid V]$ thỏa mãn $A A^T = Z Z^T + V V^T = Z Z^T$. Do $Z$ khả nghịch nên $\det(A A^T) = \det(Z Z^T) \ne 0$, dẫn đến $A A^T$ luôn khả nghịch và $A^\dagger = A^T (A A^T)^{-1}$. Khi đó, $A A^\dagger = I$ (ma trận đơn vị) và $A^\dagger A$ là ma trận chiếu.
3. Mã xác thực thông điệp đảm bảo tính riêng tư (PPMAC)
Được xây dựng dựa trên hàm băm mật mã kết hợp với Định lý số dư Trung Hoa (Chinese Remainder Theorem - CRT), cho phép TPA kiểm tra tính xác thực của thông điệp mà không cần tiếp cận nội dung bản rõ.
Phương pháp nghiên cứu thực tế
- Phương pháp đại số và chứng minh hình thức: Phân tích toán học, chứng minh tính đúng đắn của các mệnh đề đại số trên trường hữu hạn $\mathbb{Z}_p$, chứng minh tính khả nghịch và tính chất duy nhất của ma trận giả nghịch đảo.
- Phương pháp thuật toán: Thiết kế và phân tích độ phức tạp thời gian của 4 thuật toán chính:
- Thuật toán 1 (
SimplePseudoMatrix): Sinh vector giả khả nghịch kích thước $1 \times n$ trên $\mathbb{Z}_p$. Xác suất chọn phần tử cuối cùng để ma trận khả nghịch đạt ít nhất $(p - 2)/p$.
- Thuật toán 2 (
PseudoInverseMatrix): Sinh ma trận chữ nhật giả khả nghịch $m \times n$ ($m < n$) bằng cách ghép ma trận khả nghịch $m \times m$ và ma trận tự trực giao dòng $m \times (n-m)$.
- Thuật toán 3 (
InverseMatrix): Sinh ma trận vuông khả nghịch $n \times n$ dựa trên phân tích tích ba ma trận $A = P L U$ (trong đó $P$ là ma trận hoán vị, $L$ là ma trận tam giác dưới có đường chéo khác 0, $U$ là ma trận tam giác trên có đường chéo khác 0).
- Thuật toán 4 (
SelfOrthoMatrix): Sinh ma trận chữ nhật tự trực giao dòng dựa trên việc nhân hệ số $\alpha$ ($\alpha^2 = -1 \pmod p$).
- Phương pháp thực nghiệm: Cài đặt thuật toán và đo đạc thời gian thực thi trên phần mềm toán học SageMath.
- Môi trường thực nghiệm: Máy ảo Oracle VirtualBox chạy hệ điều hành Fedora (32-bit), bộ nhớ RAM 512 MB, ổ cứng cấp phát động (kích thước thực 6.8 GB).
- Phần cứng máy chủ vật lý: Bộ vi xử lý Intel Core i5-2430M CPU @ 2.4 GHz.
- Quy trình đo: Với mỗi kích thước ma trận $(m, n)$, thực hiện lặp lại 30 lần để tính giá trị trung bình thời gian thực thi và độ lệch chuẩn.
Nội dung chính theo từng chương
Chương 1: Giới thiệu
Chương 1 trình bày bối cảnh ra đời của bài toán kiểm định tính toàn vẹn dữ liệu trong môi trường lưu trữ ngoài và điện toán đám mây. Tác giả chỉ ra ba nguy cơ bảo mật mà người dùng phải đối mặt, trong đó nhấn mạnh nguy cơ dữ liệu bị nhà cung cấp dịch vụ âm thầm xóa hoặc làm mất mát. Chương này hệ thống hóa các nghiên cứu liên quan từ năm 2007 đến 2016, phân loại thành hai hướng kiểm định riêng và kiểm định công khai. Đồng thời, chương 1 xác lập mô hình hệ thống gồm 3 thực thể (DO, CS, TPA), 3 luồng giao tiếp tương ứng, nêu rõ 5 mục tiêu nghiên cứu và cấu trúc tổng thể của luận án.
Chương 2: Cơ sở lý thuyết
Chương 2 tập trung xây dựng nền tảng toán học và mật mã học cho hai hướng tiếp cận của luận án:
- Nghiên cứu ma trận giả nghịch đảo trên trường hữu hạn $\mathbb{Z}_p$: Khảo sát định nghĩa Moore-Penrose, phân tích sự không tương thích của tính chất độc lập tuyến tính trên trường số thực khi chuyển sang trường hữu hạn, và chứng minh điều kiện cần và đủ cho tính khả nghịch của $A A^T$ và $A^T A$ trên $\mathbb{Z}_p$.
- Thiết kế thuật toán sinh ma trận: Đề xuất và chứng minh tính đúng đắn của Thuật toán 1, 2, 3, 4. Số lượng ma trận giả khả nghịch kích thước $m \times n$ sinh ra bởi Thuật toán 2 được ước lượng là:
$$\mathcal{O}\left(|GL_m(\mathbb{Z}_p)| \times p^{m \times \lfloor(n-m)/2\rfloor}\right)$$
- Phân tích độ phức tạp và thực nghiệm: Chi phí sinh ma trận khả nghịch là $\mathcal{O}(m^3)$, chi phí sinh ma trận tự trực giao dòng là $\mathcal{O}(m(n-m))$, đưa đến tổng độ phức tạp thuật toán sinh ma trận giả khả nghịch xấp xỉ $\mathcal{O}(m^3)$. Kết quả thực nghiệm đo thời gian sinh ma trận được ghi nhận như sau:
| $m$ |
$n$ |
Kích thước ma trận $m \times n$ |
Thời gian trung bình (giây) |
Độ lệch chuẩn |
| 15 |
20 |
300 |
0.0029 |
0.0003 |
| 20 |
25 |
500 |
0.0048 |
0.0004 |
| 25 |
30 |
750 |
0.0073 |
0.0005 |
| 30 |
35 |
1050 |
0.0107 |
0.0006 |
| 35 |
40 |
1400 |
0.0152 |
0.0007 |
| 40 |
45 |
1800 |
0.0209 |
0.0008 |
| 45 |
50 |
2250 |
0.0281 |
0.0011 |
| 50 |
55 |
2750 |
0.0369 |
0.0013 |
- Mã xác thực thông điệp đảm bảo tính riêng tư (PPMAC): Trình bày nguyên lý xây dựng mã xác thực trên nền tảng hàm băm mật mã và định lý số dư Trung Hoa, phân tích độ an toàn và chứng minh khả năng chống lại việc tái tạo bản rõ từ phía TPA.
Chương 3: Kiểm định công khai đảm bảo tính riêng tư cho dữ liệu lưu trữ ngoài
Chương 3 chi tiết hóa hai phương pháp kiểm định đề xuất và ứng dụng:
- Phương pháp 1: Dựa vào ma trận giả nghịch đảo: Thiết kế quy trình kiểm định 3 pha (Pha 1: DO tạo siêu dữ liệu; Pha 2: TPA gửi thách đố và CS tổng hợp bằng ma trận giả nghịch đảo; Pha 3: TPA thực hiện kiểm định tính toàn vẹn thông qua phép nhân ma trận). Phân tích chi phí lưu trữ, chi phí truyền thông và chi phí tính toán của phương pháp, đồng thời xác lập tiêu chí lựa chọn tham số $(m, n, p)$ và đánh giá tính chính xác.
- Phương pháp 2: Dựa vào mã xác thực thông điệp (PPMAC): Trình bày giao thức tổng quát và giao thức cụ thể áp dụng PPMAC và định lý số dư Trung Hoa. Phân tích chi phí lưu trữ, chi phí truyền thông và tính toán tương ứng.
- Ứng dụng cho cơ sở dữ liệu: Mở rộng giao thức kiểm định bảo vệ tính riêng tư cho các bảng dữ liệu có cấu trúc (bản ghi, trường dữ liệu).
- Đánh giá và so sánh: Tổng hợp so sánh chi phí và tính năng giữa hai phương pháp đề xuất với các công trình nghiên cứu điển hình trong y văn (S-PDP, E-PDP, BLS, Merkle Hash Tree).
Chương 4: Kết luận
Tổng kết các kết quả đạt được về mặt lý thuyết ma trận trên trường hữu hạn, các thuật toán sinh ma trận và hai giao thức kiểm định dữ liệu công khai đảm bảo tính riêng tư. Đồng thời, chương 4 vạch ra các hướng nghiên cứu mở rộng trong tương lai.
Phần Phụ lục
- Phụ lục A.1: Các tính chất mở rộng về ma trận trực giao.
- Phụ lục A.2: Phương pháp kiểm định công khai dựa vào vị nhóm chính quy (regular semigroups).
- Phụ lục A.3: Giao thức chia sẻ khóa bí mật và thay khóa trên đám mây cho trường hợp 2 người dùng (chia sẻ $M \cdot X$) và trường hợp $N$ người dùng.
Kết quả và những đóng góp mới
Đóng góp về mặt lý luận
- Lý thuyết ma trận giả nghịch đảo trên trường hữu hạn $\mathbb{Z}_p$: Khảo sát đầy đủ tính chất của ma trận giả nghịch đảo Moore-Penrose trong môi trường đại số hữu hạn; xác lập điều kiện cần và đủ cho tính khả nghịch của $A A^T$ và $A^T A$; chứng minh công thức xây dựng ma trận giả nghịch đảo thông qua ghép ma trận khả nghịch với ma trận tự trực giao dòng.
- Khái niệm và mô hình PPMAC: Đề xuất khái niệm mã xác thực thông điệp đảm bảo tính riêng tư dựa trên sự kết hợp giữa hàm băm mật mã và định lý số dư Trung Hoa, cung cấp một công cụ mật mã mới cho bài toán kiểm định công khai.
Đóng góp về mặt thực tiễn
- Bộ thuật toán sinh ma trận hiệu năng cao: Xây dựng và kiểm chứng 4 thuật toán sinh vector và ma trận chữ nhật giả khả nghịch trên $\mathbb{Z}_p$ với độ phức tạp $\mathcal{O}(m^3)$, thực thi trên thực tế chỉ mất từ $0.0029$ đến $0.0369$ giây cho các kích thước từ $15 \times 20$ đến $50 \times 55$.
- Hai giao thức kiểm định công khai bảo toàn tính riêng tư:
- Giao thức dựa trên ma trận giả nghịch đảo loại bỏ hoàn toàn các phép tính lũy thừa và ánh xạ song tuyến tính nặng nề, giảm thiểu chi phí tính toán cho máy chủ và TPA.
- Giao thức dựa trên PPMAC tối ưu hóa chi phí truyền thông so với việc sử dụng hàm băm thông thường trong khi vẫn ngăn chặn TPA tiếp cận dữ liệu gốc.
- Mở rộng ứng dụng và quản lý khóa: Đề xuất giải pháp kiểm định tính toàn vẹn cho cơ sở dữ liệu có cấu trúc và giao thức chia sẻ/cập nhật khóa an toàn cho nhiều người dùng trên môi trường đám mây (Phụ lục A.3).
Hạn chế và hướng nghiên cứu tiếp
Hạn chế
- Yêu cầu về cấu trúc trường số: Việc xây dựng ma trận tự trực giao dòng phụ thuộc vào đặc số trường $p$ (ví dụ trường hợp $p = 4n + 1$ để tồn tại $\alpha^2 = -1 \pmod p$).
- Độ phức tạp tạo ma trận: Chi phí sinh ma trận giả nghịch đảo ở mức $\mathcal{O}(m^3)$, mặc dù tối ưu hơn các phép toán đường cong elliptic nhưng vẫn cần tính toán cẩn trọng khi kích thước ma trận $m, n$ mở rộng lên quy mô rất lớn.
- Môi trường thực nghiệm: Các số liệu thực nghiệm trong luận án được thu thập chủ yếu trên môi trường máy ảo đơn lẻ (VirtualBox, SageMath, RAM 512 MB), chưa triển khai thử nghiệm trên các hạ tầng đám mây phân tán diện rộng quy mô lớn.
Hướng nghiên cứu tiếp
- Mở rộng và tối ưu hóa các thuật toán sinh ma trận giả nghịch đảo cho các trường hợp ma trận kích thước lớn với cấu trúc đặc thù.
- Hoàn thiện và mở rộng các giao thức kiểm định công khai dựa trên cấu trúc vị nhóm chính quy (regular semigroups) đã được phác thảo trong Phụ lục A.2.
- Phát triển sâu hơn các cơ chế kiểm định hỗ trợ cập nhật dữ liệu động hoàn toàn (thêm, xóa, sửa từng phần dữ liệu) trên nền tảng ma trận giả nghịch đảo.
- Tối ưu hóa các giao thức chia sẻ và thay thế khóa bí mật cho nhóm $N$ người dùng trên đám mây.
Giá trị tham khảo
Luận án là tài liệu tham khảo chuyên sâu có giá trị cho nhiều đối tượng trong lĩnh vực Công nghệ thông tin và Khoa học máy tính:
- Nghiên cứu sinh và học viên cao học chuyên ngành An toàn thông tin, Mật mã học và Khoa học máy tính: Cung cấp cơ sở lý thuyết toán học vững chắc về việc mở rộng ma trận giả nghịch đảo và đại số tuyến tính trên trường hữu hạn $\mathbb{Z}_p$, cùng phương pháp tiếp cận mới trong thiết kế giao thức kiểm định dữ liệu không dùng ánh xạ song tuyến tính.
- Giảng viên và nhà nghiên cứu: Có thể sử dụng Chương 2 làm tài liệu tham khảo giảng dạy cho các chuyên đề nâng cao về đại số ứng dụng trong mật mã học, mã xác thực thông điệp và bảo mật điện toán đám mây.
- Kỹ sư và kiến trúc sư hệ thống đám mây: Cung cấp chi tiết kỹ thuật (Chương 3 và Phụ lục) để tham khảo xây dựng các dịch vụ lưu trữ dữ liệu ngoài an toàn, các cơ chế kiểm định tính toàn vẹn tự động và các giải pháp quản lý khóa cho nhóm người dùng.
Câu hỏi thường gặp
1. Mô hình kiểm định công khai trong luận án gồm những thực thể nào và vai trò của từng thực thể ra sao?
Mô hình gồm 3 thực thể:
- Chủ dữ liệu (Data Owner - DO): Người sở hữu dữ liệu, tạo siêu dữ liệu kiểm định, tải dữ liệu lên máy chủ và ủy quyền kiểm định cho TPA.
- Máy chủ lưu trữ (Server / Cloud Server - CS): Cung cấp dịch vụ lưu trữ ngoài, được xem là bán tin cậy (semi-trusted), có nhiệm vụ lưu trữ dữ liệu, tổng hợp thông tin khi có yêu cầu kiểm định từ TPA mà không làm lộ dữ liệu rõ.
- Tổ chức kiểm định thứ ba (Third-party Auditor - TPA): Thực thể độc lập được DO ủy quyền để thực hiện kiểm định tính toàn vẹn của dữ liệu trên CS mà không được phép đọc nội dung dữ liệu rõ.
2. Tại sao ma trận giả nghịch đảo trên trường số thực không thể áp dụng trực tiếp cho kiểm định dữ liệu và tác giả giải quyết như thế nào?
Trên trường số thực $\mathbb{R}$ hoặc số phức $\mathbb{C}$, việc tính toán ma trận giả nghịch đảo dựa trên phân tích SVD gặp phải vấn đề sai số làm tròn số học, khó kiểm soát sai số và tiêu tốn nhiều tài nguyên lưu trữ, không phù hợp cho các thuật toán bảo mật. Tác giả giải quyết bằng cách chuyển đổi và chứng minh lại toàn bộ tính chất của ma trận giả nghịch đảo trên trường hữu hạn $\mathbb{Z}_p$, thiết lập điều kiện khả nghịch thông qua ma trận tự trực giao dòng và ma trận ghép $A = [Z \mid V]$.
3. Nguyên lý cốt lõi của Thuật toán 2 (PseudoInverseMatrix) trong việc tạo ma trận giả khả nghịch chữ nhật là gì?
Thuật toán 2 tạo ma trận $A \in \mathbb{Z}_p^{m \times n}$ ($m < n$) bằng cách ghép theo cột hai ma trận: một ma trận khả nghịch $Z \in \mathbb{Z}_p^{m \times m}$ (sinh bởi Thuật toán 3 qua phân tích $A = PLU$) và một ma trận tự trực giao theo dòng $V \in \mathbb{Z}_p^{m \times (n-m)}$ (sinh bởi Thuật toán 4 thỏa mãn $VV^T = O$). Khi đó, $AA^T = ZZ^T + VV^T = ZZ^T$. Vì $Z$ khả nghịch nên $\det(AA^T) = \det(ZZ^T) \ne 0$, đảm bảo $AA^T$ luôn khả nghịch trên $\mathbb{Z}_p$ và xác định được duy nhất ma trận giả nghịch đảo $A^\dagger = A^T(AA^T)^{-1}$.
4. Thuật toán sinh ma trận vuông khả nghịch (Thuật toán 3) trong trường $\mathbb{Z}_p$ được xây dựng như thế nào?
Thuật toán 3 dựa trên Mệnh đề 6 về tích ba ma trận $A = P L U$:
- Sinh ngẫu nhiên ma trận tam giác trên $U \in \mathbb{Z}p^{n \times n}$ có các phần tử trên đường chéo chính $U{i,i} \ne 0, \forall i$.
- Sinh ngẫu nhiên ma trận tam giác dưới $L \in \mathbb{Z}p^{n \times n}$ có các phần tử trên đường chéo chính $L{i,i} \ne 0, \forall i$.
- Sinh ngẫu nhiên ma trận hoán vị $P \in \mathbb{Z}_p^{n \times n}$.
- Ma trận tích $A = P L U$ chắc chắn khả nghịch vì $\det(A) = \det(P) \cdot \det(L) \cdot \det(U) \ne 0$.
5. Hai phương pháp kiểm định đề xuất trong Chương 3 mang lại ưu điểm gì so với các công trình dựa trên RSA hoặc ánh xạ song tuyến tính?
- Phương pháp dựa trên ma trận giả nghịch đảo: Thay thế các phép tính lũy thừa trường hữu hạn và ánh xạ song tuyến tính phức tạp bằng các phép nhân ma trận trên trường $\mathbb{Z}_p$, giúp giảm thiểu đáng kể chi phí tính toán cho cả máy chủ và TPA trong khi vẫn che giấu được nội dung dữ liệu rõ trước TPA.
- Phương pháp dựa trên PPMAC: Sử dụng hàm băm mật mã kết hợp định lý số dư Trung Hoa, cho phép kiểm định công khai bảo toàn tính riêng tư và giảm thiểu chi phí truyền thông so với các phương pháp dùng mã xác thực thông điệp thông thường.
Kết luận
Luận án tiến sĩ của tác giả Đặng Hải Vân đã giải quyết bài toán kiểm định công khai bảo toàn tính riêng tư cho dữ liệu lưu trữ ngoài trong điện toán đám mây. Công trình đã khảo sát và thiết lập cơ sở toán học vững chắc cho ma trận giả nghịch đảo trên trường hữu hạn $\mathbb{Z}_p$, đồng thời đề xuất các thuật toán sinh ma trận với độ phức tạp $\mathcal{O}(m^3)$. Dựa trên nền tảng đó, luận án xây dựng hai giải pháp kiểm định công khai hiệu quả dựa trên ma trận giả nghịch đảo và mã xác thực thông điệp đảm bảo tính riêng tư (PPMAC), khắc phục hạn chế về chi phí tính toán của các kỹ thuật truyền thống mà vẫn bảo vệ an toàn tính riêng tư dữ liệu trước bên kiểm định thứ ba. Các kết quả thực nghiệm trên phần mềm SageMath đã chứng minh tính khả thi và hiệu năng thực tế của các giải pháp được đề xuất.
