Tổng quan về luận án

Sự phát triển bùng nổ của các hệ thống nhúng, thẻ thông minh (smart cards) và thiết bị Internet of Things (IoT) đã đưa Chuẩn mã hóa tiên tiến AES (Advanced Encryption Standard) trở thành nền tảng cốt lõi trong bảo mật thông tin toàn cầu. Tuy nhiên, dù sở hữu cấu trúc toán học vững chắc trước các kỹ thuật thám mã truyền thống, thuật toán AES khi thực thi trên các thiết bị phần cứng có tài nguyên hạn chế lại bộc lộ điểm yếu chí tử trước các cuộc tấn công kênh kề (Side Channel Attacks - SCA), đặc biệt là tấn công phân tích năng lượng (Power Analysis Attack). Luận án tiến sĩ "Phương pháp chống tấn công phân tích năng lượng cho thuật toán AES trên thẻ thông minh dựa trên kỹ thuật mặt nạ nhúng" của tác giả Nguyễn Thanh Tùng, dưới sự hướng dẫn khoa học của PGS. Nguyễn Hồng Quang, là một công trình tiên phong giải quyết thấu đáo bài toán bảo vệ an toàn vật lý cho thiết bị mật mã tại Việt Nam.

+-----------------------------------------------------------------------------+
|                            LUẬN ÁN TIẾN SĨ MẬT MÃ HỌC                       |
|  "Phương pháp chống tấn công phân tích năng lượng cho thuật toán AES trên    |
|               thẻ thông minh dựa trên kỹ thuật mặt nạ nhúng"                |
+-------------------------------------+---------------------------------------+
                                      |
       +------------------------------+------------------------------+
       v                                                             v
+-----------------------------+               +-------------------------------+
|     CƠ SỞ LÝ THUYẾT         |               |     TRIỂN KHAI THỰC NGHIỆM    |
| - Biến đổi trường hữu hạn:  |               | - Nền tảng: Smart Card        |
|   GF(2^8) -> GF((2^4)^2)    |               |   Atmega 8515 & Sakura-G/W    |
| - Nhúng vành thương:        |               | - Kiểm thử: Phân tích CPA     |
|   R = GF(2^4)[x]/P(x)Q(x)   |               |   với 480, 1500, 3000 traces  |
| - Kỹ thuật FREM & FuFA      |               | - Kết quả: Triệt tiêu tương   |
| - Thuật toán AES-EM         |               |   quan khóa đúng k=63         |
+-----------------------------+               +-------------------------------+

Khoảng trống nghiên cứu (research gap) cốt lõi được luận án chỉ ra là: Các phương pháp chống tấn công phân tích năng lượng hiện nay đều đối mặt với sự đánh đổi nghiêm trọng giữa độ an toàn, tài nguyên bộ nhớ và hiệu năng tính toán. Phương pháp ẩn (hiding) không thể triệt tiêu hoàn toàn sự phụ thuộc của năng lượng tiêu thụ vào dữ liệu xử lý. Trong khi đó, các kỹ thuật mặt nạ (masking) kinh điển lại bộc lộ nhiều nhược điểm lớn khi triển khai trên vi điều khiển thẻ thông minh: mặt nạ cố định (Fix Mask - FiM) chiếm dụng bộ nhớ khổng lồ; mặt nạ đầy đủ (Full Mask - FuM) đòi hỏi tính toán bảng tra cứu phức tạp; mặt nạ biến đổi số học (Arithmetic transform Mask - AtM) gây trễ lớn do hạ bậc đa tầng; và mặt nạ nhân (Multiplicative Mask - MM) hoàn toàn bất lực trước tấn công giá trị zero (Zero Value Attack - ZVA). Nghiên cứu của TS. Nguyễn Hồng Quang đã chứng minh: "Chỉ với 13 vết năng lượng thu được, mã thám đã tìm được khóa của thiết bị thực thi thuật toán AES khi thực hiện tấn công phân tích sai khác năng lượng dựa trên hệ số tương quan". Do đó, việc xây dựng một giải pháp mặt nạ mới vừa triệt tiêu rò rỉ kênh kề, vừa chống được ZVA và tối ưu hóa tài nguyên phần cứng là yêu cầu cấp thiết.

Luận án xác định các câu hỏi nghiên cứu và giả thuyết khoa học cụ thể:

  • Câu hỏi nghiên cứu 1 (RQ1): Làm thế nào để xây dựng cơ sở toán học kết hợp phép hạ bậc trường hữu hạn và nhúng vành thương nhằm loại bỏ điểm kỳ dị của giá trị zero trong biến đổi phi tuyến SubBytes?
  • Câu hỏi nghiên cứu 2 (RQ2): Cấu trúc lược đồ mặt nạ nhúng nào cho phép bảo vệ toàn diện các phép biến đổi của AES-128 mà vẫn đảm bảo tính khả thi về dung lượng ROM/RAM và thời gian thực thi trên vi điều khiển thẻ thông minh?
  • Câu hỏi nghiên cứu 3 (RQ3): Mức độ suy giảm hệ số tương quan rò rỉ năng lượng của thuật toán cải tiến đạt được là bao nhiêu khi thực nghiệm tấn công phân tích năng lượng tương quan (CPA) với số lượng vết đo lớn?

