Tổng quan về luận án

Trong kỷ nguyên chuyển đổi số và bùng nổ hạ tầng điện toán đám mây, bảo mật dữ liệu truyền thông trở thành bài toán sống còn đối với các hệ thống thông tin quy mô lớn. Các cơ chế mã hóa khóa công khai truyền thống như RSA hay ElGamal và chuẩn mã hóa khóa đối xứng AES vốn được thiết kế cho mô hình truyền tin đơn điểm (1-1), bộc lộ những rào cản nghiêm trọng về hiệu năng và khả năng quản lý khóa khi triển khai trên các mô hình truyền thông một-nhiều (1-$n$). Luận án tiến sĩ kỹ thuật chuyên ngành Hệ thống thông tin (Mã số: 9.04) với đề tài "Một số hệ mã hóa với quyền giải mã linh động" do Nghiên cứu sinh Trịnh Văn Anh thực hiện dưới sự hướng dẫn khoa học của TS. Nguyễn Bình và TS. Hồ Văn Hương tại Học viện Công nghệ Bưu chính Viễn thông (2021), đã giải quyết căn bản những điểm nghẽn lý thuyết và kỹ thuật trong mã hóa quảng bá (Broadcast Encryption - BE), mã hóa quảng bá đa kênh (Multi-Channel Broadcast Encryption - MCBE) và mã hóa dựa trên thuộc tính (Attribute-Based Encryption - ABE).

                 +-------------------------------------------------------+
                 |  HỆ THỐNG MÃ HÓA VỚI QUYỀN GIẢI MÃ LINH ĐỘNG (1-n)   |
                 +-------------------------------------------------------+
                                             |
        +------------------------------------+------------------------------------+
        |                                    |                                    |
        v                                    v                                    v
+-------------------------------+ +---------------------------------+ +---------------------------------+
|   Mã hóa quảng bá (BE/IBBE)   | |  Mã hóa quảng bá đa kênh (MCBE) | |  Mã hóa dựa trên thuộc tính     |
| - Fiat-Naor (1994)            | | - Pointcheval et al. (2014)     | |   (CP-ABE / KP-ABE)             |
| - NNL-1, NNL-2 (2001)         | | - Đề xuất: MCBE Khóa công khai  | | - Sahai-Waters (2005)           |
| - BGW (2005), Delerablée (07) | |   trên Ánh xạ song tuyến Loại 3 | | - Rouselakis-Waters (2013)      |
+-------------------------------+ +---------------------------------+ +---------------------------------+
                                                                                      |
                                                     +--------------------------------+----------------+
                                                     |                                                 |
                                                     v                                                 v
                                      +-------------------------------+             +----------------------------------+
                                      | CP-ABE-01: Bản mã Hằng số     |             | CP-ABE-02: Tìm kiếm trên Bản mã  |
                                      | |Hdr| = O(1), tối ưu Pairing  |             | (ABKS) qua Cửa sập (Trapdoor)    |
                                      +-------------------------------+             +----------------------------------+

Khoảng trống nghiên cứu then chốt mà luận án nhận diện xuất phát từ sự đánh đổi phức tạp giữa kích thước bản mã, độ dài khóa công khai/bí mật và chi phí tính toán giải mã:

  1. Các hệ mã hóa quảng bá khóa đối xứng kinh điển như NNL (Naor-Naor-Lotspiech, 2001) đòi hỏi người mã hóa phải nắm giữ khóa bí mật của toàn hệ thống, không hỗ trợ môi trường mở.
  2. Các lược đồ khóa công khai như BGW (Boneh-Gentry-Waters, 2005) sở hữu bản mã ngắn cố định gồm 2 phần tử nhóm ($O(1)$) nhưng độ dài khóa công khai lại tăng tuyến tính $O(N)$ theo tổng số người dùng của hệ thống.
  3. Lược đồ mã hóa quảng bá đa kênh MCBE của Pointcheval và cộng sự (2014) còn ở dạng khóa bí mật, tốc độ giải mã chậm và tiêu tốn tài nguyên truyền thông lớn.
  4. Các hệ CP-ABE tiên tiến (Rouselakis-Waters 2013, Agrawal-Chase 2017) có độ dài bản mã phụ thuộc tuyến tính vào số lượng thuộc tính trong chính sách truy cập, đồng thời thiếu hụt cơ chế tìm kiếm từ khóa an toàn trên dữ liệu mã hóa lưu trữ đám mây.

Nhằm vượt qua các giới hạn này, luận án tập trung giải quyết 3 câu hỏi nghiên cứu cốt lõi:

  • RQ1: Làm thế nào để thiết kế một lược đồ mã hóa quảng bá đa kênh MCBE dưới mô hình khóa công khai hoàn chỉnh, cho phép bất kỳ người dùng nào cũng có thể mã hóa đồng thời $t$ gói tin tới $t$ phân vùng người nhận riêng biệt mà vẫn tối ưu hóa độ dài bản mã và tốc độ giải mã?
  • RQ2: Làm thế nào để xây dựng lược đồ mã hóa dựa trên thuộc tính với chính sách bản mã (CP-ABE) đạt kích thước bản mã hằng số $O(1)$ mà không bị giới hạn trong các chính sách dạng cổng AND hoặc ngưỡng cứng nhắc?
  • RQ3: Làm thế nào để tích hợp cơ chế tìm kiếm từ khóa trực tiếp trên bản mã CP-ABE thông qua máy chủ đám mây không tin cậy (Untrusted Cloud Server) mà không làm rò rỉ nội dung dữ liệu và quyền riêng tư của từ khóa truy vấn?

