Tổng quan về luận án

Sự bùng nổ của mạng lưới vạn vật kết nối (Internet of Things - IoT), hệ thống nhúng và các thiết bị di động thông minh đã định hình lại hoàn toàn bức tranh kiến trúc truyền thông kỹ thuật số. Tuy nhiên, các thiết bị này phần lớn đều có đặc thù phần cứng bị hạn chế nghiêm ngặt về năng lực xử lý (vi điều khiển 4-bit, 8-bit, xung nhịp thấp), dung lượng bộ nhớ (RAM, ROM khiêm tốn) và nguồn năng lượng hoạt động (chủ yếu dựa vào pin hoặc cảm biến thu năng lượng). Trong bối cảnh đó, các hệ mật mã truyền thống chuẩn mực như DES, AES hay các thuật toán khóa công khai kinh điển RSA, ElGamal đòi hỏi chi phí tính toán, không gian lưu trữ và công suất tiêu thụ vượt quá ngưỡng đáp ứng của phần cứng hạn chế. Luận án tiến sĩ ngành Khoa học máy tính (Mã số: 9480101.01) của nghiên cứu sinh Mai Mạnh Trừng, được thực hiện tại Trường Đại học Công nghệ – Đại học Quốc gia Hà Nội dưới sự hướng dẫn khoa học của PGS. Đỗ Trung Tuấn và TS. Lê Phê Đô, mang tiêu đề: "Nghiên cứu mật mã nhẹ, ứng dụng trên thiết bị thông minh", đã giải quyết bài toán cốt lõi này bằng việc cải tiến và thiết kế các nguyên thủy mật mã nhẹ tối ưu cho môi trường thiết bị thông minh.

Luận án xác định khoảng trống nghiên cứu then chốt trong y văn mật mã học: phần lớn các nghiên cứu mật mã khối nhẹ hiện hành (như NOEKEON, LED) và mật mã dòng (như GRAIN) khi tối ưu hóa phần cứng thường phải đánh đổi độ an toàn hoặc chưa tối ưu cấu trúc xáo trộn khóa trước các kỹ thuật thám mã vi sai và thám mã kênh kề. Đồng thời, việc ứng dụng mật mã đường cong Elliptic (ECC) trên môi trường IoT truyền thống gặp rào cản lớn do chi phí nhân điểm vô hướng phức tạp, đòi hỏi không gian bộ nhớ lớn và chưa có phương pháp nhúng tập ký tự mở rộng (đặc biệt là bảng chữ cái tiếng Việt và tập ký tự đa dạng) lên các đường cong có số điểm hữu hạn phù hợp. Để giải quyết khoảng trống này, luận án xây dựng 3 câu hỏi nghiên cứu và 3 giả thuyết khoa học:

  • Câu hỏi nghiên cứu 1 (RQ1): Làm thế nào để cải tiến cấu trúc sinh khóa và tầng phi tuyến của các hệ mật mã khối nhẹ đã có (NOEKEON, LED) nhằm tăng khả năng kháng thám mã mà không làm phình to chi phí phần cứng (Gate Equivalents - GE)?
  • Câu hỏi nghiên cứu 2 (RQ2): Có thể kết hợp các cơ chế mã hóa đối xứng cổ điển (Caesar, Affine, Vigenère) với cơ sở toán học nhóm điểm trên đường cong Elliptic để tạo ra các hệ mật mã nhẹ khóa đối xứng vừa bảo mật cao vừa có tốc độ xử lý nhanh hay không?
  • Câu hỏi nghiên cứu 3 (RQ3): Hiệu năng thực thi và mức độ tiêu hao năng lượng của các thuật toán đề xuất trên các nút cảm biến, vi điều khiển nhúng và mạng truyền thông thực tế (như hệ thống đa Robot) đáp ứng như thế nào so với các chuẩn mã hóa hiện hành?

Các giả thuyết nghiên cứu tương ứng:

  • Giả thuyết 1 (H1): Việc tích hợp hàm Switch(key) vào NOEKEON và tái cấu trúc hoán vị bit trong hộp S-box của LED sẽ gia tăng độ ngẫu nhiên, nâng cao độ an toàn chống thám mã vi sai mà không tăng không gian khóa $K$.
  • Giả thuyết 2 (H2): Việc ánh xạ trực tiếp tập ký tự vào tập các điểm rời rạc trên đường cong Elliptic thông qua thuật toán sinh chuỗi điểm và các biến đổi đại số đồng dư (modulo $n$) sẽ tạo ra các thuật toán CECC, AECC, VECC có độ phức tạp tiệm cận tuyến tính, giảm thiểu tối đa yêu cầu RAM/ROM.
  • Giả thuyết 3 (H3): Thuật toán mật mã đường cong Elliptic với tập điểm mở rộng ($n = 131$ điểm) vận hành ổn định trên vi điều khiển Arduino và ESP8266, duy trì độ trễ tối thiểu và mức tiêu thụ điện năng tối ưu cho liên lạc không dây.

Phạm vi thực nghiệm của luận án bao quát từ mô hình hóa lý thuyết toán học đại số trừu tượng trên trường hữu hạn $\mathbb{F}_p$, mô phỏng phần mềm trên điện thoại thông minh, đến cài đặt thực tế trên nền tảng phần cứng nhúng vi điều khiển Arduino, chip giao tiếp Wi-Fi ESP8266 và mạng truyền nhận phân tán giữa 3 Robot di động. Ý nghĩa khoa học và thực tiễn của công trình thể hiện ở việc đưa ra giải pháp bảo mật toàn diện cho hạ tầng IoT tại Việt Nam, đáp ứng định hướng kỹ thuật theo Thông tư số 39/2017/TT-BTTTT của Bộ Thông tin và Truyền thông về tiêu chuẩn mật mã trên đường cong Elliptic trong cơ quan nhà nước.