Tương ứng với các câu hỏi trên, các giả thuyết nghiên cứu được xác lập:

  • Giả thuyết 1 (H1): Việc ánh xạ phần tử từ trường $GF((2^4)^2)$ sang vành thương đa thức $\mathcal{R} = GF(2^4)[x]/P(x)Q(x)$ sẽ phân rã giá trị zero thành $2^l$ phần tử ngẫu nhiên, nâng độ phức tạp tính toán của tấn công ZVA lên mức an toàn tuyệt đối.
  • Giả thuyết 2 (H2): Kỹ thuật mặt nạ nhúng trường vành FREM (Field Ring Embedded Multiplicative Mask) kết hợp với lược đồ mặt nạ đầy đủ FuFA sẽ tạo nên thuật toán AES-EM có khả năng che giấu hoàn toàn các giá trị trung gian trong suốt 10 vòng mã hóa của AES-128.
  • Giả thuyết 3 (H3): Thuật toán AES-EM khi cài đặt trên vi điều khiển Atmega 8515 sẽ triệt tiêu hoàn toàn đỉnh tương quan của khóa đúng $k_{ck}$ trên biểu đồ CPA ngay cả khi số lượng mẫu tăng lên đến 3.000 vết đo (traces).

Khung lý thuyết của luận án được xây dựng dựa trên sự giao thoa giữa lý thuyết đại số trừu tượng (Abstract Algebra: Lý thuyết nhóm, vành thương, trường Galois mở rộng), lý thuyết mật mã phần cứng và mô hình rò rỉ kênh kề vật lý (Hamming Weight/Distance model kết hợp ước lượng thống kê Pearson). Phạm vi nghiên cứu tập trung vào vi điều khiển Atmega 8515 trên thẻ thông minh, hệ thống thu nhận và đo vết năng lượng tiêu thụ chuyên dụng Sakura-G và Sakura-W, giải mã thuật toán AES-128 trong miền thời gian thực nghiệm.

+-----------------------------------------------------------------------------+
|              ĐỐI CHIẾU CÁC PHƯƠNG PHÁP MẶT NẠ CHỐNG TẤN CÔNG DPA/CPA        |
+----------------------+--------------------+--------------------+------------+
| Phương pháp mặt nạ   | Kháng Zero Attack  | Tiêu tốn bộ nhớ    | Tính khả thi|
+----------------------+--------------------+--------------------+------------+
| Mặt nạ cố định (FiM) | An toàn            | 65.792 bytes       | Rất thấp   |
| Mặt nạ đầy đủ (FuM)  | An toàn            | 3.795 bytes ROM    | Trung bình |
| Mặt nạ nhân (MM)     | Thất bại (Pr=1/256)| Thấp               | Thấp       |
| Mặt nạ số học (AtM)  | An toàn            | Rất cao (trễ lớn)  | Thấp       |
| FREM / AES-EM (Đề xuất) An toàn tuyệt đối | Rất thấp (tối ưu)  | Rất cao    |
+----------------------+--------------------+--------------------+------------+

Literature Review và Positioning

Nghiên cứu về tấn công kênh kề và giải pháp phòng chống đã trải qua hơn hai thập kỷ phát triển với các mốc học thuật quan trọng:

1998-1999: Paul Kocher et al.     --> Phát hiện tấn công SPA/DPA; đề xuất kỹ thuật ẩn (Hiding)
2000: Thomas Messerges / Coron    --> Đề xuất mặt nạ logic và chuyển đổi mặt nạ số học cho AES
2002: Golic & Tymen / Wolkerstorfer-> Ý tưởng nhúng vành đa thức; phân rã trường tháp GF((2^4)^2)
2007: Stefan Mangard et al.       --> Hoàn thiện lý thuyết Full Masking; chứng minh Hiding bất toàn
2014-2019: Nguyễn Hồng Quang et al.--> Xác lập ngưỡng 13 traces phá khóa AES; thực nghiệm CPA tại VN
2020-Nay: Luận án (Nguyễn Thanh Tùng)-> Sáng tạo FREM & FuFA; hiện thực hóa AES-EM trên thẻ thông minh

Khởi đầu từ các công trình kinh điển của Paul Kocher, Joshua Jaffe và Benjamin Jun (1998, 1999), tấn công phân tích năng lượng đơn giản (SPA) và vi sai (DPA) đã chứng minh khả năng giải mã khóa bí mật của hàng loạt hệ mật như DES và RSA thông qua quan sát vết dao động điện năng tiêu thụ. Sau đó, Stefan Mangard, Elisabeth Oswald và Thomas Popp (2007) thuộc Đại học Kỹ thuật Graz (Áo) đã hệ thống hóa toàn diện cơ chế rò rỉ kênh kề và khẳng định các giải pháp ẩn (hiding) chỉ làm tăng nhiễu tạm thời chứ không thể bẻ gãy mối tương quan tuyến tính giữa dữ liệu trung gian và công suất tiêu tán vật lý.