Các giả thuyết nghiên cứu tương ứng được thiết lập:

  • H1: Việc kết hợp cấu trúc đại số của ánh xạ song tuyến phi đối xứng (Pairings Loại 3) với kỹ thuật định danh sẽ tạo ra lược đồ MCBE khóa công khai có chi phí giải mã độc lập với tổng số người dùng toàn hệ thống.
  • H2: Việc áp dụng giả thuyết bài toán khó mở rộng $(P, Q, R, f)$-GDDHE cho phép nén toàn bộ các thành phần bản mã CP-ABE về một số lượng phần tử cố định trong nhóm Abelian $\mathbb{G}_T$.
  • H3: Việc phân tách khóa bí mật thành các thành phần cửa sập (trapdoor) cho phép máy chủ công cộng thực hiện phép kiểm tra khớp từ khóa mà không cần giải mã dữ liệu gốc.

Phạm vi nghiên cứu bao quát các hệ thống truyền thông với tham số an toàn $\lambda \ge 80$ bit (tương đương cấp bảo mật thực tế của đường cong elliptic với số nguyên tố $p > 2^\lambda$), hỗ trợ hệ thống $N$ người dùng phân tán trên $m$ kênh truyền tải độc lập, đồng thời cài đặt thực nghiệm đánh giá hiệu năng trên thư viện ghép cặp số học chuẩn PBC (Pairing-Based Cryptography).

Literature Review và Positioning

Cơ sở lý thuyết của mật mã học cho quyền giải mã linh động được định hình từ công trình tiên phong của Fiat và Naor (1994), giới thiệu khái niệm Broadcast Encryption nhằm cho phép trung tâm phát sóng truyền tải dữ liệu đến một tập con người dùng hợp lệ $S \subseteq \mathcal{N}$ bất kỳ và loại bỏ các thiết bị giải mã trái phép $\mathcal{R} = \mathcal{N} \setminus S$. Naor, Naor và Lotspiech (2001) đã cụ thể hóa mô hình này qua khung bảo vệ nội dung số NNL dựa trên cấu trúc cây nhị phân đầy đủ:

  • Lược đồ NNL-1 (Subset Cover): Bản mã có kích thước $\omega = r \log(N/r)$ và độ dài khóa bí mật mỗi người dùng là $\log N + 1$, trong đó $r = |\mathcal{R}|$ là số lượng người dùng bị thu hồi quyền giải mã.
  • Lược đồ NNL-2 (Complete Subtree): Rút ngắn kích thước bản mã xuống $2r - 1$, hoàn toàn không phụ thuộc vào tổng số người dùng $N$, nhưng phải trả giá bằng độ dài khóa người dùng tăng lên mức $O(\log^2 N)$ cùng độ phức tạp tính toán bổ sung từ hàm sinh giả ngẫu nhiên $G_L, G_R, G_M$.

Điểm yếu chí tử của NNL là chỉ hoạt động dưới mô hình khóa đối xứng (người mã hóa phải là nhà quản trị hệ thống nắm giữ $2N-1$ khóa bí mật con). Dodis và Fazio (2002) cùng Phan và Trịnh (2014) đã ứng dụng kỹ thuật mã hóa dựa trên định danh (Identity-Based Encryption - IBE của Shamir 1984, Boneh-Franklin 2001) và lược đồ GWIBE để chuyển đổi NNL sang hệ thống khóa công khai, đưa kích thước khóa bí mật về hằng số 3 phần tử.

                           LỊCH SỬ PHÁT TRIỂN VÀ VỊ TRÍ CỦA NGHIÊN CỨU
====================================================================================================
Fiat & Naor (1994)          --> Đặt nền móng cho Broadcast Encryption (BE)
        |
NNL-1 & NNL-2 (2001)        --> Framework cây nhị phân (Khóa đối xứng: Bản mã O(r log(N/r)), Khóa O(log N))
        |
Boneh-Gentry-Waters (2005)  --> BE Khóa công khai với Bản mã hằng số O(1) (Dựa trên DBDHE; Khóa PK O(N))
        |
Delerablée (2007)           --> Identity-Based Broadcast Encryption (IBBE) (Khóa PK O(m); Dựa trên GDDHE)
        |
Sahai & Waters (2005)       --> Khởi xướng Attribute-Based Encryption (Fuzzy IBE)
        |
Goyal et al. (2006) / LSSS  --> CP-ABE/KP-ABE hỗ trợ chính sách Boolean tổng quát (Bản mã O(|A|))
        |
Pointcheval et al. (2014)   --> Khởi xướng Multi-Channel Broadcast Encryption (MCBE - Bản mã Khóa bí mật)
        |
====================================================================================================
VỊ TRÍ ĐÓNG GÓP CỦA LUẬN ÁN (Trịnh Văn Anh, 2021):
[1] MCBE Đề xuất: Chuyển đổi MCBE sang Khóa công khai, tối ưu hóa trên Pairing Loại 3.
[2] CP-ABE-01 Đề xuất: Nén kích thước bản mã về hằng số |Hdr| = O(1) với chính sách tổng quát.
[3] CP-ABE-02 Đề xuất: Tích hợp cơ chế Tìm kiếm Từ khóa Bảo mật (ABKS) qua Cửa sập trên Đám mây.
====================================================================================================