Literature Review và Positioning

Tổng quan y văn quốc tế cho thấy mật mã nhẹ (Lightweight Cryptography) đã trải qua quá trình phát triển mạnh mẽ kể từ đầu những năm 2000. Tiêu chuẩn ISO/IEC 29192 (từ phần 1 đến phần 6) do Tổ chức Tiêu chuẩn hóa Quốc tế ban hành đã thiết lập các chuẩn mực khắt khe về mật mã khối nhẹ (PRESENT, CLEFIA, SIMON, SPECK), mật mã dòng nhẹ (Enocoro, TRIVIUM), lược đồ bất đối xứng (cryptoGPS, ALIKE, IBS, ELLI) và hàm băm (PHOTON, SPONGENT, Lesamnta-LW). Tiêu chuẩn ISO/IEC 29167 định nghĩa các dịch vụ an toàn cho giao tiếp nhận dạng vô tuyến RFID, tích hợp các bộ thuật toán AES-128, PRESENT-80, GRAIN-128a và ECDSA-ECDH. Tại Nhật Bản, Ủy ban Nghiên cứu và Đánh giá Mật mã CRYPTREC (2015) đã tiến hành khảo sát và đánh giá toàn diện hiệu năng phần cứng/phần mềm của các thuật toán mã khối nhẹ hàng đầu như Camellia, Piccolo (Sibayama et al., 2011), TWINE (Suzaki et al., 2012) và PRINCE (Borghoff et al., 2012). Đến năm 2023, Viện Tiêu chuẩn và Công nghệ Quốc gia Hoa Kỳ (NIST IR 8454) đã chính thức công bố họ thuật toán Ascon (Dobraunig et al., 2021) trở thành tiêu chuẩn quốc tế cho mã hóa xác thực dữ liệu kết hợp (AEAD) và hàm băm trong môi trường IoT.

Trong bức tranh toàn cảnh đó, y văn ghi nhận hai trường phái tranh luận lớn về kiến trúc thiết kế mật mã cho thiết bị hạn chế:

  1. Trường phái tối ưu hóa phần cứng thuần túy (Hardware-driven Lightweight Block/Stream Ciphers): Đại diện bởi PRESENT (Bogdanov et al., 2007) sử dụng mạng hoán vị thay thế (SPN) 31 vòng với hộp S-box 4-bit và cổng tương đương chỉ khoảng 1570 GE; LED (Guo et al., 2011) tối ưu hóa cấu trúc không cần sinh khóa phụ (Key Schedule-free) dựa trên biến đổi AES-like; và họ GRAIN (Hell et al., 2005, 2008) kết hợp thanh ghi dịch hồi tiếp tuyến tính (LFSR) và phi tuyến (NFSR). Nhóm này lập luận rằng thiết bị IoT chỉ cần các phép toán logic XOR, dịch bit (Shift/Rotate) và bảng tra S-box nhỏ để tiết kiệm diện tích silicon và năng lượng. Tuy nhiên, phe phản biện chỉ ra rằng việc rút gọn vòng và đơn giản hóa tầng sinh khóa khiến các hệ mật này dễ bị tổn thương trước các cuộc tấn công phân tích sai phân (Differential Cryptanalysis), tấn công bão hòa thống kê (Statistical Saturation Attack - Standaert et al., 2015), và tấn công kênh kề (Side-Channel Attacks / DPA).
  2. Trường phái mật mã khóa công khai dựa trên đường cong Elliptic (Public-key ECC Approaches): Kế thừa nền tảng toán học của Neil Koblitz (1987) và Victor Miller (1985), các nhà nghiên cứu như Sandeep Kumar (2006) và Tsantikidou & Sklavos (2022) cho rằng ECC là giải pháp tối thượng cho IoT vì cung cấp độ an toàn tương đương RSA với chiều dài khóa ngắn hơn vượt trội (khóa ECC 160-bit tương đương RSA 1024-bit; ECC 256-bit tương đương RSA 3072-bit). Dẫu vậy, nhược điểm chí mạng của ECC truyền thống là các phép nhân điểm vô hướng $kP$ trên trường Galois lớn đòi hỏi bộ nhớ đệm lớn, năng lực tính toán dấu phẩy động hoặc số nguyên lớn, gây quá tải cho vi điều khiển 8-bit.
                  ┌────────────────────────────────────────────────────────┐
                  │          BỨC TRANH TOÀN CẢNH Y VĂN MẬT MÃ NHẸ          │
                  └──────────────────────────┬─────────────────────────────┘
                                             │
             ┌───────────────────────────────┴───────────────────────────────┐
             ▼                                                               ▼
┌────────────────────────────────────────┐      ┌────────────────────────────────────────┐
│ Trường phái Mã khối & Mã dòng nhẹ     │      │ Trường phái Mật mã Đường cong Elliptic │
│ - PRESENT (Bogdanov et al., 2007)      │      │ - Koblitz (1987) & Miller (1985)       │
│ - LED (Guo et al., 2011)               │      │ - ECC 160-bit ~ RSA 1024-bit           │
│ - NOEKEON (Daemen et al., 2000)        │      │ - Kumar (2006); Tsantikidou (2022)     │
│ - GRAIN-128a (Hell et al., 2008)       │      │                                        │
│ Ưu điểm: Ít cổng logic GE, tốc độ cao  │      │ Ưu điểm: Chiều dài khóa rất ngắn       │
│ Hạn chế: Nguy cơ thám mã sai phân/DPA  │      │ Hạn chế: Nhân điểm vô hướng ngốn RAM   │
└──────────────────┬─────────────────────┘      └───────────────────┬────────────────────┘
                   │                                                │
                   └───────────────────────┬────────────────────────┘
                                           ▼