Trong các dòng nghiên cứu về kỹ thuật che mặt nạ (masking), các cuộc tranh luận học thuật diễn ra gay gắt giữa hai trường phái:

  • Trường phái 1: Tiếp cận mặt nạ logic và bảng thế tính trước (Precomputed Lookup Tables). Thomas Messerges (2000) cùng với Jean-Sébastien Coron và Louis Goubin (2000) đề xuất kỹ thuật mặt nạ cho toàn bộ đầu vào/đầu ra và chuyển đổi giữa mặt nạ Boolean và mặt nạ số học. Tuy nhiên, Mangard et al. (2007) đã chỉ ra rằng phương pháp mặt nạ cố định (FiM) đòi hỏi: "Thực thi FiM đòi hỏi tốn 01 byte bộ nhớ cho mỗi mặt nạ và phải có 256 bytes cho mỗi giá trị bộ nhớ của S-box. Như vậy sẽ tốn $256 + 256 \times 256 = 65.792$ bytes bộ nhớ". Tương tự, phương pháp mặt nạ đầy đủ (FuM) tuy an toàn nhưng "thực thi FuM sẽ tốn 3.795 bytes ROM" để lưu trữ và tính toán các bảng S-box động, tạo ra gánh nặng vượt quá giới hạn của thẻ thông minh.
  • Trường phái 2: Tiếp cận cấu trúc đại số và mặt nạ nhân trên trường mở rộng. Nhằm tránh việc tái tạo bảng S-box tốn kém, Elena Trichina et al. cùng Xiaoan Zhu et al. đã ứng dụng tính chất khả đảo của phép nhân trên trường $GF(2^8)$ để che mặt nạ cho phép nghịch đảo trong hộp thế SubBytes. Tuy nhiên, điểm yếu nghiêm trọng đã bị vạch trần: "Khi thực thi mặt nạ nhân thì xác suất xảy ra tấn công là $\Pr = \frac{1}{256}$". Hiện tượng này bắt nguồn từ việc phần tử $0$ nhân với bất kỳ giá trị mặt nạ ngẫu nhiên nào vẫn bằng $0$ ($0 \times m = 0$), tạo điều kiện cho Tấn công giá trị zero (Zero Value Attack - ZVA) của Johannes Blömer et al. bẻ gãy hệ thống. Phương pháp mặt nạ biến đổi số học (AtM) của Johannes Wolkerstorfer et al. (2002) cố gắng giải quyết bằng cách hạ bậc đa tầng $GF(2^8) \to GF((2^4)^2) \to GF(2^2)$, nhưng lại gây suy giảm hiệu năng trầm trọng.

So sánh với hai nghiên cứu quốc tế mang tính nền tảng:

  1. Nghiên cứu của Johannes Wolkerstorfer, Elisabeth Oswald và Mario Lamberger (2002) tại hội nghị CHES 2002: Nhóm tác giả tập trung vào kiến trúc phần cứng ASIC cho biến đổi SubBytes trên trường tháp $GF((2^4)^2)$, tối ưu hóa diện tích cổng logic nhưng chưa đưa ra cơ chế mặt nạ chống ZVA hoàn chỉnh trên phần mềm vi điều khiển 8-bit.
  2. Công trình của Jovan Golic và Christophe Tymen (2002) tại hội nghị CHES 2002: Tác giả đưa ra ý tưởng lý thuyết về việc nhúng phần tử trường vào vành đa thức $\mathcal{R} = GF(2)[x]/PQ$. Tuy nhiên, công trình dừng lại ở mức mô hình khái niệm trừu tượng, chưa thiết kế được một lược đồ thuật toán mã hóa hoàn chỉnh (như quy trình lan truyền mặt nạ qua các phép ShiftRows, MixColumns, AddRoundKey) và chưa thực thi kiểm chứng trên phần cứng thẻ thông minh thực tế.

Vị trí của luận án (positioning) được xác lập vững chắc: Luận án đã lấp đầy khoảng trống giữa lý thuyết đại số vành nhúng của Golic & Tymen với yêu cầu thực thi khắt khe trên vi điều khiển nhúng của Wolkerstorfer. Bằng việc kết hợp hạ bậc trường sang $GF((2^4)^2)$, nhúng vào vành thương $\mathcal{R} = GF(2^4)[x]/P(x)Q(x)$, và tích hợp mô hình lan truyền mặt nạ đầy đủ FuFA, luận án đã sáng tạo ra thuật toán AES-EM đạt chuẩn an toàn trước cả CPA và ZVA với chi phí bộ nhớ tối ưu.

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

+-----------------------------------------------------------------------------+
|               KHUNG BIẾN ĐỔI ĐẠI SỐ TRONG KỸ THUẬT MẶT NẠ NHÚNG FREM        |
+-----------------------------------------------------------------------------+
|                                                                             |
|   Dữ liệu gốc tại GF(2^8)                                                   |
|          |                                                                  |
|          v  [Phép ánh xạ đẳng cấu: map]                                     |
|   Trường kết hợp GF((2^4)^2)                                                |
|          |                                                                  |
|          v  [Nhúng ngẫu nhiên: rho(X) = X + RP mod PQ]                      |
|   Vành thương đa thức R = GF(2^4)[x]/P(x)Q(x) (Hóa giải Zero Value Attack)  |
|          |                                                                  |
|          v  [Tính lũy thừa / Nghịch đảo với mặt nạ nhân m]                  |
|   Phần tử nghịch đảo trong vành R                                           |
|          |                                                                  |
|          v  [Chiếu ngược modulo P(x): rho^-]                                |
|   Trường kết hợp GF((2^4)^2)                                                |
|          |                                                                  |
|          v  [Ánh xạ ngược: map^-]                                           |
|   Dữ liệu sau SubBytes tại GF(2^8) (Bảo toàn tính đúng đắn của AES)         |
|                                                                             |
+-----------------------------------------------------------------------------+

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