Một nhánh tiến hóa đột phá khác xuất hiện khi Boneh, Gentry và Waters (2005) giới thiệu hệ mã BGW dựa trên ánh xạ song tuyến. BGW đạt được kích thước bản mã $Hdr = (g^r, (v \cdot \prod_{j \in S} g_{n+1-j})^r) \in \mathbb{G}^2$ và khóa bí mật $d_i = v^{\alpha} g_i^{\gamma} \in \mathbb{G}$ cố định. Tuy nhiên, khóa công khai lại chứa $2n$ phần tử ($param = (g_1, \dots, g_n, g_{n+2}, \dots, g_{2n}, v)$). Delerablée (2007) khắc phục một phần nhược điểm này thông qua hệ mã hóa quảng bá dựa trên định danh (IBBE), giảm kích thước khóa công khai xuống phụ thuộc vào số người nhận tối đa $m$ trong một lần gửi thay vì tổng người dùng $N$, nhưng độ an toàn bị suy giảm khi phụ thuộc vào mô hình Tiên tri Ngẫu nhiên (Random Oracle Model - ROM) và giả thuyết bài toán khó tổng quát $(P, Q, R, f)$-GDDHE.

Trong lĩnh vực mã hóa dựa trên thuộc tính (ABE), từ công trình mở đường của Sahai và Waters (2005), hệ thống phân nhánh thành:

  • Mã hóa thuộc tính với chính sách khóa (KP-ABE): Bản mã gắn với tập thuộc tính, khóa bí mật chứa cây chính sách truy cập (Goyal et al., 2006).
  • Mã hóa thuộc tính với chính sách bản mã (CP-ABE): Bản mã chứa chính sách logic (Boolean expressions/LSSS), khóa bí mật chứa các thuộc tính người dùng (Bethencourt et al., 2007; Waters, 2011; Rouselakis-Waters, 2013; Agrawal-Chase, 2017).

Tranh luận học thuật cốt lõi trong dòng chảy tài liệu quốc tế tập trung vào hai mâu thuẫn lớn:

  1. Tranh luận giữa mô hình an toàn chuẩn (Standard Model) và mô hình Tiên tri Ngẫu nhiên (ROM): Các nghiên cứu của Waters (2011) và Agrawal-Chase (2017) ưu tiên an toàn thích ứng (adaptive security) trong mô hình chuẩn dưới các giả thuyết tĩnh như DBDHE hay $k$-Linear, nhưng chấp nhận bản mã và khóa bí mật dài $O(|\mathbb{A}|)$. Ngược lại, các công trình của Chen et al. (2014) và Delerablée (2007) chấp nhận mô hình ROM và bài toán khó dạng động ($q$-type assumptions) để thu được bản mã ngắn gọn $O(1)$.
  2. Hạn chế của mô hình MCBE: Nghiên cứu của Pointcheval et al. (2014) và các cải tiến tiếp theo (Zhang et al., 2016; Du et al., 2018) chỉ dừng lại ở mô hình khóa bí mật hoặc cấu trúc Pairing Loại 1 đối xứng kém hiệu quả về mặt thực thi đường cong elliptic.

Luận án định vị chính xác tại điểm giao thoa giữa việc khắc phục tính đóng của mô hình MCBE Pointcheval và việc phá vỡ sự phình to bản mã trong các hệ CP-ABE truyền thống, đồng thời mở rộng công năng hệ thống sang lĩnh vực điện toán đám mây bảo mật thông qua cơ chế tìm kiếm từ khóa trên dữ liệu mã hóa.

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

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

Luận án đã mở rộng và hoàn thiện các khung lý thuyết mật mã khóa công khai phi đối xứng thông qua ba đóng góp đột phá có chứng minh toán học nghiêm ngặt:

                            MÔ HÌNH HỆ CP-ABE-02 TÌM KIẾM TRÊN DỮ LIỆU MÃ HÓA
+--------------------+            Mã hóa dữ liệu & Từ khóa [param, W, Matrix(M,rho)]
|  BÊN NẮM GIỮ DỮ LIỆU | --------------------------------------------------------+
+--------------------+                                                          |
                                                                                v