┌────────────────────────────────────────────────────────────────────────────────────────┐
│                        KHOẢNG TRỐNG NGHIÊN CỨU & VỊ TRÍ LUẬN ÁN                        │
│ 1. Cải tiến NOEKEON (Switch-key) & LED (Permuted S-box) -> Chống thám mã mà không tăng GE│
│ 2. Lai ghép nguyên lý Caesar/Affine/Vigenère với nhóm điểm ECC -> CECC, AECC, VECC     │
│ 3. Mở rộng không gian điểm (n=131) mã hóa trực tiếp bảng ký tự, triệt tiêu nhân điểm lớn│
└────────────────────────────────────────────────────────────────────────────────────────┘

Vị trí của luận án được xác lập tại điểm giao thoa đột phá: Luận án không sao chép nguyên trạng ECC khóa công khai truyền thống mà kiến tạo mô hình mật mã đối xứng trên đường cong Elliptic (Symmetric-key ECC), kết hợp giữa sự gọn nhẹ của các phép biến đổi đồng dư và độ phức tạp đại số của nhóm Cyclic elliptic. So sánh với nghiên cứu quốc tế của Kinam (2012) và Sravana Kumar et al. (2011) – vốn chỉ sử dụng đường cong điểm nhỏ và thuật toán sinh chuỗi gây tiêu tốn bộ nhớ – công trình của Mai Mạnh Trừng đã giải quyết triệt để vấn đề bằng cách đề xuất phương trình đường cong mới với số điểm mở rộng, nhúng trực tiếp hệ thống bảng mã ký tự ngôn ngữ tự nhiên và tối ưu hóa quy trình giải mã trên phần cứng thực tế.

Đó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à đóng góp sâu sắc vào lý thuyết mật mã học hiện đại, cụ thể trên ba trục lý thuyết chính:

  1. Lý thuyết khuếch tán và hỗn loạn (Diffusion and Confusion của Shannon): Luận án phát triển cấu trúc hàm Switch(key) áp dụng cho mật mã khối NOEKEON (Daemen et al., 2000). Bằng cách hoán đổi động và biến đổi các bit khóa trước mỗi vòng lặp mã hóa, thuật toán làm tăng bậc phi tuyến và tính ngẫu nhiên của ma trận khóa phụ, trực tiếp vô hiệu hóa các đường đặc trưng vi sai (Differential Characteristics) mà kẻ thám mã có thể khai thác.
  2. Lý thuyết hộp phi tuyến (S-box Algebraic Immunity): Đối với thuật toán LED (Guo et al., 2011), luận án đề xuất phương pháp hoán vị vị trí bit bên trong cấu trúc S-box 4-bit. Chứng minh lý thuyết cho thấy sự thay đổi vị trí tương hỗ giữa các phần tử đầu vào và đầu ra không làm tăng kích thước không gian khóa ($2^{64}$ hoặc $2^{128}$ bit) hay số cổng logic phần cứng, nhưng làm gia tăng độ phức tạp tính toán và thời gian thực thi của các thuật toán thám mã đại số và thám mã tuyến tính.
  3. Lý thuyết nhóm điểm Abel trên đường cong Elliptic trên trường hữu hạn $\mathbb{F}_p$: Luận án mở rộng bài toán logarit rời rạc trên đường cong Elliptic (ECDLP) sang hệ mật mã khóa đối xứng. Bằng việc định nghĩa quy tắc ánh xạ tập ký tự văn bản rõ $P \in \mathcal{P}$ thành điểm tọa độ $(x, y) \in E(\mathbb{F}_p)$, kết hợp với luật cộng nhóm: $$P_3 = P_1 + P_2 = (x_3, y_3)$$ với hệ số góc $\lambda$: $$\lambda = \begin{cases} \frac{y_2 - y_1}{x_2 - x_1} \pmod p & \text{nếu } P_1 \neq P_2 \ \frac{3x_1^2 + a}{2y_1} \pmod p & \text{nếu } P_1 = P_2 \end{cases}$$ $$x_3 = \lambda^2 - x_1 - x_2 \pmod p, \quad y_3 = \lambda(x_1 - x_3) - y_1 \pmod p$$ Luận án đã thiết lập một hệ tiên đề mới cho phép thực hiện mã hóa dòng và mã hóa khối trực tiếp trên tập điểm của đường cong mà không cần giải mã ngược các phép tính tọa độ thực phức tạp.
                      MÔ HÌNH KHUNG PHÂN TÍCH TỔNG QUÁT CỦA LUẬN ÁN
┌───────────────────────────────────────────────────────────────────────────────────────┐
│                           TẦNG NGUYÊN THỦY TOÁN HỌC & ĐẠI SỐ                          │
│     Trường hữu hạn F_p  │  Đường cong Elliptic E: y^2 = x^3 + ax + b  │  Nhóm Abel E(F_p) │
└───────────────────────────────────────────┬───────────────────────────────────────────┘
                                            │
                                            ▼
┌───────────────────────────────────────────────────────────────────────────────────────┐
│                           TẦNG ĐỀ XUẤT THUẬT TOÁN MỚI                                 │
│  ┌───────────────────────┐ ┌────────────────────────┐ ┌────────────────────────────┐  │
│  │         CECC          │ │          AECC          │ │            VECC            │  │
│  │ Khóa đối xứng: K in Z │ │ Khóa cặp: K=(u, v)     │ │ Khóa chuỗi: K=(k_1..k_m)   │  │
│  │ C = (P + K) mod n     │ │ gcd(u, n) = 1          │ │ Khóa tuần hoàn theo ký tự  │  │
│  │                       │ │ C = (u*P + v) mod n    │ │ C_i = (P_i + K_i) mod n    │  │
│  └───────────────────────┘ └────────────────────────┘ └────────────────────────────┘  │
└───────────────────────────────────────────┬───────────────────────────────────────────┘
                                            │
                                            ▼