Luận án đã mở rộng và hoàn thiện nền tảng lý thuyết mật mã học thông qua các đóng góp toán học cốt lõi:

  1. Phát triển cơ sở toán học cho kỹ thuật mặt nạ nhúng biến đổi trường vành (FREM): Thiết lập hệ thống ánh xạ đẳng cấu giữa trường hữu hạn $GF(2^8)$ và trường mở rộng bậc hai $GF((2^4)^2)$ thông qua đa thức bất khả quy $m(x)$ và $n(x)$. Dữ liệu $a \in GF(2^8)$ được chuyển đổi qua phép toán $\text{map}(a)$ và trả về qua $\text{map}^{-1}(a)$, cho phép xử lý dữ liệu ở cấp độ 4-bit, giảm thiểu độ phức tạp tính toán của phép nhân và phép bình phương.
  2. Cơ chế nhúng vành thương hóa giải điểm kỳ dị: Luận án xây dựng phép nhúng ngẫu nhiên $\rho$ từ trường $GF((2^4)^2)$ sang vành thương đa thức $\mathcal{R} = GF(2^4)[x]/P(x)Q(x)$, trong đó $P(x)$ là đa thức bất khả quy bậc 2 và $Q(x)$ là đa thức bất khả quy bậc $l$. Phép ánh xạ được xác định theo công thức: $$\rho(X) = X \oplus R(x)P(x) \pmod{P(x)Q(x)}$$ với $R(x)$ là đa thức ngẫu nhiên bậc $h < (l-2)$. Nhờ cơ chế này, phần tử $X = 0 \in GF((2^4)^2)$ được ánh xạ thành $2^l$ phần tử phân bố đều trong vành $\mathcal{R}$, triệt tiêu hoàn toàn điểm tựa của tấn công giá trị zero (ZVA).
  3. Hệ thống mệnh đề lý thuyết (Theoretical Propositions):
    • Mệnh đề 1 (Tính khả nghịch và tương thích đại số): Với mọi phần tử $X \in GF((2^4)^2)$, phép chiếu ngược $\rho^{-1}(\rho(X)) = \rho(X) \pmod{P(x)}$ bảo toàn trọn vẹn giá trị đại số gốc $X$, đảm bảo thuật toán AES-EM cho đầu ra mã hóa hoàn toàn trùng khớp với chuẩn AES quốc tế.
    • Mệnh đề 2 (Tính độc lập thống kê của giá trị trung gian mặt nạ): Phân phối xác suất của giá trị trung gian có mặt nạ $v_m = E_m(p, k)$ độc lập thống kê hoàn toàn với giá trị trung gian thực $v = E(p, k)$, tức là $\Pr(v_m = \alpha \mid v = \beta) = \frac{1}{256}$ với mọi $\alpha, \beta \in GF(2^8)$, triệt tiêu mối tương quan năng lượng bậc một.

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

Khung phân tích của luận án là sự hợp nhất của ba lý thuyết:

  • Lý thuyết cấu trúc đại số trừu tượng (nhóm, vành, trường Galois);
  • Mô hình tiêu tán công suất vật lý kênh kề (mô hình khoảng cách Hamming HD và trọng số Hamming HW);
  • Lý thuyết xác suất thống kê và kiểm định giả thuyết vi sai (ước lượng hệ số tương quan Pearson).

Điểm đột phá là phương pháp FuFA (Full FREM AES): Luận án không áp dụng mặt nạ một cách cục bộ mà thiết kế một lược đồ đồng bộ khép kín. Mặt nạ logic tuyến tính được sử dụng cho các phép biến đổi AddRoundKey, ShiftRows, MixColumns; khi đi vào biến đổi phi tuyến SubBytes, hệ thống tự động chuyển đổi sang miền mặt nạ nhân nhúng vành FREM để xử lý phép nghịch đảo, sau đó hoàn trả về mặt nạ logic trước khi thực hiện biến đổi affine.

Điều kiện biên (boundary conditions) của khung phân tích: Phương pháp áp dụng tối ưu cho các thuật toán mã khối có cấu trúc thay thế - hoán vị (SPN - Substitution Permutation Network) hoạt động trên các trường hữu hạn đặc số 2, thực thi trên các vi xử lý từ 8-bit đến 32-bit chịu ràng buộc khắt khe về công suất và bộ nhớ.

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

+-----------------------------------------------------------------------------+
|                   THIẾT LẬP THỰC NGHIỆM ĐO KÊNH KỀ TRÊN SAKURA-W            |
+-----------------------------------------------------------------------------+
|                                                                             |
|  +--------------------+        +--------------------+                       |
|  | Máy tính điều khiển| <====> |  Bo mạch SAKURA-W  |                       |
|  | - Sinh Plaintext D | (USB)  | - Vi điều khiển    |                       |
|  | - Thu thập Trace T |        |   Atmega 8515 (DUA)|                       |
|  +--------------------+        +---------+----------+                       |
|            |                             | (Vị trí đo dòng tức thời)        |
|            v                             v                                  |
|  +--------------------+        +--------------------+                       |
|  | Thuật toán CPA /   |        | Máy hiện sóng số   |                       |
|  | Ma trận tương quan | <===== | Băng thông cao     |                       |
|  | [R] = [H] x [T]    | (Data) | (Oscilloscope)     |                       |
|  +--------------------+        +--------------------+                       |
|                                                                             |
+-----------------------------------------------------------------------------+