+--------------------+            Sinh Cửa sập [msk, W', S]            +----------------------+
|  NGƯỜI DÙNG HỢP LỆ  | ---------------------------------------------> |  MÁY CHỦ ĐÁM MÂY     |
+--------------------+                 Trapdoor T_W'                   |  (Untrusted Server)  |
                                                                       +----------------------+
                                                                                |
                                     Khớp thành công e(C1, T1) = e(C2, T2)?    |
                                     (Không tiết lộ Plaintext hay Keyword)    |
                                                                                v
+--------------------+            Trả về các bản mã khớp (Ciphertexts)          |
|  NGƯỜI DÙNG NHẬN   | <--------------------------------------------------------+
+--------------------+
  1. Chuyển đổi hoàn chỉnh MCBE từ khóa bí mật sang khóa công khai: Phá vỡ thế độc quyền mã hóa của trung tâm máy chủ trong công trình của Pointcheval et al. (2014). Mọi thực thể trong hệ thống đều có thể sử dụng các tham số công khai $param$ để phát sóng đồng thời $t$ khóa phiên ${K_{i_1}, \dots, K_{i_t}}$ tới $t$ phân nhóm người dùng ${S_{i_1}, \dots, S_{i_t}}$ riêng biệt, trong khi triệt tiêu hoàn toàn khả năng cấu kết trái phép giữa các người dùng thuộc các kênh khác nhau.
  2. Xây dựng lược đồ CP-ABE-01 đạt kích thước bản mã hằng số $O(1)$: Vượt qua sự phụ thuộc tuyến tính vào số lượng thuộc tính trong các công trình của Rouselakis-Waters (2013). Bản mã khóa phiên chỉ bao gồm 3 phần tử nhóm trong không gian $\mathbb{G}$ và $\mathbb{G}_T$, giúp giảm thiểu tối đa băng thông truyền thông qua mạng.
  3. Thiết lập cơ chế tìm kiếm từ khóa an toàn CP-ABE-02 (ABKS Framework): Mở rộng lý thuyết mã hóa khóa công khai hỗ trợ tìm kiếm từ khóa (PEKS - Public Key Encryption with Keyword Search) của Boneh et al. lên cấu trúc kiểm soát truy cập thuộc tính đa người dùng. Hệ thống cho phép máy chủ công cộng thực hiện phép kiểm thử: $$\text{Test}(Hdr, T_w) \to {1, 0}$$ thông qua việc so khớp các thành phần ghép cặp song tuyến mà không cần giải mã dữ liệu, đảm bảo tính ẩn mật toàn diện cho cả văn bản rõ và không gian từ khóa truy vấn.

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

Khung phân tích của luận án được xây dựng dựa trên sự tích hợp của ba nền tảng toán học và lý thuyết an toàn hiện đại:

  • Lý thuyết Ánh xạ song tuyến phi đối xứng (Type-3 Bilinear Pairings): Sử dụng hệ thống ghép cặp: $$e: \mathbb{G} \times \tilde{\mathbb{G}} \to \mathbb{G}_T$$ với $|\mathbb{G}| = |\tilde{\mathbb{G}}| = |\mathbb{G}_T| = p > 2^\lambda$, trong đó $\mathbb{G} \neq \tilde{\mathbb{G}}$ và không tồn tại đồng cấu hiệu quả giữa hai nhóm theo cả hai chiều ($\phi: \tilde{\mathbb{G}} \not\to \mathbb{G}$). Cấu trúc này triệt tiêu các điểm yếu bảo mật của đường cong siêu kỳ dị (Supersingular Curves) thuộc Pairing Loại 1, đem lại hiệu năng tính toán số học tối ưu nhất trên các đường cong Barreto-Naehrig (BN).
  • Lược đồ chia sẻ bí mật tuyến tính (Linear Secret Sharing Schemes - LSSS): Mô hình hóa chính sách truy cập linh động $\mathbb{A}$ dưới dạng ma trận chia sẻ bí mật $(M, \rho)$, trong đó $M$ là ma trận kích thước $l \times k$ và $\rho$ là hàm ánh xạ mỗi hàng của $M$ tới một thuộc tính định danh. Một tập thuộc tính $S$ thỏa mãn chính sách khi và chỉ khi vector $(1, 0, \dots, 0)$ nằm trong không gian sinh bởi các hàng của $M$ tương ứng với $S$.
  • Khung giảm kết an toàn (Reductionist Security Framework): Thiết lập bài toán quy nạp chặt chẽ: Mọi kẻ tấn công $\mathcal{A}$ phá vỡ tính bảo mật không thể phân biệt bản mã (IND-sID-CPA / IND-sID-CCA) với lợi thế không thể bỏ qua: $$Adv^{IND}(\mathcal{A}) = |2 \times \Pr[\text{Succ}^{IND}(\mathcal{A})] - 1| \ge \varepsilon$$ đều có thể được biến đổi thành một thuật toán $\mathcal{B}$ giải thành công bài toán khó nền tảng $(t, n, \varepsilon)$-DBDHE hoặc $(P, Q, R, f)$-GDDHE trong thời gian đa thức hữu hạn $t' \approx t$.

Điều kiện biên của khung phân tích được xác định rõ: Hệ thống duy trì tính an toàn tuyệt đối khi số lượng người dùng tối đa trong mỗi kênh không vượt quá ngưỡng thiết kế $n$, và kích thước tập thuộc tính định danh nằm trong không gian số nguyên $\mathbb{Z}_p^*$.

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

Thiết kế nghiên cứu

Luận án tuân thủ chặt chẽ thế giới quan thực chứng (Positivism) và phương pháp luận suy diễn toán học hình thức (Formal Mathematical Deductive Method) kết hợp thực nghiệm đo kiểm thuật toán:

                            QUY TRÌNH PHƯƠNG PHÁP NGHIÊN CỨU HÌNH THỨC
+--------------------------------------------------------------------------------------------------+
| BƯỚC 1: THIẾT KẾ ĐẠI SỐ VÀ CẤU TRÚC HỆ MÃ                                                        |
| - Định nghĩa không gian khóa, thuật toán Setup(lambda), KeyGen(msk), Encrypt(param), Decrypt(sk) |
| - Tích hợp cấu trúc ghép cặp Type-3 Asymmetric Pairings e: G x G_tilde -> G_T                    |
+--------------------------------------------------------------------------------------------------+
                                                 |
                                                 v
+--------------------------------------------------------------------------------------------------+
| BƯỚC 2: MÔ HÌNH HÓA AN TOÀN TOÁN HỌC (GAME-BASED SECURITY)                                       |
| - Thiết lập kịch bản Trò chơi Thử thách giữa Kẻ tấn công (Adversary) và Kẻ thách thức (Challenger) |
| - Định nghĩa mô hình IND-sID-CPA và IND-sID-CCA với Truy vấn Khóa bí mật và Bản rõ               |
+--------------------------------------------------------------------------------------------------+
                                                 |
                                                 v
+--------------------------------------------------------------------------------------------------+
| BƯỚC 3: CHỨNG MINH QUY NẠP TOÁN HỌC (SECURITY REDUCTION)                                          |
| - Quy đổi xác suất phá vỡ hệ mã về bài toán giải DBDHE / (P,Q,R,f)-GDDHE                          |
| - Thiết lập bất đẳng thức lợi thế: Adv^IND(A) = 2 * Succ^IND(A) - 1 <= epsilon                   |
+--------------------------------------------------------------------------------------------------+
                                                 |
                                                 v
+--------------------------------------------------------------------------------------------------+
| BƯỚC 4: CÀI ĐẶT THỰC NGHIỆM VÀ ĐO KIỂM HIỆU NĂNG                                                 |
| - Hiện thực hóa trên C/C++ với Thư viện Stanford PBC và GMP                                      |
| - Đo lường độ trễ: Setup Time, KeyGen Time, Encrypt Time, Decrypt Time, Kích thước Bản mã/Khóa   |
+--------------------------------------------------------------------------------------------------+
  • Mô hình Trò chơi An toàn hình thức (Game-based Security Model): Độ an toàn của hệ mã không được đánh giá cảm tính mà được xác thực qua kịch bản tương tác đa giai đoạn giữa Kẻ tấn công $\mathcal{A}$ và Kẻ thách thức $\mathcal{C}$:
    1. Khởi tạo: $\mathcal{C}$ chạy thuật toán $\text{Setup}(\lambda)$ sinh $(param, msk)$, công bố $param$ và quản lý các danh sách truy vấn $\text{list}, \Lambda_C, \Lambda_D$.
    2. Giai đoạn truy vấn 1: $\mathcal{A}$ tùy ý yêu cầu sinh khóa bí mật cho các định danh $id \notin S^$ (lưu vào $\Lambda_C$) và giải mã các bản mã $Hdr \neq Hdr^$ (lưu vào $\Lambda_D$).
    3. Giai đoạn thách thức: $\mathcal{A}$ phát hành tập mục tiêu $S^$. $\mathcal{C}$ sinh bản mã thách thức $(Hdr^, K^)$ tương ứng với bit ngẫu nhiên $b \in {0, 1}$. Nếu $b=1$, $K^ \leftarrow \mathcal{K}$; nếu $b=0$, giữ nguyên khóa thực.
    4. Giai đoạn truy vấn 2: $\mathcal{A}$ tiếp tục thực hiện các truy vấn giải thuật nhưng không được vi phạm điều kiện $S^* \cap \Lambda_C = \emptyset$ và $(Hdr^, S^) \notin \Lambda_D$.
    5. Dự đoán: $\mathcal{A}$ đưa ra dự đoán $b'$. Trò chơi hoàn tất khi kiểm tra xác suất $\Pr[b' = b]$.