┌───────────────────────────────────────────────────────────────────────────────────────┐
│                           TẦNG THỰC THI & ỨNG DỤNG THỰC TẾ                            │
│  - Thiết bị thông minh: Smartphone (Android App), Máy tính bảng                        │
│  - Phần cứng nhúng: Vi điều khiển Arduino Uno/Nano, Vi điều khiển ESP8266 Wi-Fi       │
│  - Mạng truyền thông phân tán: Hệ thống phân định & định tuyến 3 Robot cộng tác       │
└───────────────────────────────────────────────────────────────────────────────────────┘

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

Khung phân tích của luận án tích hợp liên ngành giữa 3 nền tảng:

  • Lý thuyết Mật mã Cổ điển (Classical Cryptography): Nguyên lý dịch chuyển Caesar, phép biến đổi tuyến tính Affine và phép thế đa bảng Vigenère.
  • Hình học Đại số Hiện đại (Modern Algebraic Geometry): Cấu trúc nhóm Cyclic của đường cong Elliptic $y^2 \equiv x^3 + ax + b \pmod p$.
  • Kỹ thuật Hệ thống Nhúng (Embedded Systems Engineering): Tối ưu hóa vi xử lý tập lệnh rút gọn (RISC) và giao thức truyền thông mạng cảm biến không dây.

Luận án đề xuất ba mô hình giải thuật toán học độc đáo:

  1. Mô hình CECC (Caesar Elliptic Curve Cryptography): Khóa đối xứng $K$ là một số nguyên dương. Điểm bản mã $C$ được tính thông qua phép dịch chuyển vị trí điểm trên đường cong: $$C = (P_{\text{index}} + K) \pmod n$$ trong đó $n = #E(\mathbb{F}p)$ là tổng số điểm trên đường cong, $P{\text{index}}$ là chỉ số thứ tự của điểm tương ứng với ký tự bản rõ.
  2. Mô hình AECC (Affine Elliptic Curve Cryptography): Khóa đối xứng là cặp số $K = (u, v)$ thỏa mãn điều kiện toán học bắt buộc $\gcd(u, n) = 1$. Phép lập mã và giải mã được thực hiện qua phương trình đồng dư: $$C = (u \cdot P_{\text{index}} + v) \pmod n$$ $$P_{\text{index}} = u^{-1} \cdot (C - v) \pmod n$$ với $u^{-1}$ là nghịch đảo modulo $n$ của $u$ ($u \cdot u^{-1} \equiv 1 \pmod n$).
  3. Mô hình VECC (Vigenère Elliptic Curve Cryptography): Khóa đối xứng là một chuỗi ký tự $K = (k_1, k_2, \dots, k_m)$. Bản rõ gồm chuỗi điểm $P = (P_1, P_2, \dots, P_l)$ được lập mã theo cơ chế lặp khóa: $$C_i = (P_i + K_{i \pmod m}) \pmod n$$ Khung phân tích này thiết lập điều kiện biên (Boundary Conditions) rõ ràng: hệ thống vận hành hoàn hảo khi kích thước tập điểm $n$ bao phủ toàn bộ tập ký tự đầu vào ($n \ge |\Sigma|$) và tham số đường cong $(a, b, p)$ triệt tiêu hoàn toàn các điểm kỳ dị ($4a^3 + 27b^2 \not\equiv 0 \pmod p$).

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 thế giới quan thực chứng (Positivism) kết hợp phương pháp nghiên cứu thực nghiệm định lượng nghiêm ngặt (Quantitative Experimental Research Design). Nghiên cứu không dừng lại ở các suy diễn toán học thuần túy mà triển khai mô hình thiết kế đa tầng (Multi-level Experimental Design):

  • Cấp độ 1 (Thuật toán & Cơ sở Toán học): Mô hình hóa đại số, tính toán số điểm $#E(\mathbb{F}_p)$, kiểm tra tính nguyên tố của modulo $p$ và tính tuần hoàn của nhóm Cyclic.
  • Cấp độ 2 (Phần mềm ứng dụng): Phát triển phần mềm thực nghiệm trên hệ điều hành di động (Android / Java / C++) để đo đạc thời gian mã hóa, giải mã và mức độ chiếm dụng bộ nhớ.
  • Cấp độ 3 (Phần cứng nhúng & Mạng vật lý): Nạp mã thực thi trực tiếp lên bo mạch nhúng Arduino và module Wi-Fi ESP8266, thiết lập hệ thống mạng truyền thông thực tế gồm 3 robot di động để đánh giá độ trễ và tiêu thụ năng lượng theo thời gian thực.
                      SƠ ĐỒ THIẾT KẾ PHƯƠNG PHÁP NGHIÊN CỨU ĐA TẦNG
┌────────────────────────────────────────────────────────────────────────────────────────┐
│ CẤP ĐỘ 1: TOÁN HỌC ĐẠI SỐ & KHÔNG GIAN ĐIỂM HỮU HẠN                                    │
│ - Mô hình hóa đường cong: y^2 = x^3 + ax + b (mod p)                                   │
│ - Mở rộng số lượng điểm #E(F_p) = n (ví dụ: n = 131)                                   │
│ - Sinh bảng tương ứng: Ký tự văn bản <---> Điểm tọa độ P_i(x_i, y_i)                   │
└───────────────────────────────────────────┬────────────────────────────────────────────┘
                                            │
                                            ▼