Thiết kế nghiên cứu

Luận án tuân thủ thế giới quan thực chứng (Positivism) kết hợp phương pháp nghiên cứu kỹ thuật mật mã thực nghiệm (Experimental Cryptography). Thiết kế nghiên cứu đa tầng (Multi-level design) được triển khai qua ba giai đoạn:

  1. Tầng mô hình hóa toán học: Chứng minh hình thức tính đúng đắn và độ an toàn của cấu trúc vành nhúng $\mathcal{R}$ và phép nghịch đảo trong $GF((2^4)^2)$.
  2. Tầng mô phỏng phần mềm: Xây dựng mô hình tính toán ma trận trung gian giả định $[V]$, ma trận năng lượng giả định $[H]$ và ma trận vết đo thực tế $[T]$.
  3. Tầng thực nghiệm vật lý: Cài đặt mã máy trên vi điều khiển thực, đo đạc trực tiếp các dạng sóng năng lượng tiêu thụ tức thời khi chip đang xử lý dữ liệu mật mã.

Quy trình nghiên cứu rigorous

Quy trình thu thập và xử lý dữ liệu tấn công kênh kề được chuẩn hóa nghiêm ngặt theo chiến thuật 5 bước:

  • Bước 1 (Chọn điểm tấn công): Đầu ra của hộp thế S-box tại vòng 1 của thuật toán AES-128, được biểu diễn bởi hàm $f(a, k) = \text{S-box}(a \oplus k)$.
  • Bước 2 (Đo lường và số hóa vết năng lượng): Hệ thống nạp $D$ bản rõ ngẫu nhiên vào thẻ thông minh. Đầu đo vi sai kết nối với máy hiện sóng số băng thông cao ghi nhận $D$ vết năng lượng $t_i = (t_{i1}, \dots, t_{iT})$, lập thành ma trận vết đo $[T]_{D \times T}$ với $T$ là chiều dài mẫu đo (points per trace).
  • Bước 3 (Tính giá trị trung gian giả định): Tính toán $f(a, k_j)$ cho toàn bộ 256 giá trị khóa giả định $k_j \in [0, 255]$, lập thành ma trận $[V]_{D \times 256}$.
  • Bước 4 (Ánh xạ sang mô hình tiêu thụ năng lượng): Ánh xạ từng phần tử của $[V]$ sang ma trận năng lượng giả định $[H]{D \times 256}$ theo mô hình trọng số Hamming: $h{i,j} = HW(v_{i,j})$.
  • Bước 5 (Phân tích tương quan vi sai): Tính toán hệ số tương quan Pearson $r_{i,j}$ giữa từng cột của $[H]$ và từng cột của $[T]$ theo công thức: $$r_{i,j} = \frac{\sum_{a=1}^{D} (h_{a,i} - \bar{h}i)(t{a,j} - \bar{t}j)}{\sqrt{\sum{a=1}^{D} (h_{a,i} - \bar{h}i)^2 \sum{a=1}^{D} (t_{a,j} - \bar{t}j)^2}}$$ Đỉnh tương quan cực đại $r{ck, ct}$ trong ma trận kết quả $[R]{256 \times T}$ sẽ định danh chính xác byte khóa đúng $k{ck}$ và thời điểm xử lý $c_t$.

Data và phân tích

  • Thiết bị chịu tấn công (DUA - Device Under Attack): Vi điều khiển 8-bit Atmega 8515 tích hợp trên thẻ thông minh, hoạt động ở tần số xung nhịp cố định để đảm bảo đồng bộ pha.
  • Nền tảng phần cứng đo lường: Module kiểm thử chuyên dụng Sakura-G và Sakura-W (tiêu chuẩn quốc tế cho nghiên cứu SCA phần cứng), cho phép đo điện áp rơi trên điện trở shunt tại đường nguồn cấp cho chip vi điều khiển.
  • Bộ dữ liệu thực nghiệm:
    • Tập dữ liệu đo lường thuật toán chuẩn AES-128: Ghi nhận vết đo từ 16 byte khóa riêng biệt.
    • Tập dữ liệu kiểm thử thuật toán cải tiến AES-EM: Thu thập ở ba quy mô mẫu khắt khe: 480 vết, 1.500 vết và 3.000 vết đo (traces).
  • Phần mềm và công cụ phân tích: Môi trường mô phỏng Matlab và ngôn ngữ C chuyên dụng cho phân tích thống kê ma trận tương quan kênh kề.

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