Quy trình nghiên cứu rigorous

Tính nghiêm ngặt của quy trình nghiên cứu thể hiện qua kỹ thuật bất biến hóa phép khử và tam giác đạc lý thuyết:

  • Tam giác đạc lý thuyết (Theoretical Triangulation): Đối chiếu tính an toàn của các cấu trúc đề xuất đồng thời qua hai lăng kính: Lý thuyết độ phức tạp tính toán (Computational Complexity Theory) và Lý thuyết thông tin mật mã (Information-Theoretic Cryptography).
  • Quy trình kiểm chứng tính đúng đắn đại số (Algebraic Correctness Verification): Mọi phương trình giải mã đều được chứng minh qua chuỗi biến đổi đại số tường minh. Cụ thể, trong quá trình giải mã của hệ MCBE đề xuất: $$K' = e\left(C_1, sk_{ID_{i,j}}\right) \cdot e\left(\prod_{j' \in S_j, j' \neq i} g_{n+1-j'+i}, C_2\right)^{-1} = e(g, h)^k = K$$ Phép triệt tiêu các thành phần thừa trên số mũ nhóm Abelian đảm bảo rằng chỉ người dùng sở hữu đúng khóa bí mật $sk_{ID_{i,j}}$ với $(i, j) \in S_j$ mới có thể khôi phục chính xác khóa phiên $K$, trong khi mọi tập con cấu kết bên ngoài đều nhận kết quả vô giá trị $\bot$.

Data và phân tích

Toàn bộ các thuật toán đề xuất được cài đặt và đo kiểm định lượng thông qua môi trường thực nghiệm chuẩn hóa:

  • Nền tảng phần mềm: C/C++ tích hợp thư viện Stanford PBC (Pairing-Based Cryptography Library Version 0.5.14) kết hợp thư viện số học đa chính xác GNU Multiple Precision Arithmetic Library (GMP 6.2.1).
  • Hệ thống phần cứng đo kiểm: Bộ xử lý Intel Core i5/i7 xung nhịp chuẩn, hệ điều hành Linux (Ubuntu LTS), đảm bảo tính tái lập (reproducibility) hoàn toàn cho mọi phép đo thời gian thực thi.
  • Tham số đường cong Elliptic: Sử dụng đường cong ghép cặp đối xứng loại A (Type A curve: $y^2 = x^3 + x$) với số nguyên tố $p$ có độ dài 160 bit và nhóm $\mathbb{G}$ có bậc 512 bit (đạt mức an toàn 80-bit đối chuẩn), cùng đường cong ghép cặp phi đối xứng loại F (Type F curve / Barreto-Naehrig) cho mức an toàn cao 128-bit ($p \approx 256$ bit).
  • Chỉ số đo lường hiệu năng:
    • Thời gian khởi tạo hệ thống ($T_{Setup}$ tính bằng mili-giây - ms).
    • Thời gian sinh khóa người dùng ($T_{KeyGen}$ tính bằng ms).
    • Thời gian mã hóa bản mã ($T_{Encrypt}$ tính bằng ms).
    • Thời gian giải mã và số lượng phép toán ghép cặp ($T_{Decrypt}$ và số phép tính Pairing $e(\cdot, \cdot)$).
    • Kích thước lưu trữ vật lý của khóa công khai $param$, khóa bí mật $sk$ và phần đầu bản mã $Hdr$ (tính bằng byte).

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

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