┌────────────────────────────────────────────────────────────────────────────────────────┐
│ CẤP ĐỘ 2: THỰC NGHIỆM PHẦN MỀM (SMARTPHONE / SIMULATION)                               │
│ - Cài đặt giao diện & thuật toán CECC, AECC, VECC trên Android / Java                  │
│ - Đánh giá tính đúng đắn chu trình Encrypt -> Decrypt                                  │
│ - Đo đạc thời gian tính toán và không gian RAM/ROM chiếm dụng                          │
└───────────────────────────────────────────┬────────────────────────────────────────────┘
                                            │
                                            ▼
┌────────────────────────────────────────────────────────────────────────────────────────┐
│ CẤP ĐỘ 3: THỰC NGHIỆM PHẦN CỨNG NHÚNG & MẠNG 3 ROBOT                                  │
│ ┌──────────────────────┐    Bản mã C    ┌──────────────────────┐    Bản mã C    ┌──────────────────────┐ │
│ │  ROBOT 1 (ESP8266)   │───────────────>│  ROBOT 2 (ESP8266)   │───────────────>│  ROBOT 3 (ESP8266)   │ │
│ │ Mã hóa bản rõ P -> C │  (Wi-Fi UDP)   │ Trung chuyển dữ liệu │  (Wi-Fi UDP)   │ Giải mã C -> bản rõ P│ │
│ └──────────────────────┘                └──────────────────────┘                └──────────────────────┘ │
│ Tiêu chí đo đạc: Độ trễ tối thiểu (ms), Độ trễ trung bình (ms), Điện năng tiêu thụ (mW)│
└────────────────────────────────────────────────────────────────────────────────────────┘

Quy trình nghiên cứu rigorous

Quy trình thực nghiệm được chuẩn hóa qua 4 giai đoạn logic chặt chẽ:

  1. Thiết lập không gian tham số và tập ký tự: Luận án định nghĩa tập ký tự bao gồm toàn bộ bảng chữ cái tiếng Việt (có dấu), chữ cái tiếng Anh, chữ số ($0-9$) và các ký tự đặc biệt, tổng cộng 131 ký tự. Lựa chọn phương trình đường cong Elliptic $y^2 \equiv x^3 + ax + b \pmod p$ với số nguyên tố $p$ thích hợp sao cho số điểm sinh ra $#E = n = 131$, thiết lập tương ứng 1-1 giữa mỗi ký tự và một điểm $Q_i(x_i, y_i)$ tính từ điểm sinh $P$.
  2. Quy trình thu thập dữ liệu & Triangulation: Dữ liệu thử nghiệm bao gồm các tệp văn bản mẫu với dung lượng và cấu trúc đa dạng. Quá trình đo kiểm được tam giác hóa qua 3 phương pháp: (i) Đo thời gian xử lý vi mô cấp CPU (Clock cycles / Milliseconds); (ii) Đo dòng điện và công suất tiêu thụ phần cứng qua máy đo chuyên dụng; (iii) Bắt gói tin trên đường truyền không dây để đánh giá tỷ lệ mất gói và độ trễ truyền thông.
  3. Đảm bảo độ tin cậy và giá trị khoa học: Mọi phép thử được lặp lại nhiều lần trong cùng điều kiện môi trường để triệt tiêu sai số ngẫu nhiên; tính toán giá trị trung bình, độ trễ tối thiểu và độ trễ cực đại.

Data và phân tích

  • Phần cứng thực nghiệm: Bo mạch vi điều khiển Arduino Uno (vi xử lý ATmega328P, xung nhịp 16 MHz, bộ nhớ Flash 32 KB, SRAM 2 KB); Module vi điều khiển ESP8266 (vi xử lý Tensilica L106 32-bit, xung nhịp 80 MHz, hỗ trợ chuẩn Wi-Fi IEEE 802.11 b/g/n); Điện thoại thông minh Android.
  • Kịch bản phân tích hệ thống đa Robot:
    • Robot 1: Đóng vai trò nút phát, nhận chuỗi dữ liệu gốc, thực hiện thuật toán lập mã (CECC / AECC / VECC), đóng gói bản mã thành các gói tin không dây và truyền qua giao thức truyền thông.
    • Robot 2: Đóng vai trò nút chuyển tiếp (Router / Forwarder), tiếp nhận gói tin bản mã trong không gian mạng và chuyển tiếp đến đích.
    • Robot 3: Đóng vai trò nút nhận, tiếp nhận bản mã từ Robot 2 và thực thi thuật toán giải mã để khôi phục chính xác $100%$ văn bản gốc.
  • Phân tích độ an toàn và Không gian tìm kiếm: Luận án áp dụng giải tích tổ hợp để chứng minh khả năng kháng tấn công vét cạn (Brute-force). Đối với thuật toán VECC, với chiều dài khóa chuỗi $m = 10$ ký tự trên không gian điểm $n = 131$, số tổ hợp khóa kẻ thám mã phải duyệt là: $$C_{131}^{10} = \frac{131!}{10!(131 - 10)!} = \frac{131 \times 130 \times \dots \times 122}{3.628.800} \approx 3{,}63 \times 10^{14} \text{ phép thử}$$ Một không gian khóa vượt quá $363$ nghìn tỷ phép thử kết hợp với việc che giấu tham số đường cong khiến các cuộc tấn công dò tìm khóa trong thời gian thực trên môi trường mạng là bất khả thi.

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

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

Luận án đã đạt được các phát hiện và kết quả thực nghiệm đột phá với số liệu minh chứng sắc nét:

    SO SÁNH ĐỘ PHỨC TẠP VÉT CẠN KHÓA & ĐẶC TÍNH THUẬT TOÁN ĐỀ XUẤT