+-----------------------------------------------------------------------------+
|             BIỂU ĐỒ MINH HỌA HỆ SỐ TƯƠNG QUAN PEARSON THEO THỜI GIAN        |
+-----------------------------------------------------------------------------+
| Hệ số r                                                                     |
|  1.0 ^                                                                      |
|      |               [Gai tương quan vượt trội r = 0.82]                    |
|  0.8 |                      |                                               |
|      |                     / \   <-- Thuật toán chuẩn AES-128               |
|  0.6 |                    /   \      (Lộ khóa đúng k = 63)                  |
|      |                   /     \                                            |
|  0.4 |                  /       \                                           |
|      |  --------------------------------------------------                  |
|  0.2 |  ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~  <-- AES-EM       |
|  0.0 +--+---+---+---+---+---+---+---+---+---+---+---+---+-> (3.000 traces)  |
|         Thời gian lấy mẫu (Samples / Points in Trace)      Triệt tiêu rò rỉ |
+-----------------------------------------------------------------------------+

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

Thực nghiệm đối đầu trực tiếp giữa thuật toán chuẩn AES-128 và thuật toán cải tiến AES-EM trên thẻ thông minh Atmega 8515 đã mang lại những kết quả có ý nghĩa khoa học sâu sắc:

  1. Bộc lộ hoàn toàn 16 byte khóa trên thuật toán AES-128: Khi thực hiện tấn công phân tích sai khác năng lượng trên AES-128, hệ số tương quan của khóa đúng tại tất cả 16 bytes khóa (từ Byte 1 đến Byte 16) đều xuất hiện các đỉnh gai (spikes) vượt trội hoàn toàn so với 255 khóa giả định còn lại. Đặc biệt tại byte khóa $k = 63$, hệ số tương quan đạt đỉnh rõ nét, chứng minh lỗ hổng rò rỉ kênh kề nghiêm trọng của cấu trúc S-box nguyên bản.
  2. Triệt tiêu hoàn toàn đỉnh tương quan trên thuật toán AES-EM: Khi triển khai thuật toán AES-EM với kỹ thuật mặt nạ nhúng FREM, trên cả ba kịch bản đo lường với 480 vết, 1.500 vết và 3.000 vết, biểu đồ tương quan ứng với khóa đúng $k = 63$ và khóa sai $k = 64$ hoàn toàn phẳng, chìm hoàn toàn trong dải nhiễu ngẫu nhiên. Không có bất kỳ gai tương quan nào xuất hiện tại thời điểm xử lý SubBytes.
  3. Vô hiệu hóa tuyệt đối Tấn công giá trị zero (ZVA): Nhờ cơ chế phân rã phần tử $0$ vào vành thương $\mathcal{R}$, xác suất tấn công ZVA thành công bị kéo giảm từ mức nguy hiểm $\Pr = \frac{1}{256}$ (trong mặt nạ nhân thông thường) về mức $0$ trên thực tế đo lường.
  4. Tối ưu hóa tài nguyên phần cứng vượt bậc: So với phương pháp mặt nạ cố định FiM (chiếm $65.792$ bytes bộ nhớ) và phương pháp mặt nạ đầy đủ FuM ($3.795$ bytes ROM), thuật toán AES-EM tiết kiệm bộ nhớ tĩnh vượt trội, không yêu cầu lưu trữ các bảng S-box mở rộng cồng kềnh, tương thích hoàn hảo với dung lượng RAM/ROM hạn hẹp của Atmega 8515.
+-----------------------------------------------------------------------------+
|            BẢNG ĐỐI SOÁT KẾT QUẢ THỰC NGHIỆM TRÊN THẺ THÔNG MINH            |
+----------------------+--------------------+--------------------+------------+
| Thông số đánh giá    | Thuật toán AES-128 | Thuật toán AES-EM  | Ý nghĩa    |
+----------------------+--------------------+--------------------+------------+
| Vết đo phát hiện khóa| < 50 traces        | > 3.000 traces     | An toàn cao|
| Đỉnh tương quan k=63 | Xuất hiện gai nhọn | Phẳng (nhiễu nền)  | Triệt tiêu |
| Khả năng chống ZVA   | Không áp dụng      | Kháng tuyệt đối    | Đột phá    |
| Bộ nhớ RAM/ROM phụ trợ Không đáng kể      | Cực kỳ tối ưu      | Khả thi cao|
+----------------------+--------------------+--------------------+------------+

Implications đa chiều

  • Về mặt lý thuyết: Luận án đã xác lập một mô hình toán học mẫu mực về việc ứng dụng đại số trừu tượng (nhúng vành thương đa thức) vào giải quyết các bài toán an toàn vật lý của mật mã học hiện đại.
  • Về mặt phương pháp luận: Chuẩn hóa quy trình đo kiểm, phân tích vi sai và đánh giá an toàn kênh kề cho các thuật toán mật mã đối xứng trên nền tảng phần cứng vi điều khiển tại các phòng thí nghiệm chuyên sâu.
  • Về mặt thực tiễn ứng dụng: Cung cấp giải pháp phần mềm nhúng sẵn sàng chuyển giao để nâng cấp độ an toàn cho các hệ thống phát hành thẻ thông minh quốc gia, thẻ căn cước công dân gắn chip, thẻ ngân hàng EMV, SIM viễn thông và các thiết bị mã hóa cơ động phục vụ an ninh quốc phòng.

Limitations và Future Research