Các phát hiện và kết quả đo kiểm trong luận án đã khẳng định ưu thế vượt trội của các lược đồ đề xuất so với các công trình chuẩn quốc tế:

                            SO SÁNH KÍCH THƯỚC BẢN MÃ VÀ ĐỘ PHỨC TẠP TÍNH TOÁN
+-------------------------+--------------------+--------------------+-----------------------+
| HỆ MÃ HÓA               | KÍCH THƯỚC BẢN MÃ  | KÍCH THƯỚC KHÓA PK | CHI PHÍ GIẢI MÃ       |
+-------------------------+--------------------+--------------------+-----------------------+
| NNL-1 (2001)            | O(r * log(N/r))    | Khóa đối xứng      | Nhanh (AES)           |
| BGW (2005)              | 2 phần tử G [O(1)] | O(N)               | 2 Pairings            |
| Delerablée (2007)       | 2 phần tử G [O(1)] | O(m)               | 2 Pairings            |
| MCBE (Pointcheval 2014) | O(t) phần tử       | Khóa bí mật        | O(t) Pairings         |
| MCBE ĐỀ XUẤT (Chương 2) | O(t) phần tử       | O(m * n)           | 2 Pairings / Kênh     |
| CP-ABE (Rouselakis 13)  | O(|A|) phần tử     | O(1)               | 2|A| + 1 Pairings     |
| CP-ABE-01 ĐỀ XUẤT (Ch.3)| 3 phần tử [O(1)]   | O(max_att)         | 3 Pairings [Hằng số]  |
| CP-ABE-02 (Tìm kiếm)    | O(1) + Keyword Enc | O(|S|)             | Test: 2 Pairings      |
+-------------------------+--------------------+--------------------+-----------------------+
  1. Hiệu năng vượt trội của Lược đồ MCBE đề xuất (Bảng 2.1 & Bảng 2.2): Khác biệt hoàn toàn với hệ MCBE1 và MCBE2 của Pointcheval et al. (2014), lược đồ MCBE đề xuất chuyển đổi thành công sang hệ mã hóa khóa công khai. Kích thước phần đầu bản mã $Hdr$ để truyền tải đồng thời cho $t$ kênh chỉ chiếm $t+1$ phần tử trong nhóm $\mathbb{G}$. Thời gian giải mã của mỗi người dùng chỉ tiêu tốn đúng 2 phép tính Pairing $e(\cdot, \cdot)$ độc lập hoàn toàn với tổng số người dùng trong hệ thống ($N$) và số người dùng trong kênh ($n$).
  2. Kỷ lục nén bản mã trong Lược đồ CP-ABE-01 (Bảng 3.1 & Bảng 3.2): Trong khi lược đồ của Rouselakis-Waters (2013) và Agrawal-Chase (2017) có độ dài bản mã tăng tuyến tính $O(|\mathbb{A}|)$ theo số lượng thuộc tính trong chính sách, lược đồ CP-ABE-01 duy trì kích thước bản mã cố định tuyệt đối ở mức 3 phần tử nhóm ($C_0 \in \mathbb{G}_T, C_1 \in \mathbb{G}, C_2 \in \mathbb{G}$). Quá trình giải mã chỉ đòi hỏi 3 phép tính Pairing cố định, loại bỏ hoàn toàn hiện tượng suy giảm hiệu năng khi áp dụng các biểu thức chính sách phức tạp.
  3. Cơ chế tìm kiếm không tiết lộ thông tin của CP-ABE-02 (Hình 3.4): Kết quả thử nghiệm chứng minh quá trình kiểm tra khớp từ khóa $\text{Test}(Hdr, T_w)$ trên máy chủ công cộng chỉ cần thực hiện 2 phép tính ghép cặp song tuyến: $$e(C_1, T_1) \stackrel{?}{=} e(C_2, T_2)$$ Máy chủ đám mây xác định chính xác tính tương quan giữa bản mã và từ khóa mà không thu thập được bất kỳ thông tin nào về nội dung bản rõ $K$ (độ rò rỉ thông tin đạt mức tuyệt đối $0%$).