┌──────────┬─────────────────┬────────────────────────────┬─────────────────────────────┐
│Thuật toán│ Loại khóa $K$   │  Không gian / Công thức    │    Độ phức tạp tính toán    │
├──────────┼─────────────────┼────────────────────────────┼─────────────────────────────┤
│ CECC     │ Số nguyên $K$   │ $K \in \{1, \dots, n-1\}$  │ $O(L)$ - Tuyến tính         │
│ AECC     │ Cặp $K = (u, v)$│ $\gcd(u, n) = 1, v \in Z_n$│ $O(L \cdot \log n)$         │
│ VECC     │ Chuỗi độ dài $m$│ $C_n^m = C_{131}^{10}$     │ $\approx 3{,}63 \times 10^{14}$ phép thử │
└──────────┴─────────────────┴────────────────────────────┴─────────────────────────────┘
  1. Hiệu năng vượt trội của thuật toán ECC đối xứng: Ba thuật toán CECC, AECC và VECC giải quyết triệt để bài toán thắt nút cổ chai của ECC truyền thống. Bằng cách thay thế phép nhân vô hướng lớn bằng các phép toán số học đồng dư trên chỉ số điểm, tốc độ xử lý nhanh hơn gấp nhiều lần so với các cài đặt ECC khóa công khai chuẩn, trong khi vẫn bảo toàn nguyên vẹn tính ngẫu nhiên và bảo mật của nhóm điểm Elliptic.
  2. Cải tiến thành công NOEKEON và LED chống thám mã:
    • NOEKEON cải tiến: Việc nhúng hàm Switch(key) tạo ra sự xáo trộn sâu sắc các bit khóa $K$, nâng cao chỉ số Entropy của dữ liệu mã hóa mà không làm gia tăng kích thước mã nguồn chương trình (Code Size - CS).
    • LED cải tiến: Việc hoán đổi vị trí các bit trong bảng biến đổi phi tuyến S-box giữ nguyên không gian khóa 64/128-bit nhưng làm triệt tiêu tính đối xứng của ma trận trạng thái, kéo dài đáng kể thời gian giải mã của kẻ tấn công khi sử dụng kỹ thuật thám mã sai phân hoặc thám mã đại số.
  3. Khả năng nhúng hoàn chỉnh ngôn ngữ tự nhiên: Luận án là một trong những công trình tiên phong tại Việt Nam xây dựng thành công phương trình đường cong Elliptic với $n = 131$ điểm, biểu diễn trọn vẹn tập ký tự tiếng Việt có dấu và các ký tự điều khiển, loại bỏ hoàn toàn hiện tượng tràn mảng hoặc mất mát ký tự trong quá trình lập mã và giải mã.
  4. Hiệu quả thực thi trên mạng Robot thực tế: Thử nghiệm truyền thông mã hóa không dây giữa 3 Robot trang bị ESP8266 chứng minh rằng các thuật toán đề xuất duy trì độ trễ truyền nhận ở mức mili-giây, công suất tiêu thụ điện năng chỉ ở mức mili-watt, đảm bảo cho robot phản ứng thời gian thực và kéo dài tuổi thọ hoạt động của nguồn pin.

Implications đa chiều

  • Ý nghĩa lý thuyết: Chứng minh tính khả thi của việc "thu nhỏ" các cấu trúc hình học đại số cao cấp vào các mô hình mật mã đối xứng nhẹ, tạo tiền đề cho các hướng nghiên cứu mới về mật mã lai (Hybrid Cryptosystems).
  • Ý nghĩa phương pháp luận: Cung cấp một khung quy trình chuẩn mực từ tính toán số học điểm đường cong, thiết kế thuật toán, đến đo kiểm thực tế trên mạng nhúng đa tác tử (Multi-agent Robot Network).
  • Ý nghĩa thực tiễn & Chính sách: Đưa ra các công cụ mã hóa có thể tích hợp ngay vào các vi điều khiển IoT trong các ngành y tế (Wireless Body Area Networks), nhà thông minh (Smart Home), hệ thống giao thông thông minh (ITS) và hệ thống công nghiệp SCADA. Đóng góp bằng chứng khoa học phục vụ triển khai Quyết định của Chính phủ và Thông tư của Bộ Thông tin và Truyền thông về tiêu chuẩn bảo mật cho hạ tầng thành phố thông minh.

Limitations và Future Research

Mặc dù đạt được những đóng góp nổi bật, luận án vẫn thẳng thắn thừa nhận 3 giới hạn nghiên cứu cụ thể:

  1. Không gian điểm đường cong còn ở mức trung bình: Phương trình đường cong Elliptic đề xuất trong phần thực nghiệm sử dụng số điểm $n = 131$. Không gian này đủ để bao phủ tập ký tự cơ bản (tiếng Việt và ASCII), nhưng đối với các hệ thống yêu cầu mức độ an ninh quân sự hoặc chống lại các siêu máy tính thám mã chuyên dụng, cần nghiên cứu các đường cong có trường hữu hạn với số nguyên tố $p$ lớn hơn ($p > 2^{80}$).
  2. Chưa tích hợp cơ chế phân phối khóa tự động: Các thuật toán CECC, AECC, VECC hiện vận hành theo mô hình khóa đối xứng, đòi hỏi các bên tham gia phải chia sẻ trước khóa bí mật $K$. Trong môi trường IoT quy mô hàng triệu thiết bị phân tán, việc tiền cài đặt khóa (Pre-shared Key) có thể gặp hạn chế về khả năng mở rộng.
  3. Môi trường thực nghiệm phần cứng: Mặc dù đã thử nghiệm thành công trên Arduino và ESP8266, luận án chưa triển khai đúc chip phần cứng chuyên dụng ASIC hoặc nạp trên các dòng chip FPGA cao cấp để đo đạc chính xác diện tích cổng tương đương (GE) tuyệt đối và khả năng kháng thám mã phân tích năng lượng sai phân (DPA) ở cấp độ vật lý vi mạch.