Mặc dù đạt được những kết quả xuất sắc, luận án cũng thẳng thắn chỉ ra các giới hạn nghiên cứu (limitations):

  • Giới hạn nền tảng vi điều khiển: Thực nghiệm tập trung chủ yếu trên dòng vi điều khiển 8-bit Atmega 8515; chưa đánh giá toàn diện trên các dòng chip 32-bit kiến trúc ARM Cortex-M chuyên dụng cho bảo mật cao cấp (Secure Elements).
  • Giới hạn phạm vi thuật toán: Luận án tập trung giải quyết triệt để cho phiên bản AES-128; các phiên bản có độ dài khóa lớn hơn như AES-192 và AES-256 chưa được thực nghiệm đo đạc chuyên sâu.
  • Mô hình tấn công đơn kênh: Nghiên cứu tập trung vào tấn công phân tích năng lượng bậc một (First-Order DPA/CPA) và ZVA; chưa mở rộng kiểm thử dưới các cuộc tấn công phân tích năng lượng bậc cao (High-Order DPA - HODPA) kết hợp tấn công phân tích lỗi (Fault Analysis Attack - FAA).
  • Độ trễ thời gian tính toán: Do phải thực hiện các phép biến đổi ánh xạ trường vành ($\text{map}$, $\rho$) và nghịch đảo thông qua lũy thừa, thời gian thực thi của AES-EM có sự gia tăng nhất định so với AES nguyên bản.

Các định hướng nghiên cứu tiếp theo (Future Research Agenda):

  1. Mở rộng và chuẩn hóa kỹ thuật FREM cho các chuẩn mã hóa độ dài khóa 192-bit và 256-bit.
  2. Nghiên cứu kết hợp kỹ thuật mặt nạ nhúng với các giải pháp chống tấn công phân tích lỗi (DFA/FAA) để tạo ra cơ chế phòng thủ kép (Dual-protection scheme).
  3. Thiết kế lõi IP phần cứng chuyên dụng (ASIC/FPGA Co-processor) tích hợp sẵn cấu trúc đại số FREM nhằm tối ưu hóa triệt để tốc độ xử lý ở cấp độ phần cứng.
  4. Mở rộng đánh giá khả năng kháng tấn công phân tích điện từ trường (Electromagnetic Analysis - EMA) trên các nền tảng chip bảo mật đa nhân.

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

Công trình nghiên cứu mang lại những giá trị tác động sâu rộng:

  • Tác động học thuật: Đặt nền móng cho hướng nghiên cứu mật mã vật lý tại Việt Nam; công bố nhiều bài báo chất lượng cao trên các tạp chí uy tín chuyên ngành như Tạp chí Nghiên cứu Khoa học và Công nghệ Quân sự và HNUE Journal of Science. Tạo tiền đề cho các trích dẫn học thuật quốc tế trong lĩnh vực phòng chống SCA trên thẻ thông minh.
  • Tác động công nghiệp và chuyển giao công nghệ: Cung cấp giải pháp kỹ thuật trực tiếp cho các doanh nghiệp sản xuất thẻ thông minh, thiết bị IoT và các tổ chức tài chính nhằm nâng cao năng lực tự chủ công nghệ bảo mật, giảm sự phụ thuộc vào các giải pháp ngoại nhập đắt đỏ.
  • Tác động an ninh quốc gia: Góp phần bảo vệ vững chắc các hệ thống truyền tin mật mã cơ động, hệ thống xác thực định danh điện tử của quân đội và cơ quan nhà nước trước nguy cơ thám mã bằng phương tiện kỹ thuật cao.

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

  • Nghiên cứu sinh và học viên cao học ngành Mật mã học / ATTT: Tiếp cận một tài liệu nghiên cứu chuẩn mực, kết hợp nhuần nhuyễn giữa toán học thuần túy (đại số trừu tượng) và kỹ thuật thực nghiệm đo lường phần cứng.
  • Các nhà khoa học và chuyên gia mật mã học: Kế thừa khung lý thuyết FREM để phát triển các cấu trúc mặt nạ mới cho các thuật toán mã khối phi AES (như SM4, Camellia, Simon/Speck).
  • Kỹ sư R&D phần cứng và phần mềm nhúng: Sử dụng trực tiếp thuật toán AES-EM và phương pháp FuFA được trình bày chi tiết trong phần phụ lục để nạp trực tiếp vào vi điều khiển bảo mật.
  • Cơ quan quản lý và tiêu chuẩn hóa an toàn thông tin: Sử dụng các kết quả và phương pháp đo lường của luận án làm căn cứ khoa học để xây dựng bộ tiêu chuẩn đánh giá an toàn kênh kề cho các thiết bị mật mã quốc gia.

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ì?

Đóng góp độc đáo nhất là việc xây dựng thành công cơ sở toán học nhúng trường mở rộng $GF((2^4)^2)$ vào vành thương đa thức $\mathcal{R} = GF(2^4)[x]/P(x)Q(x)$ thông qua phép ánh xạ ngẫu nhiên $\rho(X) = X \oplus R(x)P(x) \pmod{P(x)Q(x)}$. Kỹ thuật này đã giải quyết triệt để điểm kỳ dị của phần tử $0$ trong phép nhân mà các công trình trước đây (như mặt nạ nhân MM của Trichina et al.) không thể vượt qua, vô hiệu hóa hoàn toàn Tấn công giá trị zero (ZVA).