Implications đa chiều

  • Về mặt lý thuyết học thuật: Luận án đã thiết lập cầu nối phương pháp luận giữa các cấu trúc mã hóa quảng bá dựa trên định danh (IBBE) và mã hóa thuộc tính (CP-ABE), chứng minh rằng kỹ thuật đa thức nghịch đảo kết hợp ghép cặp Type-3 có thể triệt tiêu sự phình to bản mã trong các hệ thống kiểm soát truy cập phân tán.
  • Về mặt công nghệ thông tin & ứng dụng thực tiễn:
    • Hệ thống Truyền hình trả tiền (Pay-TV) và Radio quân sự: Cung cấp giải pháp phát sóng đa kênh bảo mật cao, cho phép quản trị viên thêm mới hoặc tước quyền thuê bao tức thời mà không cần truyền lại toàn bộ bảng khóa.
    • Hạ tầng Hồ sơ Y tế Điện tử (e-Health): Doanh nghiệp và bệnh viện có thể mã hóa dữ liệu hồ sơ bệnh án theo chính sách linh động dạng: $$\text{"(Bác sĩ AND Khoa Tim mạch) OR (Trưởng khoa AND Cấp cứu)"}$$ Dữ liệu lưu trữ an toàn trên đám mây công cộng, các bác sĩ có thể tìm kiếm hồ sơ theo từ khóa bệnh lý thông qua cửa sập (Trapdoor) mà máy chủ lưu trữ hoàn toàn không thể đọc lén nội dung hồ sơ.
  • Về mặt chính sách an toàn thông tin quốc gia: Đóng góp luận cứ khoa học và cơ sở thuật toán vững chắc phục vụ việc triển khai các tiêu chuẩn mật mã khóa công khai quốc gia, tương thích với định hướng phát triển mã hóa định danh theo TCVN 11367-5:2018 do Ban Cơ yếu Chính phủ ban hành.

Limitations và Future Research

Nhằm đảm bảo tính trung thực học thuật và chuẩn mực nghiên cứu quốc tế, luận án chỉ rõ các giới hạn nội tại cần được tiếp tục hoàn thiện:

  1. Sự phụ thuộc vào Mô hình Tiên tri Ngẫu nhiên (ROM): Để đạt được kích thước bản mã hằng số $O(1)$, các lược đồ CP-ABE và MCBE đề xuất phải sử dụng hàm băm lý tưởng $\mathcal{H}: {0, 1}^* \to \mathbb{Z}_p^*$. Trong thực tế khi hàm băm được thay thế bằng các hàm chuẩn như SHA-256 hay SHA-3, độ an toàn lý thuyết có thể bị suy giảm trước các dạng tấn công phi tiêu chuẩn.
  2. Giả thuyết bài toán khó dạng tham số hóa ($q$-type assumptions): Hệ thống an toàn dựa trên giả thuyết $(P, Q, R, f)$-GDDHE và DBDHE mở rộng. Các bài toán này chứa $q$ phần tử đầu vào, có độ tin cậy lý thuyết chưa cao bằng các giả thuyết tĩnh cổ điển như CDH hay DDH chuẩn.
  3. Thiếu vắng cơ chế truy vết kẻ phản bội (Traitor Tracing): Các lược đồ chưa tích hợp thuật toán định danh người dùng cố tình chia sẻ khóa bí mật cá nhân để tạo ra các thiết bị giải mã lậu (Black-box / White-box Traitor Tracing).

Chương trình nghiên cứu tiếp theo (Future Research Agenda):

  • Nghiên cứu chuyển đổi các lược đồ đề xuất sang mô hình chuẩn (Standard Model) không dùng bộ tiên tri ngẫu nhiên.
  • Xây dựng cơ chế truy vết kẻ phản bội tích hợp sẵn trong cấu trúc mã hóa đa kênh (Traceable MCBE).
  • Nghiên cứu các cấu trúc mã hóa quảng bá và thuộc tính kháng lượng tử (Post-Quantum Cryptography) dựa trên bài toán học có lỗi (Learning With Errors - LWE) trên mạng tinh thể (Lattice-based Cryptography).

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

Công trình nghiên cứu trong luận án mang lại những giá trị tác động sâu rộng trên nhiều bình diện:

  • Tác động học thuật: Các kết quả nghiên cứu đã được công bố trên các tạp chí và hội thảo chuyên ngành uy tín trong và ngoài nước (thuộc danh mục ISI/Scopus và Tạp chí An toàn Thông tin - Ban Cơ yếu Chính phủ). Luận án mở ra các hướng trích dẫn quan trọng cho cộng đồng nghiên cứu mật mã ứng dụng tại Việt Nam và khu vực.
  • Chuyển dịch công nghiệp số: Cung cấp giải pháp phần mềm tối ưu cho các nhà cung cấp dịch vụ đám mây (Cloud Service Providers), các đài truyền hình kỹ thuật số và các nền tảng mạng xã hội trong việc phân phối nội dung có bản quyền và quản trị truy cập dữ liệu lớn.
  • Lợi ích an ninh xã hội: Nâng cao năng lực tự chủ công nghệ mã hóa thông tin của Việt Nam, bảo vệ hạ tầng dữ liệu y tế, tài chính ngân hàng và chính phủ điện tử trước các nguy cơ tấn công đánh cắp và rò rỉ dữ liệu mật.

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

  • Nghiên cứu sinh và Giảng viên ngành Mật mã học / An toàn Thông tin: Tiếp cận khung phương pháp luận hiện đại về chứng minh an toàn hình thức (Security Reductions) trên cấu trúc ghép cặp Type-3 Pairings và kỹ thuật thiết kế bản mã hằng số.
  • Kỹ sư R&D và Kiến trúc sư An toàn Dữ liệu Đám mây: Khai thác trực tiếp các cấu trúc thuật toán và mã nguồn thực nghiệm để triển khai các hệ thống mã hóa tìm kiếm (Searchable Encryption) và kiểm soát truy cập dựa trên thuộc tính trong các dự án thực tế.
  • Cơ quan Quản lý Nhà nước và Ban Cơ yếu Chính phủ: Sử dụng các kết quả nghiên cứu làm tài liệu tham chiếu chuyên môn phục vụ công tác xây dựng tiêu chuẩn kỹ thuật quốc gia về mật mã phi đối xứng và giám định an toàn mạng thông tin chính phủ.

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