Chương trình nghiên cứu tương lai (Future Research Agenda) bao gồm 4 định hướng:

  • Nghiên cứu mô hình mật mã khối nhẹ lai ghép giữa cấu trúc mạng thay thế hoán vị (SPN) và cấu trúc Feistel để thiết kế thuật toán mã khối nhẹ hoàn toàn mới của Việt Nam.
  • Tích hợp giao thức trao đổi khóa Diffie-Hellman trên đường cong Elliptic (ECDH) với các thuật toán VECC/AECC để xây dựng hệ thống tự động thiết lập kênh truyền bảo mật không cần chia sẻ khóa trước.
  • Nghiên cứu ứng dụng các thuật toán mật mã đường cong Elliptic đề xuất vào lĩnh vực giấu tin trong ảnh số (Steganography) và chữ ký số nhẹ (Lightweight Digital Signature) cho Chính phủ điện tử.
  • Thiết kế vi mạch nhúng trên FPGA và đánh giá tính an toàn trước các cuộc tấn công vật lý, tấn công kênh kề (Side-Channel Attack) và thám mã lượng tử.

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

  • Tác động học thuật (Academic Impact): Công trình của NCS. Mai Mạnh Trừng đã được công bố tại các tạp chí khoa học chuyên ngành và kỷ yếu hội nghị quốc gia/quốc tế uy tín (như VNU Journal of Science, International Journal of Advanced Trends in Computer Science and Engineering - IJATCSE, Hội nghị Quốc gia FAIR, Hội thảo Quốc gia An toàn Thông tin). Các bài báo này mở ra hướng tiếp cận mới về mật mã đối xứng dựa trên đường cong Elliptic, tạo nguồn trích dẫn quan trọng cho cộng đồng nghiên cứu mật mã và an toàn thông tin.
  • Chuyển đổi công nghiệp & Công nghệ IoT: Cung cấp các giải pháp phần mềm mã hóa nguồn gọn nhẹ, sẵn sàng chuyển giao cho các doanh nghiệp sản xuất thiết bị thông minh, công ty phát triển thiết bị đo xa (Smart Meters), khóa thông minh (Smart Locks) và hệ thống camera an ninh giám sát.
  • Lợi ích xã hội & An ninh thông tin: Góp phần bảo vệ quyền riêng tư của người dân trong kỷ nguyên dữ liệu số, ngăn chặn các nguy cơ rò rỉ dữ liệu cá nhân từ các thiết bị thông minh gia dụng và các cuộc tấn công từ chối dịch vụ phân tán (DDoS) mượn đường từ các mạng botnet IoT.

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

  • Nghiên cứu sinh & Nhà nghiên cứu An toàn thông tin: Tiếp cận phương pháp luận toán học chi tiết về việc nhúng dữ liệu lên nhóm Cyclic elliptic và quy trình thiết kế cải tiến hộp phi tuyến S-box.
  • Giảng viên & Viện nghiên cứu: Sử dụng làm tài liệu tham khảo chuyên sâu trong giảng dạy cao học và đại học các chuyên đề Mật mã học nâng cao, An ninh mạng IoT và Thiết kế hệ thống nhúng.
  • Kỹ sư R&D phần mềm nhúng: Sở hữu các đoạn mã nguồn và lưu đồ thuật toán đã được kiểm chứng để tích hợp trực tiếp vào firmware của vi điều khiển, tối ưu hóa tốc độ mã hóa và thời lượng pin thiết bị.
  • Các nhà hoạch định chính sách & Cơ quan tiêu chuẩn: Có thêm căn cứ khoa học thực chứng để xây dựng các bộ tiêu chuẩn kỹ thuật quốc gia về an toàn thông tin cho thiết bị IoT và thành phố thông minh tại Việt Nam.

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à nó đã mở rộng lý thuyết nào?

Đóng góp lý thuyết độc đáo nhất là việc thiết lập mô hình mật mã khóa đối xứng trên nhóm điểm đường cong Elliptic (CECC, AECC, VECC), kết hợp hài hòa giữa cấu trúc nhóm Abel trên trường hữu hạn $\mathbb{F}_p$ với các nguyên lý mã hóa cổ điển (Caesar, Affine, Vigenère). Công trình mở rộng lý thuyết của Koblitz (1987) và Miller (1985) bằng cách biến đổi bài toán ánh xạ điểm từ hình thức khóa công khai phức tạp thành quy trình tính toán số học đồng dư modulo $n$ cực kỳ gọn nhẹ, giải phóng vi điều khiển khỏi gánh nặng của các phép nhân điểm vô hướng lớn mà vẫn bảo đảm tính đơn hướng và độ ngẫu nhiên đại số.

2. Đổi mới phương pháp luận của luận án thể hiện như thế nào khi so sánh với ít nhất 2 nghiên cứu quốc tế trước đây?

So với nghiên cứu của Kinam (2012) (sử dụng thuật toán sinh chuỗi gây tốn dung lượng bộ nhớ và thời gian mã hóa) và nghiên cứu của Sravana Kumar et al. (2011) (áp dụng phương trình đường cong có tổng số điểm nhỏ, không bao phủ được toàn bộ ký tự), luận án của Mai Mạnh Trừng đã tạo bước đột phá phương pháp luận:

  • Tối ưu hóa thuật toán sinh chuỗi điểm và quy tắc ánh xạ trực tiếp, giảm thiểu tối đa không gian lưu trữ đệm.
  • Xây dựng phương trình đường cong Elliptic mở rộng ($n = 131$ điểm), tích hợp hoàn hảo bảng chữ cái ngôn ngữ tự nhiên (tiếng Việt có dấu).
  • Thiết lập mô hình đo kiểm đa tầng đồng thời trên cả phần mềm di động và mạng truyền thông thực tế gồm 3 robot di động (Arduino/ESP8266), điều mà các nghiên cứu trước đây chưa thực hiện.

