Tổng quan luận án
Luận án tiến sĩ toán học với đề tài "Nghiên cứu, phát triển một số thuật toán nâng cao khả năng bảo mật cho các thiết bị trong mạng IoT" do nghiên cứu sinh Trần Xuân Ban thực hiện tại Viện Khoa học và Công nghệ quân sự (Bộ Quốc phòng), thuộc ngành Cơ sở toán học cho tin học (mã số 9 46 01 10), dưới sự hướng dẫn khoa học của PGS.TS Nguyễn Linh Giang và Thiếu tướng TS Nguyễn Ngọc Cương. Công trình được hoàn thành năm 2024 tại Hà Nội.
Tính cấp thiết và khoảng trống nghiên cứu
Mạng Internet of Things (IoT) phát triển mạnh mẽ và được ứng dụng rộng rãi trong giám sát y tế, giao thông, nông nghiệp, an ninh, quốc phòng. Phần lớn các thiết bị IoT có đặc điểm chung là kích thước nhỏ, năng lực tính toán hạn chế, dung lượng bộ nhớ nhỏ và nguồn năng lượng hoạt động (pin) hữu hạn. Khi các thiết bị này được triển khai trong môi trường mở và tương tác trực tiếp với thế giới vật lý, chúng trở thành đối tượng của nhiều hình thức tấn công nhằm đánh cắp dữ liệu, làm tê liệt hệ thống hoặc biến thành mạng máy tính ma (Botnet).
Nhiều quốc gia đã ban hành các khung pháp lý quản lý bảo mật IoT, tiêu biểu như:
- Mỹ áp dụng Điều luật SB-327 tại bang California (hiệu lực từ 01/01/2020) cấm sử dụng mật khẩu mặc định đối với thiết bị IoT;
- Anh ban hành đạo luật an toàn thiết bị IoT (hiệu lực từ 21/01/2020) quy định việc cập nhật phần mềm và kiểm soát mật khẩu mặc định;
- Nhật Bản đưa chiến lược an ninh mạng thiết bị IoT vào Luật An toàn, an ninh mạng;
- Việt Nam ban hành Luật An toàn thông tin mạng (2015), Luật An ninh mạng (2018, hiệu lực từ 01/01/2019), Nghị quyết số 52-NQ/TW của Bộ Chính trị về cách mạng công nghiệp lần thứ tư, Nghị quyết số 30-NQ/TW về Chiến lược an ninh mạng quốc gia, đồng thời thành lập Cục An ninh mạng và phòng, chống tội phạm sử dụng công nghệ cao thuộc Bộ Công an.
Khoảng trống nghiên cứu nảy sinh từ việc các thuật toán mật mã tiêu chuẩn như AES hoặc RSA đòi hỏi tài nguyên tính toán và bộ nhớ tương đối lớn, dẫn đến hiện tượng suy giảm hiệu năng hoặc không thể cài đặt trên các vi điều khiển cấp thấp của thiết bị IoT (như thẻ RFID, vi cảm biến). Do đó, yêu cầu nghiên cứu và xây dựng hệ mật mã nhẹ (lightweight cryptography) dựa trên mật mã dòng, đi kèm giải pháp sinh số giả ngẫu nhiên và giao thức trao đổi khóa tối ưu chi phí tính toán, là vấn đề cấp thiết cả về mặt toán học lẫn thực tiễn triển khai.
Mục tiêu nghiên cứu
Mục tiêu tổng quát của luận án là nghiên cứu, phát triển thuật toán mã hóa nhẹ trên cơ sở các thanh ghi dịch phản hồi tuyến tính (Linear Feedback Shift Register - LFSR) ứng dụng cho bảo mật trong mạng IoT, đồng thời đề xuất giải pháp tạo và trao đổi khóa phù hợp với đặc thù thiết bị có tài nguyên hạn chế.
Đối tượng và phạm vi nghiên cứu
- Đối tượng nghiên cứu: Cấu trúc và đặc điểm truyền thông của mạng IoT; cơ sở toán học của hệ mật mã dòng; thanh ghi dịch phản hồi tuyến tính (LFSR); phương pháp đồng dư tuyến tính để sinh số giả ngẫu nhiên; phương pháp tạo và trao đổi khóa trong hệ mật mã đối xứng.
- Phạm vi nghiên cứu: Các thiết bị có năng lực tính toán thấp (thiết bị cảm biến, thiết bị tập trung) trong mạng IoT; thuật toán mật mã dòng sử dụng kết hợp các thanh ghi dịch phản hồi tuyến tính; phương pháp sinh chuỗi số giả ngẫu nhiên và kỹ thuật trao đổi khóa cho mật mã đối xứng.
Nhiệm vụ nghiên cứu cụ thể
Luận án xác định hai nhóm nhiệm vụ nghiên cứu trọng tâm:
- Nghiên cứu phương pháp bảo mật cho thiết bị mạng IoT sử dụng thuật toán mã hóa dòng nhẹ:
- (1.1) Xây dựng bộ mã nhị phân 5 bit dựa trên đa thức nguyên thủy bậc 5 để biểu diễn 26 ký tự trong bảng chữ cái Latinh ($2^5 = 32$ trạng thái, bao phủ 26 ký tự và dư 6 tổ hợp), thay thế bộ mã ASCII 8 bit nhằm tối ưu hóa bộ nhớ và băng thông.
- (1.2) Đề xuất hệ mật mã dòng nhẹ kết hợp nhiều thanh ghi LFSR và hàm đại số phi tuyến, đảm bảo độ phức tạp tuyến tính, chu kỳ cực đại và tính ngẫu nhiên của chuỗi khóa nhằm chống lại các tấn công mật mã.
- (1.3) Thiết kế cấu trúc mầm khóa bí mật ($SK$) gồm hai thành phần: khóa dài hạn ($SK_1$) thay đổi theo chu kỳ thời gian cố định (tuần, tháng) và khóa ngắn hạn/khóa phiên ($SK_2$) thay đổi theo từng phiên truyền thông, tổng chiều dài mầm khóa là 30 ký tự.
- Đề xuất phương pháp tạo và trao đổi khóa $SK_1$ và $SK_2$ giữa các bên:
- (2.1) Đối với khóa dài hạn $SK_1$: sử dụng kỹ thuật giấu thông tin trong tệp ảnh số (steganography) để truyền tải qua kênh công khai.
- (2.2) Đối với khóa phiên $SK_2$: sử dụng phương pháp thỏa thuận khóa bí mật chung dựa trên cơ sở giải phương trình đồng dư tuyến tính.
Tổng quan tài liệu và vị trí của luận án
Các hướng nghiên cứu trước
Trong quá trình xây dựng nền tảng, luận án đã tổng hợp và phân tích các công trình nghiên cứu trong nước và quốc tế thuộc các hướng:
-
Các cấu trúc mật mã dòng và thanh ghi dịch:
- Bộ tạo dãy Massey-Rueppel (1986): Kết hợp hai thanh ghi LFSR có bậc nguyên tố cùng nhau $m$ và $l$ ($m < l, \gcd(m, l) = 1$) tạo ra dãy có chu kỳ cực đại $(2^m - 1)(2^l - 1)$ và độ phức tạp tuyến tính $m \cdot l$.
- Hệ mật WG-16: Cấu trúc dựa trên 1 thanh ghi LFSR 32 trạng thái trên trường hữu hạn $F_{2^{16}}$ với hệ số thập phân $d = 1057$, đầu vào khóa 128 bit và IV 128 bit dùng cho mạng 4G-LTE. Điểm hạn chế đối với IoT là kích thước khóa và IV 128 bit vẫn còn tương đối nặng, đồng thời LFSR bậc 32 không phải là số nguyên tố, có nguy cơ xuất hiện chu kỳ con.
- Hệ mật ACORN: Cấu trúc mã dòng xác thực sử dụng khóa 128 bit, IV 128 bit, kích thước trạng thái 293 bit gồm 6 thanh ghi dịch có độ dài 61, 46, 47, 39, 37, 59 bit và một bộ đệm 4 bit. Kích thước này gây áp lực tính toán cho các thiết bị như thẻ RFID.
- Hệ mật E0: Ứng dụng trong giao thức Bluetooth, sử dụng 4 thanh ghi LFSR độ dài 25, 31, 33, 39 bit cùng hai trạng thái khởi tạo 2 bit.
- Nghiên cứu của Francois Arnault và cộng sự: Đề xuất sử dụng thanh ghi dịch có nhớ (Feedback with Carry Shift Registers - FCSR) thay thế LFSR truyền thống.
- Các thuật toán F-FCSR-H v3 và F-FCSR-16 v3: Các biến thể cải tiến nhằm khắc phục lỗ hổng thám mã của Hell và Johansson (2006).
-
Các phương pháp sinh số giả ngẫu nhiên (PRNG):
- Linear Congruential Generator (LCG): Công thức truy hồi $X_{n+1} = (aX_n + c) \pmod m$. Ưu điểm tính toán nhanh, nhưng chu kỳ ngắn và tồn tại phụ thuộc tuyến tính giữa các số tạo ra.
- Mersenne Twister: Chu kỳ cực đại $2^{19937} - 1$, tuy nhiên sử dụng không gian trạng thái lớn gồm 624 số nguyên 32 bit, đòi hỏi dung lượng bộ nhớ không phù hợp với vi điều khiển nhỏ.
- Thuật toán Fortuna: Sử dụng cấu trúc thác (cascade structure) kết hợp nhiều bể chứa dữ liệu ngẫu nhiên (pools), cấu trúc quản trị trạng thái phức tạp, tiêu tốn tài nguyên.
- Thuật toán Blum-Blum-Shub (BBS): Công thức $x_{n+1} = x_n^2 \pmod N$ với $N = p \cdot q$ ($p, q$ là số nguyên tố Blum dạng $4k+3$). Thuật toán có tính bảo mật cao nhưng chi phí tính toán lũy thừa modulo trên số nguyên lớn là rào cản trên phần cứng nhỏ.
-
Tổng quan các chuẩn mật mã nhẹ:
Luận án đối chiếu hệ thống tiêu chuẩn quốc tế ISO/IEC (ISO/IEC 29167, ISO/IEC 29192-2, ISO/IEC 29192-3, ISO/IEC 29192-5, ISO/IEC 18033-3), danh mục eSTREAM của châu Âu, chuẩn FIPS (Mỹ), và TTA (Hàn Quốc).
Khoảng trống nghiên cứu được lựa chọn giải quyết
Luận án tập trung giải quyết sự mất cân đối giữa yêu cầu an toàn mật mã và năng lực phần cứng thực tế của thiết bị IoT:
- Tối ưu hóa biểu diễn ký tự: Giảm kích thước từ mã từ 8 bit (ASCII) xuống 5 bit cho tập ký tự Latinh để tiết kiệm bộ nhớ và giảm số phép dịch bit.
- Thiết kế bộ tạo chuỗi khóa kết hợp phi tuyến: Kết hợp 5 thanh ghi LFSR độc lập thông qua hàm Boolean phi tuyến để khắc phục nhược điểm dễ bị giải mã của từng LFSR đơn lẻ, đạt chu kỳ lớn và độ phức tạp đại số cao.
- Giải pháp khóa hai tầng ($SK_1, SK_2$) kết hợp cơ chế trao đổi khóa qua phương trình đồng dư và giấu khóa trong ảnh, loại bỏ sự phụ thuộc vào các thuật toán mã hóa công khai tốn kém tài nguyên như RSA.
Cơ sở lý thuyết và phương pháp nghiên cứu
Khung lý thuyết và khái niệm toán học
-
Mô hình mật mã học:
- Hệ mật mã 5 thành phần $(P, C, K, E, D)$ với hàm mã hóa $E_K(P) = C$ và hàm giải mã $D_K(C) = P$.
- Hệ mật mã dòng 6 thành phần $(P, C, K, L, F, E, D)$, trong đó dòng bản rõ $P = {p_i}$, dòng khóa $S = {s_i}$, dòng bản mã $C = {c_i}$ với phép toán cơ sở $c_i = p_i \oplus s_i$ và giải mã $p_i = c_i \oplus s_i$.
- Các mô hình mã dòng: Mã dòng đồng bộ (Synchronous Stream Ciphers - SSC), mã dòng tự đồng bộ (Self-Synchronous Stream Ciphers), và mã sử dụng một lần (One-Time Pad - OTP).
-
Cơ sở lý thuyết thanh ghi dịch phản hồi tuyến tính (LFSR):
- Đa thức liên kết $C(x) \in GF(2)[x]$ cấp $L$: $C(x) = a_0 x^0 + a_1 x^1 + \dots + a_L x^L$, với $a_i \in {0, 1}$.
- Quan hệ truy hồi của trạng thái đầu ra: $s_j = \left( \sum_{i=1}^L c_i s_{j-i} \right) \pmod 2$.
- Nếu $C(x)$ là đa thức nguyên thủy bậc $L$, dãy đầu ra sinh bởi LFSR không suy biến có chu kỳ cực đại đạt $2^L - 1$ (gọi là $m$-dãy). Dãy $m$-dãy thỏa mãn ba tiên đề ngẫu nhiên Golomb về phân bố tần số, phân bố chuỗi chạy và hàm tự tương quan.
- Bộ tạo kết hợp phi tuyến (NLCG): Gồm $n$ thanh ghi LFSR kết hợp qua hàm Boolean $f(l_0, l_1, \dots, l_{n-1})$. Dạng chuẩn tắc đại số (Algebraic Normal Form - ANF) quyết định bậc phi tuyến và độ phức tạp tuyến tính của toàn hệ thống. Chu kỳ tổng hợp của $n$ thanh ghi LFSR có độ dài $L_1, \dots, L_n$ đôi một nguyên tố cùng nhau là $\prod_{i=1}^n (2^{L_i} - 1)$.
Phương pháp nghiên cứu
- Phương pháp nghiên cứu tài liệu: Khảo sát, phân tích các chuẩn mật mã ISO/IEC, các công trình quốc tế về mật mã nhẹ, cấu trúc LFSR và kỹ thuật sinh số ngẫu nhiên.
- Phương pháp toán học và thực nghiệm tính toán: Chứng minh các định lý về chu kỳ, bậc phi tuyến, tính nguyên thủy của đa thức sinh trên trường hữu hạn $GF(2)$; tính toán số học đồng dư; giải hệ phương trình tìm nghiệm cho giao thức trao đổi khóa.
- Phương pháp tham khảo ý kiến chuyên gia và hội thảo khoa học: Báo cáo, trao đổi tại các hội thảo chuyên ngành công nghệ thông tin và truyền thông.
- Phương pháp kiểm thử thống kê: Đánh giá chất lượng chuỗi bit ngẫu nhiên sinh ra từ thuật toán đề xuất.
Nguồn tư liệu và dữ liệu nghiên cứu
- Các văn bản quy phạm pháp luật của Việt Nam và quốc tế về an toàn, an ninh mạng.
- Tập tiêu chuẩn mật mã nhẹ ISO/IEC 29192, danh mục eSTREAM.
- Bảng từ điển 26 chữ cái Latinh quy ước (A-Z) phục vụ xây dựng bảng mã 5 bit.
Nội dung chính theo từng chương
Chương 1: An toàn bảo mật mạng Internet of Things
Chương 1 thiết lập bức tranh tổng quan về kiến trúc mạng IoT, phân tích các mối đe dọa an ninh, đánh giá các chuẩn mật mã nhẹ hiện hành và hệ thống hóa lý thuyết về LFSR cùng các bộ sinh số ngẫu nhiên.
- Kiến trúc mạng IoT và các nguy cơ mất an toàn:
- Luận án phân tích mô hình kiến trúc tối thiểu 3 lớp: Lớp Cảm biến (Perception Layer), Lớp Mạng (Network Layer) và Lớp Ứng dụng (Application Layer).
- Yêu cầu an toàn bảo mật bao gồm: tính bảo mật, tính toàn vẹn, xác thực và ủy quyền, tính sẵn sàng, quyền riêng tư, và cơ chế cập nhật hệ thống.
Bảng 1: Phân loại yêu cầu an ninh và nguy cơ tấn công theo từng lớp trong mạng IoT (tổng hợp từ Bảng 1.1 và mục 1.1.2 của văn bản)
| Lớp kiến trúc |
Giao thức / Công nghệ tiêu biểu |
Các dạng tấn công phổ biến |
Yêu cầu bảo mật chính |
| Cảm biến (Perception) |
Cảm biến vật lý, thẻ RFID, ZigBee, BLE |
Sao chụp nút mạng (node capture), từ chối dịch vụ (DoS), từ chối ngủ (Denial of sleep), nút mạng giả mạo (Sybil/Fake node), tấn công lặp lại (Relay), tấn công kênh kề (Side-channel), tấn công xác thực nút khối |
Xác thực thiết bị, thỏa thuận khóa, bảo mật dữ liệu nút, mã hóa nhẹ |
| Mạng (Network) |
2G/3G/4G/5G, IPv6 over 6LoWPAN, WiFi, LoRaWAN, WiMAX |
Kẻ đứng giữa (MITM), DoS/DDoS, nghe trộm (Eavesdropping), tấn công định tuyến (Routing threats) |
Mã hóa điểm - điểm, xác thực điểm - điểm, quản lý/thỏa thuận khóa, định tuyến an toàn |
| Ứng dụng (Application) |
HTTP, CoAP, MQTT, XMPP, AMQP, DDS |
Giả mạo người dùng, xâm phạm quyền riêng tư, tấn công xử lý dữ liệu lớn |
Bảo vệ dữ liệu riêng tư, quản lý bảo mật thông tin, xác thực dịch vụ |
-
Tổng hợp 10 giải pháp bảo vệ an toàn thông tin mạng IoT:
(1) Cập nhật phần mềm/firmware; (2) Mã hóa dữ liệu bằng mật mã nhẹ; (3) Xác thực và ủy quyền; (4) Phân chia mạng; (5) Giám sát hành vi; (6) Kiểm tra và tăng cường an toàn thiết bị (Device hardening); (7) Bảo mật mạng bằng tường lửa; (8) Sử dụng giao thức truyền thông an toàn (TLS/DTLS/SSL); (9) Xây dựng hệ thống sao lưu và khôi phục; (10) Đào tạo nâng cao nhận thức bảo mật.
-
Hệ thống hóa các chuẩn và hệ mật mã nhẹ:
Luận án thống kê các hệ mật mã nhẹ dùng riêng và các hệ mật mã dòng phổ biến trong thực tiễn:
Bảng 2: Một số hệ mật mã nhẹ dùng riêng trên thế giới (tổng hợp từ Bảng 1.3)
| Tên mã |
Cơ quan / Nhà thiết kế |
Độ dài Khóa (Key - bit) |
Trạng thái ban đầu (IS - bit) |
Số vòng lặp |
Độ dài IV (bit) |
| DES |
NSA / IBM |
56 |
64 |
16 |
- |
| GOST |
KGB |
256 |
64 |
32 |
- |
| Magma |
FSB |
256 |
64 |
32 |
- |
| SIMON |
NSA |
62 - 256 |
32 - 128 |
32 - 72 |
- |
| Skipjack |
NSA |
80 |
64 |
32 |
- |
| SPECK |
NSA |
62 - 256 |
32 - 128 |
22 - 34 |
- |
| ZUC |
Học viện Khoa học Trung Quốc |
128 |
560 |
- |
128 |
Bảng 3: Thông số kỹ thuật của một số hệ mật mã dòng nhẹ (tổng hợp từ Bảng 1.5)
| Tên mã |
Độ dài Khóa (Key - bit) |
Trạng thái ban đầu (IS - bit) |
Độ dài Vector IV (bit) |
| BeepBeep |
192 / 224 |
32 |
224 |
| SNOW 2.0 |
128 / 256 |
128 |
576 |
| SNOW 3G |
128 |
128 |
576 |
| Trivium |
80 |
80 |
288 |
| Grain |
80 / 128 |
64 / 96 |
160 / 256 |
| Chacha20 |
256 |
64 |
256 |
| Enocoro-80 |
80 |
64 |
176 |
| MICKEY v2 |
80 / 128 |
0 - 80 / 0 - 128 |
200 / 320 |
| Rabit |
128 |
64 |
513 |
| LIZARD |
120 |
64 |
121 |
| Plantlet |
80 |
90 |
110 |
- Lý thuyết LFSR và ví dụ kiểm chứng:
Xét LFSR $\langle 4, C(x) \rangle$ với đa thức liên kết $C(x) = 1 + x + x^4$ và trạng thái khởi tạo $[x_3, x_2, x_1, x_0] = [0, 1, 1, 0]$. Trạng thái dịch chuyển qua các xung nhịp $t$ được trình bày chi tiết trong văn bản (Bảng 1.6), tạo ra dãy đầu ra $S = 011001000111101$ có chu kỳ cực đại $2^4 - 1 = 15$.
Chương 2: Đề xuất thuật toán mã hóa nhẹ trên cơ sở thanh ghi dịch phản hồi phi tuyến
Chương 2 trình bày giải pháp kỹ thuật trọng tâm của luận án, bao gồm: thiết kế bộ mã nhị phân 5 bit, cấu trúc mầm khóa hai thành phần và thuật toán mã hóa dòng phi tuyến kết hợp 5 thanh ghi LFSR.
-
Xây dựng bộ mã biểu diễn ký tự từ điển (Bộ mã 5 bit - Bảng mã H):
- Tập ký tự sử dụng là bảng chữ cái Latinh gồm 26 ký tự ($T = {A, B, C, \dots, Z}$).
- Bộ mã chuẩn ASCII sử dụng 8 bit ($2^8 = 256$ ký tự), gây lãng phí 3 bit thừa cho mỗi ký tự khi áp dụng vào các bản tin ngắn trong mạng IoT.
- Luận án sử dụng một đa thức nguyên thủy bậc 5 trên $GF(2)$ để sinh ra không gian $2^5 = 32$ tổ hợp nhị phân 5 bit. Trong đó, 26 tổ hợp được gán tương ứng cho 26 ký tự từ điển Latinh, 6 tổ hợp còn lại được giữ làm giá trị dự phòng/điều khiển.
- Việc chuyển đổi sang bảng mã 5 bit giúp giảm đáng kể dung lượng lưu trữ mầm khóa và dữ liệu mã hóa.
-
Cấu trúc mầm khóa $SK$:
Mầm khóa có độ dài tổng cộng 30 ký tự, được chia thành hai phần riêng biệt:
- Khóa dài hạn ($SK_1$): Có độ dài cố định, được thiết lập và duy trì sử dụng trong một khoảng thời gian dài (thay đổi định kỳ theo tuần hoặc tháng). Mục đích là giảm bớt tần suất tính toán thiết lập khóa ban đầu cho các thiết bị phần cứng.
- Khóa phiên ($SK_2$): Được sinh ngẫu nhiên và thay đổi liên tục theo từng phiên liên lạc giữa hai nút mạng để chống lại tấn công phát lại (replay attack) và đảm bảo tính bí mật chuyển tiếp.
- Các mầm khóa $SK_1$ và $SK_2$ sau đó được ánh xạ qua Bảng mã H thành các vector bit nhị phân để nạp trạng thái khởi tạo cho các thanh ghi LFSR.
-
Cấu trúc bộ tạo chuỗi bit giả ngẫu nhiên và quy trình mã hóa/giải mã:
- Bộ sinh khóa dòng sử dụng tổ hợp 5 thanh ghi LFSR (ký hiệu $LFSR_1$ đến $LFSR_5$) hoạt động đồng bộ.
- Các thanh ghi được cấu hình với các đa thức phản hồi nguyên thủy có bậc thỏa mãn tính chất nguyên tố cùng nhau từng đôi một, đảm bảo chu kỳ tổng thể của hệ thống đạt giá trị cực đại là tích chu kỳ của các thanh ghi thành phần.
- Giá trị đầu ra của 5 thanh ghi được đưa qua các hàm biến đổi trung gian (hàm $\psi$, hàm $\varphi$, vector $\lambda_t$, các hàm chuyển đổi $g_1, g_2$) và một hàm tổ hợp Boolean phi tuyến $f()$.
- Bậc phi tuyến của hàm đại số $f()$ đảm bảo chuỗi bit đầu ra có độ phức tạp tuyến tính cao, ngăn chặn việc tái tạo trạng thái ban đầu thông qua thuật toán Berlekamp-Massey hoặc các kỹ thuật tấn công tương quan (correlation attacks).
- Bản mã nhị phân $C$ được tạo thành từ phép XOR giữa chuỗi bit bản rõ $P$ (sau khi ánh xạ qua bảng mã 5 bit) và chuỗi dòng khóa giả ngẫu nhiên sinh ra từ bộ tổ hợp 5 LFSR. Quá trình giải mã thực hiện phép XOR ngược lại với cùng một chuỗi dòng khóa.
Chương 3: Đề xuất kỹ thuật trao đổi khóa
Chương 3 giải quyết bài toán phân phối và thỏa thuận an toàn hai thành phần khóa $SK_1$ và $SK_2$ trong môi trường mạng IoT không an toàn.
-
Phương pháp toán học dựa trên phương trình đồng dư tuyến tính:
- Luận án ứng dụng lý thuyết số về phương trình và hệ phương trình đồng dư để tìm tập nghiệm số nguyên.
- Thiết lập cấu trúc tính toán ma trận $B$ và các vector tham số nhằm sinh số giả ngẫu nhiên có quy luật toán học xác định nhưng khó đảo ngược nếu không biết tham số bí mật.
-
Kỹ thuật trao đổi khóa dài hạn $SK_1$:
- Khóa dài hạn $SK_1$ gồm chuỗi ký tự được mã hóa nhị phân.
- Để truyền tải $SK_1$ giữa các nút mạng mà không gây chú ý cho bên thám mã, luận án đề xuất kỹ thuật giấu tin (steganography): các bit của $SK_1$ được nhúng vào các vị trí bit ít quan trọng (LSB) của tệp dữ liệu ảnh số.
- Tệp ảnh mang thông tin khóa được truyền qua kênh truyền công khai. Bên nhận thực hiện thuật toán trích xuất để khôi phục lại vector bit của $SK_1$.
-
Kỹ thuật trao đổi khóa phiên $SK_2$:
- Khóa phiên $SK_2$ cần được thiết lập nhanh chóng tại mỗi phiên làm việc mà không truyền trực tiếp giá trị khóa qua kênh truyền.
- Luận án xây dựng giao thức thỏa thuận khóa dựa trên bài toán đồng dư: hai bên gửi và nhận cùng chia sẻ các tham số đồng dư công khai, sau đó mỗi bên lựa chọn tham số ngẫu nhiên cục bộ và thực hiện trao đổi dữ liệu tính toán trung gian.
- Dựa trên nghiệm số học của phương trình đồng dư chung, hai bên độc lập tính toán ra cùng một khóa bí mật $SK_2$ mà không để lộ giá trị này trên đường truyền.
Kết quả và những đóng góp mới
Đóng góp về mặt lý luận khoa học
- Xây dựng bộ mã nhị phân 5 bit chuyên biệt: Đề xuất giải pháp mã hóa 26 ký tự Latinh dựa trên đa thức nguyên thủy bậc 5, giúp giảm kích thước biểu diễn ký tự so với bảng mã ASCII 8 bit truyền thống, tối ưu hóa không gian lưu trữ và tính toán cho các thiết bị IoT cấp thấp.
- Thiết kế bộ sinh chuỗi khóa phi tuyến kết hợp 5 LFSR: Đề xuất mô hình bộ tạo dãy giả ngẫu nhiên kết hợp 5 thanh ghi LFSR với hàm đại số phi tuyến $f()$, đạt chu kỳ cực đại, phân bố thống kê đồng đều và độ phức tạp đại số cao, chống lại các hình thức thám mã đại số và tấn công tương quan.
- Phát triển cơ chế mầm khóa kép và kỹ thuật trao đổi khóa: Đề xuất cấu trúc mầm khóa 30 ký tự chia tách thành khóa dài hạn $SK_1$ và khóa phiên $SK_2$, kết hợp kỹ thuật giấu khóa trong ảnh (đối với $SK_1$) và kỹ thuật giải phương trình đồng dư (đối với $SK_2$) để thiết lập khóa an toàn trên kênh truyền mở.
Đóng góp về mặt thực tiễn
- Tối ưu hóa hiệu năng trên thiết bị phần cứng hạn chế: Thuật toán mã hóa dòng và cơ chế sinh khóa đề xuất chỉ sử dụng các phép toán nhị phân đơn giản (XOR, dịch bit, logic AND/OR) và phép toán số học modulo, phù hợp để cài đặt trực tiếp trên các vi điều khiển năng lực thấp, cảm biến, thẻ RFID hoặc nhúng cứng trên vi mạch chuyên dụng (như công nghệ FPGA).
- Ứng dụng trong công tác nghiệp vụ an ninh, quốc phòng: Cung cấp cơ sở khoa học và giải pháp kỹ thuật phục vụ công tác bảo vệ dữ liệu, phòng chống tội phạm sử dụng công nghệ cao của lực lượng Công an nhân dân; hỗ trợ bảo mật hệ thống thông tin giám sát và cơ sở dữ liệu chuyên ngành.
Hạn chế và hướng nghiên cứu tiếp
Hạn chế của đề tài
- Không gian từ điển của bộ mã 5 bit hiện tại mới chỉ giới hạn trong phạm vi 26 chữ cái Latinh cơ bản ($A-Z$), chưa bao quát toàn bộ các ký tự đặc biệt, số và chữ tiếng Việt có dấu.
- Kỹ thuật trao đổi khóa dài hạn $SK_1$ thông qua giấu tin trong ảnh đòi hỏi môi trường truyền thông có hỗ trợ truyền tải tệp đa phương tiện, có thể gây tăng băng thông truyền dẫn trong lần thiết lập ban đầu.
- Các đánh giá thực nghiệm chủ yếu tập trung vào mô hình toán học và kiểm tra chất lượng chuỗi số ngẫu nhiên trên môi trường mô phỏng.
Hướng nghiên cứu tiếp
- Mở rộng bảng mã biểu diễn để hỗ trợ tập ký tự đầy đủ hơn (chữ số, ký tự đặc biệt) nhưng vẫn đảm bảo độ dài từ mã tối ưu cho thiết bị IoT.
- Triển khai cứng hóa hoàn chỉnh thuật toán mã hóa và bộ tạo khóa lên các dòng chip phần cứng chuyên dụng (FPGA, vi mạch ASIC) để đo lường chính xác các thông số tiêu thụ năng lượng, diện tích đế chip và độ trễ xung nhịp thực tế.
- Thử nghiệm tích hợp hệ mật mã vào các giao thức truyền thông mạng IoT diện rộng thực tế như LoRaWAN, CoAP hoặc MQTT trong các bài toán giám sát an ninh quy mô lớn.
Giá trị tham khảo
Luận án là tài liệu tham khảo hữu ích cho các nhóm đối tượng:
- Nghiên cứu sinh, học viên cao học và sinh viên: Thuộc các chuyên ngành Cơ sở toán học cho tin học, Toán ứng dụng, An toàn thông tin, Kỹ thuật mật mã và Khoa học máy tính; đặc biệt có giá trị trong việc tham khảo phương pháp kết hợp lý thuyết số (phương trình đồng dư) và đại số trừu tượng (trường $GF(2)$, đa thức nguyên thủy) vào thiết kế hệ mật mã nhẹ.
- Giảng viên và cán bộ nghiên cứu: Tại các học viện, trường đại học (như Học viện Kỹ thuật Quân sự, Viện Khoa học và Công nghệ quân sự, Đại học Bách khoa Hà Nội, Trường Đại học Kỹ thuật - Hậu cần Công an nhân dân) sử dụng làm giáo trình chuyên đề về Mật mã nhẹ cho IoT.
- Kỹ sư phát triển hệ thống nhúng và IoT: Tham khảo cấu trúc 5 thanh ghi LFSR và hàm phi tuyến để tối ưu hóa thuật toán mã hóa trên các chip vi điều khiển có dung lượng RAM/ROM hạn chế.
- Lực lượng chuyên trách an ninh mạng và phòng chống tội phạm công nghệ cao: Tham khảo mô hình phân lớp an ninh IoT và các giải pháp bảo mật dữ liệu phục vụ nhiệm vụ bảo vệ an ninh quốc gia và trật tự an toàn xã hội.
Câu hỏi thường gặp
1. Tại sao tác giả lại xây dựng bộ mã 5 bit (Bảng mã H) thay vì sử dụng chuẩn mã hóa ASCII 8 bit?
Trả lời: Chuẩn ASCII sử dụng 8 bit ($2^8 = 256$ trạng thái). Đối với hệ thống mật mã của luận án chỉ sử dụng tập ký tự Latinh gồm 26 chữ cái ($A-Z$) để tạo mầm khóa, việc dùng 8 bit gây lãng phí 3 bit trên mỗi ký tự. Bộ mã 5 bit cung cấp $2^5 = 32$ trạng thái, đủ để mã hóa 26 ký tự Latinh (còn dư 6 trạng thái) giúp giảm 37.5% dung lượng lưu trữ, tiết kiệm bộ nhớ và giảm số chu kỳ xung nhịp xử lý trên vi điều khiển IoT.
2. Cấu trúc mầm khóa $SK$ của luận án được tổ chức như thế nào và có độ dài bao nhiêu?
Trả lời: Mầm khóa $SK$ có tổng độ dài là 30 ký tự, được phân chia thành hai thành phần: Khóa dài hạn ($SK_1$) được lưu trữ và thay đổi định kỳ theo thời gian dài (hàng tuần, hàng tháng) để giảm tải tính toán khởi tạo; Khóa ngắn hạn hay khóa phiên ($SK_2$) được thay đổi liên tục trong từng phiên liên lạc để chống tấn công lặp lại và bảo vệ tính bí mật của từng phiên.
3. Bộ sinh chuỗi bit giả ngẫu nhiên trong Chương 2 sử dụng bao nhiêu thanh ghi LFSR và làm thế nào để đảm bảo tính phi tuyến?
Trả lời: Thuật toán sử dụng kết hợp 5 thanh ghi LFSR độc lập có bậc nguyên tố cùng nhau từng đôi một. Để phá vỡ tính tuyến tính đơn thuần của từng LFSR, các bit đầu ra được xử lý qua các hàm chuyển đổi trung gian ($\psi, \varphi, g_1, g_2$, vector $\lambda_t$) và kết hợp lại thông qua một hàm Boolean phi tuyến $f()$, tạo ra chuỗi bit có chu kỳ cực đại và bậc phi tuyến đại số cao.
4. Kỹ thuật trao đổi khóa dài hạn $SK_1$ và khóa phiên $SK_2$ trong Chương 3 khác nhau như thế nào?
Trả lời: Khóa dài hạn $SK_1$ được giấu vào các bit ít quan trọng của tệp dữ liệu ảnh số (steganography) rồi truyền qua kênh công khai. Ngược lại, khóa phiên $SK_2$ không được truyền trực tiếp mà được hai bên cùng thỏa thuận và tự tính toán độc lập dựa trên việc chia sẻ tham số và giải hệ phương trình đồng dư tuyến tính.
5. Luận án chỉ ra các hệ mật mã tiêu chuẩn như AES và RSA gặp trở ngại gì khi áp dụng trực tiếp cho thiết bị IoT cấp thấp?
Trả lời: Các thuật toán tiêu chuẩn như AES (mã khối nhiều vòng) và RSA (mã hóa khóa công khai trên số nguyên lớn) đòi hỏi năng lực tính toán cao, dung lượng bộ nhớ RAM/ROM lớn và tiêu thụ nhiều năng lượng, vượt quá khả năng đáp ứng của các phần cứng IoT hạn chế như thẻ RFID hay nút cảm biến hoạt động bằng pin.
Kết luận
Luận án của nghiên cứu sinh Trần Xuân Ban đã giải quyết một cách có hệ thống bài toán nâng cao an toàn bảo mật cho các thiết bị hạn chế tài nguyên trong mạng IoT dựa trên công cụ toán học của mật mã dòng. Bằng việc xây dựng bộ mã nhị phân 5 bit tối ưu, thiết kế bộ tạo chuỗi khóa phi tuyến từ 5 thanh ghi LFSR và đề xuất cơ chế trao đổi khóa hai tầng thông qua kỹ thuật giấu tin trong ảnh cùng phương trình đồng dư tuyến tính, công trình đã cân bằng hiệu quả giữa yêu cầu bảo mật cao và chi phí phần cứng thấp. Kết quả nghiên cứu đóng góp thiết thực vào lý thuyết mật mã nhẹ và mở ra khả năng ứng dụng trực tiếp trong việc bảo vệ hạ tầng thông tin, đặc biệt phục vụ công tác nghiệp vụ an ninh mạng và phòng chống tội phạm công nghệ cao.