1. Đóng góp lý thuyết độc đáo nhất của luận án là gì và đã mở rộng lý thuyết nào?

Luận án đã mở rộng khung lý thuyết Broadcast Encryption của Boneh-Gentry-Waters (2005) và Delerablée (2007) sang mô hình đa kênh khóa công khai (Public-Key MCBE), đồng thời giải quyết triệt để bài toán nén bản mã trong Ciphertext-Policy ABE của Sahai-Waters (2005) và Rouselakis-Waters (2013) về kích thước hằng số $|Hdr| = O(1)$ thông qua việc ứng dụng sáng tạo bài toán khó $(P, Q, R, f)$-GDDHE.

2. Điểm đột phá về phương pháp luận của luận án khi so sánh với các công trình quốc tế kinh điển?

So với BGW (2005) vốn có khóa công khai phình to $O(N)$ theo tổng người dùng, và hệ MCBE của Pointcheval et al. (2014) vốn bị giới hạn ở khóa đối xứng, luận án đã sử dụng kỹ thuật định danh (Identity-based) kết hợp cấu trúc đại số của Pairing phi đối xứng Loại 3 để tách biệt hoàn toàn chi phí lưu trữ khóa khỏi tổng số người dùng toàn hệ thống, đưa chi phí giải mã về đúng 2 phép tính Pairing trên mỗi kênh.

3. Phát hiện thực nghiệm nào đáng kinh ngạc nhất trong quá trình đo kiểm hiệu năng?

Phát hiện thực nghiệm nổi bật nhất là việc chứng minh thời gian giải mã và kích thước bản mã trong hệ CP-ABE-01 hoàn toàn không đổi khi số lượng thuộc tính trong chính sách truy cập tăng từ 5 lên 50 thuộc tính (luôn duy trì ở mức 3 phần tử bản mã và 3 phép ghép cặp), trái ngược hoàn toàn với sự gia tăng tuyến tính theo hàm bậc nhất của các hệ thống chuẩn hiện hành.

4. Luận án có cung cấp giao thức tái lập thực nghiệm (Replication Protocol) hoàn chỉnh không?

Luận án mô tả chi tiết toàn bộ quy trình thiết lập tham số đường cong elliptic (Type A và Type F), mã giả chi tiết của 4 thuật toán thành phần ($\text{Setup}, \text{KeyGen}, \text{Encrypt}, \text{Decrypt}$) cùng môi trường thư viện Stanford PBC và GMP, cho phép các phòng thí nghiệm mật mã độc lập có thể tái lập chính xác 100% các kết quả thực nghiệm.

5. Lộ trình phát triển nghiên cứu 10 năm tiếp theo từ kết quả luận án được vạch ra như thế nào?

Lộ trình 10 năm hướng tới việc chuyển đổi toàn bộ cấu trúc ghép cặp đường cong elliptic sang đại số mạng tinh thể (Lattices) nhằm xây dựng hệ thống Post-Quantum CP-ABE có khả năng kháng lại các cuộc tấn công từ máy tính lượng tử chạy thuật toán Shor, kết hợp cơ chế kiểm soát truy cập phi tập trung đa trung tâm cấp khóa (Multi-Authority Decentralized ABE).

Kết luận

Luận án tiến sĩ kỹ thuật của Nghiên cứu sinh Trịnh Văn Anh là một công trình nghiên cứu khoa học công phu, nghiêm túc và có giá trị học thuật xuất sắc trong lĩnh vực Mật mã học và Hệ thống thông tin. Các kết quả then chốt của luận án được tổng hợp qua 5 đóng góp cụ thể:

  1. Hệ thống hóa toàn diện cơ sở lý thuyết, mô hình an toàn và các thách thức tính toán trong mã hóa quảng bá, mã hóa quảng bá đa kênh và mã hóa dựa trên thuộc tính.
  2. Thiết kế thành công lược đồ mã hóa quảng bá đa kênh (MCBE) dưới mô hình khóa công khai với chi phí giải mã tối ưu $O(1)$ phép ghép cặp.
  3. Đề xuất lược đồ CP-ABE-01 đột phá với kích thước bản mã hằng số cố định $O(1)$, giải phóng băng thông truyền thông cho các mạng tài nguyên hạn chế.
  4. Đề xuất lược đồ CP-ABE-02 tích hợp cơ chế tìm kiếm từ khóa bảo mật tuyệt đối qua cửa sập trên máy chủ đám mây công cộng không tin cậy.
  5. Cài đặt thực nghiệm, phân tích định lượng và chứng minh an toàn toán học hình thức toàn diện cho tất cả các lược đồ đề xuất.

Công trình đã tạo ra bước tiến quan trọng trong việc dịch chuyển mô hình mật mã từ cơ chế truyền tin đơn điểm cứng nhắc sang cơ chế phân quyền giải mã linh động, đặt nền tảng vững chắc cho sự phát triển của các hệ thống truyền thông an toàn và điện toán đám mây bảo mật cao trong tương lai.