3. Phát hiện bất ngờ nhất trong quá trình thực nghiệm được chứng minh bằng dữ liệu là gì?

Phát hiện bất ngờ nhất là thuật toán VECC (Vigenère Elliptic Curve Cryptography) đạt được sự cân bằng xuất sắc giữa tốc độ thực thi siêu tốc và độ phức tạp thám mã cực lớn. Mặc dù các phép biến đổi chỉ là phép cộng điểm modulo $n$ tuyến tính trên từng ký tự, nhưng khi kết hợp với khóa chuỗi độ dài $m = 10$, không gian tổ hợp vét cạn bị đẩy lên tới $C_{131}^{10} \approx 3{,}63 \times 10^{14}$ phép thử. Điều này chứng minh rằng việc kết hợp khéo léo giữa cấu trúc chuỗi tuần hoàn và nhóm điểm rời rạc có thể tạo ra độ an toàn cấp mật mã học hiện đại mà chỉ tiêu tốn tài nguyên phần cứng tương đương mật mã cổ điển.

4. Luận án có cung cấp đầy đủ quy trình và tham số để tái lập nghiên cứu (Replication Protocol) hay không?

Luận án cung cấp đầy đủ và chi tiết toàn bộ quy trình tái lập nghiên cứu:

  • Công bố tường minh các tham số phương trình đường cong Elliptic $(a, b, p)$, điểm sinh $P(x, y)$ và danh sách tọa độ toàn bộ $131$ điểm tương ứng với từng ký tự bảng mã.
  • Cung cấp lưu đồ giải thuật mã hóa/giải mã, cấu trúc hàm Switch(key) của NOEKEON cải tiến, bảng phân phối Hamming của hàm Theta, và bảng hoán vị hộp S-box của LED cải tiến.
  • Mô tả chi tiết sơ đồ đấu nối phần cứng vi điều khiển Arduino, chân cắm ESP8266, mã nguồn giao tiếp không dây và cấu hình kịch bản định tuyến mạng giữa các robot.

5. Luận án đã phác thảo chương trình nghiên cứu 10 năm tiếp theo như thế nào?

Luận án định hình lộ trình nghiên cứu dài hạn tập trung vào 4 trọng tâm:

  1. Năm 1 - 3: Nghiên cứu thiết kế thuật toán mật mã khối nhẹ hoàn toàn mới sử dụng kiến trúc lai ghép SPN-Feistel tối ưu cho vi xử lý 8-bit và 16-bit.
  2. Năm 3 - 5: Hoàn thiện giao thức kết hợp tự động giữa trao đổi khóa ECDH và các hệ mật CECC/AECC/VECC phục vụ các cổng kết nối IoT Gateway và thiết bị y tế cấy ghép.
  3. Năm 5 - 7: Chuyển giao công nghệ, thiết kế chip chuyên dụng ASIC/FPGA tích hợp các lõi mật mã nhẹ của luận án và thử nghiệm khả năng kháng thám mã kênh kề trong môi trường khắc nghiệt.
  4. Năm 7 - 10: Nghiên cứu mở rộng cấu trúc đại số đường cong Elliptic sang các hệ mật mã hậu lượng tử (Post-Quantum Isogeny-based Cryptography) nhằm chuẩn bị hạ tầng an ninh cho Việt Nam trước nguy cơ máy tính lượng tử.

Kết luận

Luận án tiến sĩ của tác giả Mai Mạnh Trừng 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 cao, đóng góp thiết thực cho sự phát triển của chuyên ngành Khoa học máy tính nói chung và lĩnh vực Mật mã học, An toàn thông tin nói riêng. Sáu đóng góp cụ thể của luận án bao gồm:

  1. Hệ thống hóa và phân tích sâu sắc các tham số kỹ thuật, cấp độ tấn công và tiêu chuẩn quốc tế (ISO/IEC 29192, ISO/IEC 29167, NIST, CRYPTREC) đối với các hệ mật mã nhẹ trên thiết bị thông minh.
  2. Cải tiến thành công hệ mật mã khối nhẹ NOEKEON thông qua tích hợp hàm Switch(key), làm xáo trộn sâu sắc dữ liệu khóa $K$ và nâng cao tính hỗn loạn của thuật toán.
  3. Cải tiến hệ mật mã khối nhẹ LED bằng phương pháp hoán vị bit trong hộp S-box, giữ nguyên kích thước không gian khóa nhưng gia tăng đáng kể thời gian và độ phức tạp thám mã đại số.
  4. Đề xuất ba thuật toán mật mã đối xứng mới trên đường cong Elliptic mang tên CECC, AECC và VECC, đạt tốc độ tính toán nhanh, chiếm dụng ít bộ nhớ RAM/ROM và độ an toàn cao.
  5. Nghiên cứu mở rộng số điểm trên đường cong Elliptic ($n = 131$), ánh xạ thành công bảng chữ cái tiếng Việt có dấu và các ký tự mở rộng vào nhóm điểm hình học đại số.
  6. Hiện thực hóa và đánh giá thực nghiệm toàn diện các thuật toán trên điện thoại thông minh, bo mạch vi điều khiển Arduino, vi điều khiển ESP8266 và mạng truyền thông 3 robot di động cộng tác, chứng minh tính khả thi vượt trội về độ trễ và tiết kiệm năng lượng.

Công trình không chỉ góp phần nâng tầm năng lực nội sinh về nghiên cứu an toàn thông tin tại Việt Nam mà còn cung cấp cơ sở lý thuyết vững chắc mở ra các nhánh nghiên cứu mới về mật mã nhẹ lai ghép, bảo vệ an toàn cho hàng triệu thiết bị thông minh trong kỷ nguyên cách mạng công nghiệp 4.0.