2. Đổi mới phương pháp luận nghiên cứu thể hiện như thế nào so với các nghiên cứu trước?

So với nghiên cứu của Wolkerstorfer et al. (chỉ tập trung vào phần cứng ASIC hạ bậc tháp) và Golic & Tymen (chỉ dừng ở mô hình lý thuyết), luận án đã đổi mới bằng cách thiết lập một quy trình thực nghiệm khép kín từ chứng minh đại số, mô phỏng ma trận tương quan Pearson đến trực tiếp can thiệp đo dòng trên vi điều khiển Atmega 8515 qua bo mạch chuẩn Sakura-G/W, giải quyết trọn vẹn bài toán lan truyền mặt nạ qua 10 vòng mã hóa của AES.

3. Phát hiện thực nghiệm nào gây bất ngờ nhất trong quá trình nghiên cứu?

Phát hiện ấn tượng nhất là sự phẳng hoàn toàn của hệ số tương quan Pearson tại byte khóa đúng $k = 63$ đối với thuật toán AES-EM khi nâng số lượng mẫu đo lên đến 3.000 vết (traces). Trong khi ở thuật toán AES-128 chuẩn, chỉ cần một số lượng nhỏ vết đo là đỉnh tương quan đã bộc lộ rõ nét, việc duy trì hệ số tương quan nằm hoàn toàn trong ngưỡng nhiễu ngẫu nhiên ở quy mô 3.000 vết khẳng định tính kháng DPA/CPA tuyệt đối của kỹ thuật FREM trong thực tế.

4. Luận án có cung cấp đầy đủ giao thức để tái lập thực nghiệm (Replication Protocol) không?

Có. Luận án trình bày chi tiết cấu trúc phần cứng, sơ đồ chân kết nối của thẻ thông minh Atmega 8515, sơ đồ khối lấy mẫu của Sakura-G/Sakura-W, đồng thời công bố toàn bộ mã nguồn thuật toán trong 4 phần phụ lục chuyên sâu:

  • Phụ lục 1: Thuật toán Full Mask (FuM).
  • Phụ lục 2: Thuật toán Multiplicative Mask (MM).
  • Phụ lục 3: Phương pháp tính toán mặt nạ AtM.
  • Phụ lục 4: Thuật toán Arithmetic transform Mask (AtM) cùng mã nguồn AES-EM.

5. Lộ trình nghiên cứu 10 năm tới được phác thảo ra sao?

Lộ trình phát triển học thuật bao gồm: (1) Chuẩn hóa thư viện mật mã AES-EM cho các hệ điều hành thẻ thông minh mở (JavaCard, MULTOS); (2) Tích hợp cơ chế phòng thủ liên miền chống đồng thời tấn công điện từ (EMA), phân tích lỗi (DFA) và phân tích năng lượng bậc cao (HODPA); (3) Mở rộng kỹ thuật nhúng vành sang bảo vệ các thuật toán mật mã hậu lượng tử (Post-Quantum Cryptography - PQC), đặc biệt là mật mã dựa trên dàn (Lattice-based Cryptography) trên phần cứng nhúng.

Kết luận

Luận án tiến sĩ của NCS. Nguyễn Thanh Tùng là một công trình khoa học xuất sắc, mẫu mực, giải quyết trọn vẹn bài toán bảo vệ thuật toán AES trên thẻ thông minh trước các mối đe dọa từ tấn công phân tích năng lượng. Tóm lược 6 đóng góp mang tính đột phá của công trình:

  1. Phát triển hoàn chỉnh cơ sở lý thuyết đại số cho kỹ thuật mặt nạ nhúng biến đổi trường vành, thiết lập các phép ánh xạ đẳng cấu $GF(2^8) \leftrightarrow GF((2^4)^2)$ và nhúng ngẫu nhiên vào vành thương $\mathcal{R} = GF(2^4)[x]/P(x)Q(x)$.
  2. Hóa giải hoàn toàn Tấn công giá trị zero (ZVA), khắc phục triệt để lỗ hổng chí tử của các phương pháp mặt nạ nhân kinh điển với xác suất rò rỉ $\Pr = 1/256$.
  3. Sáng tạo lược đồ mặt nạ FREM và phương pháp FuFA, thiết lập cơ chế lan truyền mặt nạ an toàn, đồng bộ xuyên suốt 10 vòng mã hóa của chuẩn AES-128.
  4. Xây dựng thành công thuật toán AES-EM, đạt mức tiêu thụ tài nguyên bộ nhớ tối ưu, loại bỏ sự phụ thuộc vào các bảng tra cứu khổng lồ ($65.792$ bytes của FiM hay $3.795$ bytes ROM của FuM).
  5. Thực thi và kiểm chứng thực nghiệm xuất sắc trên vi điều khiển thẻ thông minh Atmega 8515 và nền tảng Sakura-G/W, chứng minh khả năng triệt tiêu hoàn toàn đỉnh tương quan CPA trên quy mô lên tới 3.000 vết đo.
  6. Mở ra hướng nghiên cứu mới về ứng dụng đại số trừu tượng trong an toàn phần cứng mật mã, cung cấp giải pháp kỹ thuật có giá trị thực tiễn cao phục vụ sự nghiệp bảo mật thông tin và an ninh quốc gia.