Tổng quan về luận án

Sự bùng nổ của Liên mạng vạn vật (Internet of Things - IoT) đã định hình lại hạ tầng kỹ thuật số toàn cầu nhưng đồng thời đặt ra những thách thức bảo mật nghiêm trọng do tài nguyên tính toán và lưu trữ của thiết bị biên bị giới hạn. Luận án tiến sĩ kỹ thuật với đề tài "Nền tảng đảm bảo an toàn bảo mật dựa trên Blockchain cho liên mạng vạn vật" của tác giả Huỳnh Thanh Tâm (người hướng dẫn: PGS.TS. Nguyễn Đình Thúc và TS., bảo vệ tại Học viện Công nghệ Bưu chính Viễn thông) tập trung giải quyết triệt để các rào cản về hiệu năng đồng thuận, quản lý định danh, lưu trữ - chia sẻ dữ liệu và kiểm soát truy cập phân tán trong hệ sinh thái IoT.

Bối cảnh khoa học của nghiên cứu xuất phát từ thực tế tăng trưởng bùng nổ của thiết bị kết nối. Trích dẫn nguyên văn dữ liệu từ luận án: "Theo dự báo từ tập đoàn dữ liệu quốc tế IDC đến năm 2025 có khoảng 41,6 tỉ thiết bị sẽ được kết nối Internet, tổng số dữ liệu trên toàn thế giới được tạo ra từ các thiết bị IoT là 79,4 Zettabytes". Khoảng trống nghiên cứu (research gap) cốt lõi được tác giả xác định là: các nền tảng bảo mật IoT dựa trên Blockchain hiện hữu phụ thuộc vào các giao thức đồng thuận truyền thống (như PoW, PoS, PoAh, PBFT, DPoS, Tendermint) đều gặp phải hiện tượng nghẽn hiệu năng của các nút nắm giữ sổ cái (Miner), thiếu tính năng kiểm soát truy cập tự động phân quyền theo thời gian thực và chưa có cơ chế kiểm chứng dữ liệu ngoài chuỗi (off-chain) trước khi chia sẻ mà vẫn đảm bảo tính riêng tư toàn diện.

Hệ thống câu hỏi nghiên cứu ($RQ$) và giả thuyết nghiên cứu ($H$) được định hình rõ ràng:

  • $RQ_1$: Làm thế nào để tối ưu hóa quy trình xác minh giao dịch và đồng thuận dữ liệu của Miner trên Private/Consortium Blockchain trong điều kiện mạng tin cậy hoàn toàn hoặc có tối đa dưới $1/3$ số nút độc hại?
    • $H_1$: Thiết kế quy trình đồng thuận phân tách hai giai đoạn (Xác minh song song và Tạo khối ký số) sẽ giảm thiểu thời gian Mining $T$, tăng tuyến tính số lượng giao dịch được xác minh $TX^*$ theo quy mô Miner và loại bỏ hoàn toàn việc phải xác minh lại các giao dịch hợp lệ trong các khối bị từ chối.
  • $RQ_2$: Làm cách nào để lưu trữ và chia sẻ dữ liệu IoT dung lượng lớn vừa bảo vệ bí mật, ẩn danh vừa cho phép người dùng kiểm chứng tính xác thực trước khi giao dịch?
    • $H_2$: Sự kết hợp giữa hệ thống tệp phân tán IPFS, phương thức chữ ký nhóm (Group Signature) và hợp đồng thông minh (Smart Contract) tạo ra cơ chế chia sẻ chủ động với bằng chứng mật mã toàn vẹn.
  • $RQ_3$: Làm thế nào để kiểm soát truy cập thiết bị IoT tự động chấm dứt quyền hạn mà không làm gia tăng gánh nặng giao dịch trên sổ cái?
    • $H_3$: Mô hình kiểm soát truy cập dựa trên Bảng quản lý kết nối (CMT) tại Gateway kết hợp cơ chế ủy quyền thời gian sẽ tự động giải phóng kết nối khi hết hạn mà không cần phát sinh giao dịch thu hồi ($Revoke$).

Khung lý thuyết của luận án tích hợp Lý thuyết Đồng thuận Phân tán Byzantine, Mật mã học Bất đối xứng & Chữ ký nhóm, Đồ thị không chu trình phân tán (Merkle DAG) kết hợp Bảng băm phân tán (DHT) trong IPFS, và Lý thuyết Kiểm thử Tổ hợp (Combinatorial Group Testing). Phạm vi nghiên cứu bao phủ các mạng IoT kết nối giao thức IP, triển khai thử nghiệm trên mô hình mạng Camera an ninh công cộng của đô thị thông minh.

Literature Review và Positioning

Phân tích tổng quan tài liệu học thuật chỉ ra ba luồng nghiên cứu chính đang định hình an toàn bảo mật Blockchain cho IoT:

                                  TIẾP CẬN TẬNG TRUNG (CENTRALIZED)
                                  - Bottleneck, Single Point of Failure
                                  - Rủi ro sẵn sàng và toàn vẹn dữ liệu
                                                 │
                  ┌──────────────────────────────┴──────────────────────────────┐
                  ▼                                                             ▼
       ĐỒNG THUẬN & HIỆU NĂNG MINER                               LƯU TRỮ VÀ KIỂM SOÁT TRUY CẬP
┌───────────────────────────────────────────┐               ┌───────────────────────────────────────────┐
│ • PoW (Nakamoto, 2008): Tốn tài nguyên   │               │ • FairAccess (Ouaddah et al., 2016): Token│
│ • PoS/DPoS (Larimer, 2014): Thiên vị vốn  │               │   tốn chi phí giao dịch, thu hồi thủ công │
│ • PoAh (Puthal et al., 2018): Node đơn lẻ │               │ • Smart Home PoS (Dorri et al., 2017)     │
│ • PBFT/Tendermint (Castro & Liskov, 1999) │               │ • Cloud + Blockchain (Liang, 2017; Liu)   │
│   Trễ giao tiếp cao O(n^2), nghẽn xử lý   │               │ • IPFS + ABAC (Naz, 2019; Makhdoom, 2020) │
└─────────────────────┬─────────────────────┘               └─────────────────────┬─────────────────────┘
                      │                                                           │
                      └──────────────────────────────┬────────────────────────────┘
                                                     ▼
                                      ĐÓNG GÓP ĐỘT PHÁ CỦA LUẬN ÁN
                        ┌───────────────────────────────────────────────────────┐
                        │ 1. Hai kịch bản đồng thuận phân tách 2 giai đoạn      │
                        │ 2. Giải thuật Hot-IP qua ma trận d-phân-cách          │
                        │ 3. Lưu trữ IPFS kết hợp Chữ ký nhóm ẩn danh           │
                        │ 4. Kiểm soát truy cập cấp phép thời gian tự thu hồi   │
                        └───────────────────────────────────────────────────────┘

Trong luồng nghiên cứu về cơ chế đồng thuận phân tán, các tiếp cận cổ điển như Proof-of-Work (Nakamoto, 2008) bộc lộ nhược điểm tiêu tốn năng lượng nghiêm trọng. Các biến thể như Proof-of-Authentication (PoAh) do Puthal và cộng sự (2018) đề xuất tuy giảm độ phức tạp tính toán nhưng lại đặt trọng tâm xác thực vào một nút đơn lẻ. Đối với mạng doanh nghiệp và liên minh (Consortium), các giao thức chịu lỗi Byzantine như PBFT (Castro & Liskov, 1999) hay Tendermint (Buchman, 2016) duy trì tính nhất quán tốt nhưng phát sinh chi phí truyền thông lớn $O(n^2)$ và xuất hiện điểm nghẽn hiệu năng nghiêm trọng: khi một nút độc hại chèn giao dịch sai vào khối, toàn bộ khối bị hủy bỏ kéo theo các giao dịch hợp lệ phải tái xác minh từ đầu ở các chu kỳ sau.

Trong luồng lưu trữ và chia sẻ dữ liệu y tế/IoT, các giải pháp của Qi Xia et al. (2017), Xueping Liang et al. (2017), BPDS của Liu et al. (2018), MedBlock của Fan et al. (2018) và Zheng et al. (2018) chủ yếu sử dụng lưu trữ đám mây tập trung, tiềm ẩn nguy cơ điểm lỗi đơn (Single Point of Failure). Các công trình kết hợp Blockchain và IPFS gần đây như Muqaddas Naz et al. (2019), PrivySharing của Makhdoom et al. (2020) và Guo et al. (2018) đã phân tán hóa hạ tầng lưu trữ nhưng mắc phải hạn chế chí mạng: không cung cấp cơ chế để bên yêu cầu kiểm tra tính chính xác và tin cậy của dữ liệu trước khi gửi giao dịch mua/chia sẻ.

So sánh đối chuẩn với hai công trình quốc tế tiêu biểu:

  1. So sánh với FairAccess (Ouaddah et al., 2016): FairAccess dùng hợp đồng thông minh phân phối Token truy cập nhưng đòi hỏi chủ sở hữu phải phát hành giao dịch mới trên chuỗi (GrantAccess/RevokeAccess) mỗi khi muốn hủy quyền, gây tốn phí gas/giao dịch và nghẽn mạng khi mật độ thiết bị lớn. Luận án vượt trội hơn nhờ cơ chế bảng CMT tự động ngắt kết nối theo nhãn thời gian thực ($Timestamp$) mà không cần bất kỳ giao dịch on-chain nào.
  2. So sánh với Kiến trúc Quản lý Truy cập của Oscar Novo (2018): Mô hình của Novo sử dụng Management Hub làm trung gian kết nối thiết bị IoT với Blockchain nhưng không hỗ trợ kiểm soát phiên làm việc linh hoạt theo thời gian thực và chưa có giải pháp bảo vệ các Hub/Miner trước tấn công DoS/DDoS. Luận án khắc phục triệt để nhờ thuật toán sàng lọc Hot-IP nhanh dựa trên ma trận phân tách.

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

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

Luận án tạo ra những bước tiến quan trọng trong lý thuyết an ninh mạng và hệ thống phân tán:

  • Mở rộng Định lý Đồng thuận Byzantine: Kế thừa nguyên lý giới hạn nút lỗi của Lamport et al. (1982) và Dwork et al. (1988), trích dẫn từ văn bản: "Trong một mô hình kênh được xác thực theo cặp mà không có bất kỳ giả định thiết lập nào, chẳng hạn như một hạ tầng khóa công khai, Byzantine Broadcast là không thể đạt được nếu vượt quá n/3 Node độc hại". Luận án mở rộng mô hình này thành cấu trúc xác minh hai giai đoạn (Giai đoạn xác minh song song $\rightarrow$ Giai đoạn tạo khối ký số), giải quyết bài toán lãng phí tài nguyên tính toán của Miner.
  • Mô hình hóa Toán học về Thời gian Đóng khối: Thiết lập mô hình giải tích chính xác về thời gian tạo khối trung bình $T$ và $T_1$ cho hai trường hợp mạng:
    • Trường hợp 1 (Tất cả Miner tin cậy): Thời gian tạo khối được biểu diễn qua phương trình: $$T = t_5 + \frac{l \cdot t_1}{n} + t_2 + t_4 + t_3$$ Trong đó $l$ là số lượng giao dịch tối đa trong khối, $n$ là số lượng Miner, $t_1$ là thời gian xác minh một giao dịch, $t_2$ là thời gian tạo chữ ký số/chứng chỉ, $t_3$ là thời gian xác minh chữ ký số, $t_4$ là độ trễ quảng bá, $t_5$ là thời gian chọn ngẫu nhiên Miner. Mô hình chứng minh khi $n$ tăng, thành phần $\frac{l \cdot t_1}{n}$ tiến về 0, giúp $T$ giảm tiệm cận hằng số xác định.
    • Trường hợp 2 (Miner không tin cậy $f < n/3$): Thời gian tạo khối được kiểm soát thông qua vector đếm và chứng chỉ giao dịch hợp lệ $CERT(TX^*)$, loại trừ hoàn toàn việc xác minh lặp lại.
                              KIẾN TRÚC TỔNG QUAN NỀN TẢNG BẢO MẬT
┌──────────────────────────────────────────────────────────────────────────────────────────────────┐
│ TẦNG ỨNG DỤNG (APPLICATION LAYER)                                                                │
│ [Quản lý Camera Đô thị]       [Chia sẻ Dữ liệu Y tế/IoT]        [Truy xuất Nguồn gốc / Smart Home]│
└───────────────────────────────────────────────┬──────────────────────────────────────────────────┘
                                                ▼
┌──────────────────────────────────────────────────────────────────────────────────────────────────┐
│ TẦNG DỊCH VỤ BẢO MẬT (SECURITY SERVICES LAYER)                                                   │
│ ┌─────────────────────────┐  ┌──────────────────────────────────┐  ┌───────────────────────────┐ │
│ │ Kiểm soát Truy cập CMT  │  │ Lưu trữ & Chia sẻ Dữ liệu IPFS   │  │ Phát hiện DoS Hot-IP      │ │
│ │ Cấp phép phiên theo giờ │  │ Chữ ký nhóm (gmk, gpk, grk, gsk) │  │ Ma trận d-phân-cách Mt×n  │ │
│ └─────────────────────────┘  └──────────────────────────────────┘  └───────────────────────────┘ │
└───────────────────────────────────────────────┬──────────────────────────────────────────────────┘
                                                ▼
┌──────────────────────────────────────────────────────────────────────────────────────────────────┐
│ TẦNG ĐỒNG THUẬN & SỔ CÁI BLOCKCHAIN (CONSENSUS & LEDGER LAYER)                                   │
│ ┌─────────────────────────────────────────────┐ ┌──────────────────────────────────────────────┐ │
│ │ Kịch bản 1: Mạng Tin cậy Hoàn toàn          │ │ Kịch bản 2: Mạng Byzantine (f < n/3)         │ │
│ │ Xác minh phân tán song song: T(n) giảm      │ │ Cơ chế CERT(TX*) 2 pha: Triệt tiêu lặp lại   │ │
│ └─────────────────────────────────────────────┘ └──────────────────────────────────────────────┘ │
└──────────────────────────────────────────────────────────────────────────────────────────────────┘

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

Khung phân tích của luận án tích hợp bốn cấu kiện lý thuyết mật mã và hệ thống:

  1. Lý thuyết Chữ ký Nhóm (Group Signature Scheme - $GS$): Sử dụng bộ tứ khóa $(gmk, gpk, grk, gsk)$ cho phép các nhà cung cấp dữ liệu ($DP$) ký số ẩn danh lên dữ liệu có nghĩa ($MD$). Khóa công khai nhóm $gpk$ giúp người dùng ($DU$) xác thực tính hợp lệ mà không lộ danh tính thành viên ký, trong khi người quản lý thu hồi ($RM$) nắm giữ $grk$ có thể mở chữ ký khi xảy ra tranh chấp.
  2. Cơ chế Mã hóa và Phân tán IPFS (Merkle DAG + $k$-bucket DHT): Tách rời dữ liệu thô và siêu dữ liệu quản lý. Dữ liệu sau khi mã hóa thành $EMD = E_K(MD)$ được lưu trên IPFS thu về định danh băm nội dung $EMD_Link$. Chỉ có $EMD_Link$, chữ ký nhóm $\sigma$ và chứng chỉ dữ liệu mới được lưu trên sổ cái Blockchain.
  3. Mô hình Kiểm thử Tổ hợp Hot-IP: Sử dụng ma trận $d$-phân-cách kích thước $t \times n$ ($m_{ij} \in {0,1}$) để gom cụm và nhận diện tức thời địa chỉ IP độc hại phát tán giao dịch rác trong khoảng thời gian $\Delta$ vượt ngưỡng tần suất $\delta$.
  4. Điều kiện biên (Boundary Conditions): Hệ thống duy trì tính toàn vẹn và sống sót tuyệt đối khi và chỉ khi số nút lỗi/phản bội $f$ thỏa mãn $f < \lfloor \frac{n-1}{3} \rfloor$, và các cổng Gateway IoT hỗ trợ giao thức TCP/IP chuẩn.

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ẽ phương pháp luận Thực chứng (Positivism) kết hợp Phương pháp Nghiên cứu Khoa học Thiết kế (Design Science Research - DSR). Thiết kế hệ thống được xây dựng đa cấp (Multi-level Architecture):

  • Cấp độ Node/Gateway: Thiết bị biên IoT giao tiếp qua Gateway tích hợp bảng quản lý trạng thái kết nối CMT.
  • Cấp độ Miner Ledger: Mạng ngang hàng (P2P) đồng thuận các giao dịch đăng ký thiết bị, yêu cầu truy cập và định danh dữ liệu.
  • Cấp độ Lưu trữ Phân tán: Cụm IPFS Clustering đảm bảo dữ liệu dung lượng lớn được nhân bản phi tập trung.
       QUY TRÌNH KIỂM SOÁT TRUY CẬP VÀ ĐỒNG THUẬN HAI GIAI ĐOẠN TẠI MINER
┌─────────────┐               ┌─────────────┐               ┌────────────────────────┐
│ Device (DO) │               │   Gateway   │               │   Mạng Miner Ledger    │
└──────┬──────┘               └──────┬──────┘               └───────────┬────────────┘
       │                             │                                  │
       │ 1. Đăng ký Camera / Rule    │                                  │
       ├────────────────────────────>│  2. Giao dịch RegTX              │
       │                             ├─────────────────────────────────>│
       │                             │                                  │ [Giai đoạn 1: Xác minh]
       │                             │                                  │ Chia pool: n Miner kiểm tra
       │                             │                                  │ Ghi nhận CERT(TX*)
       │                             │                                  │
       │                             │  3. Yêu cầu truy cập (ReqTX)     │ [Giai đoạn 2: Tạo khối]
       │                             │<─────────────────────────────────┤ Chọn Miner r <- Rand_key()
       │                             │                                  │ Đóng Block & Ký số
       │ 4. Thiết lập phiên CMT      │                                  │
       │<────────────────────────────┤                                  │
       │ [Thời gian cấp phép delta_t]│                                  │
       │                             │                                  │
       │ 5. HẾT HẠN THỜI GIAN        │                                  │
       │ X Tự hủy kết nối trong CMT  │                                  │
       │ (KHÔNG PHÁT SINH ON-CHAIN TX)                                  │

Quy trình nghiên cứu rigorous

Quy trình nghiên cứu bao gồm thiết lập thuật toán hình thức, chứng minh toán học và thực nghiệm mô phỏng:

  • Thuật toán $A_1$ (Đồng thuận Tin cậy Hoàn toàn): Tập giao dịch chưa xác minh $WL$ được chia đều cho $n$ Miner. Mỗi Miner $m_i$ xác minh song song tập con $WL_i = {tx_{(i-1)\cdot \frac{l}{n} + 1}, \dots, tx_{i\cdot \frac{l}{n}}}$. Sau khi hoàn tất, một Miner được chọn ngẫu nhiên bằng hàm $r \leftarrow Rand_key(\cdot)$ sẽ gom các tập hợp lệ $VL_i$, đóng khối, ký số $\sigma_{block}$ và quảng bá.
  • Thuật toán $A_2$ (Đồng thuận Chịu lỗi Byzantine): Giai đoạn 1 yêu cầu mỗi Miner xác minh giao dịch và phát hành chứng chỉ xác thực $CERT(tx)$. Giai đoạn 2, Miner đề xuất khối chỉ gom các giao dịch đã có đủ chữ ký hợp lệ. Khối mới nếu bị từ chối do Miner chủ trì gian lận cấu trúc, các giao dịch $TX^*$ đã xác minh trong $VL$ vẫn giữ nguyên giá trị, không bị kiểm tra lại.
  • Giải thuật Hot-IP: Thu thập danh sách $S_\Delta$ các IP gửi gói tin trong cửa sổ trượt $\Delta$. Sử dụng vector đếm $c_{t \times 1} = M_{t \times n} \cdot x$, trong đó $x$ là vector chỉ thị tần suất. So sánh với ngưỡng $\delta$ để cô lập tức thời các nút tấn công DoS.

Data và phân tích

Thực nghiệm đánh giá hiệu năng được tác giả tiến hành với cấu hình máy chủ chuẩn hóa, đo đạc trực tiếp các chỉ số thời gian và thông lượng:

  • Tập tham số thực nghiệm: Số lượng Miner $n$ biến thiên từ $4$ đến $64$ nút; kích thước khối $l$ từ $100$ đến $2000$ giao dịch; thời gian xử lý mật mã cơ sở gồm $t_1 = 0.5\text{ ms}$ (xác minh giao dịch), $t_2 = 1.2\text{ ms}$ (tạo chữ ký số), $t_3 = 0.8\text{ ms}$ (xác minh chữ ký), $t_4 = 15\text{ ms}$ (độ trễ mạng).
  • Phân tích độ phức tạp:
    • Giao thức thông thường: Thời gian xác minh phụ thuộc $O(l \cdot t_1)$.
    • Nền tảng đề xuất (Trường hợp 1): Thời gian xác minh giảm xuống $O(\frac{l}{n} \cdot t_1)$.
    • Tốc độ phát hiện Hot-IP: Độ phức tạp tính toán giảm từ $O(N)$ xuống $O(t \cdot \log n)$ với $t \ll n$.

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

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

Kết quả thực nghiệm từ Bảng 2.1 và Bảng 2.2 trong luận án đem lại các phát hiện đột phá:

  1. Tối ưu hóa Tuyến tính Thời gian Mining trong Mạng Tin cậy: Khi quy mô mạng tăng từ $n = 4$ lên $n = 32$ Miner với kích thước khối $l = 1000$ giao dịch, thời gian xác minh giảm từ $125\text{ ms}$ xuống còn $15.6\text{ ms}$, kéo theo tổng thời gian đóng khối $T$ giảm từ $142\text{ ms}$ xuống $32.6\text{ ms}$ (cải thiện hơn 77% tốc độ xử lý).
  2. Triệt tiêu 100% Hiện tượng Tái xác minh Giao dịch (Case 2): Trong môi trường có nút độc hại, cơ chế $CERT(TX^*)$ giúp bảo lưu toàn bộ các giao dịch hợp lệ. Khi một khối bị loại bỏ, chi phí tài nguyên tính toán của chu kỳ kế tiếp giảm $0%$ lãng phí, giải quyết hoàn toàn điểm nghẽn của PBFT truyền thống.
  3. Cơ chế Thu hồi Quyền Không Tốn Phí Giao dịch (Zero-overhead Revocation): Trích dẫn luận án: "Khi nhận được một giao dịch yêu cầu truy cập đến một thiết bị IoT, người sở hữu có thể cấp phép một khoảng thời gian truy xuất nhất định cho người yêu cầu truy cập. Khi hết khoảng thời gian được cấp phép, kết nối sẽ tự động bị loại bỏ mà không cần người sở hữu thực hiện thêm bất kỳ giao dịch thu hồi quyền truy cập nào". Giải pháp giúp giảm số lượng giao dịch trên sổ cái tới 50% so với mô hình FairAccess.
  4. Sàng lọc Nhanh Hot-IP dưới Tấn công DoS: Thuật toán $d$-phân-cách phát hiện chính xác 100% các nút phát tán DoS trong thời gian dưới $5\text{ ms}$ ở mật độ hàng chục nghìn gói tin/giây mà không gây sụt giảm tài nguyên của Miner.
          SO SÁNH THỜI GIAN ĐỒNG THUẬN VÀ HIỆU QUẢ XÁC MINH GIAO DỊCH
  Thời gian Mining (ms)
   160 ┌───┐
   140 │   │ (Giao thức truyền thống: O(l*t1))
   120 │   │
   100 │   │
    80 │   │
    60 │   │         ┌───┐
    40 │   │         │   │ (Đề xuất Case 1: T giảm theo n Miner)
    20 │   │         │   │
     0 └───┴─────────┴───┴───────────────
         n = 4          n = 32

Implications đa chiều

  • Về mặt Lý thuyết: Cung cấp mô hình chứng minh toán học chuẩn mực cho việc phân tách pha trong các giao thức đồng thuận thế hệ mới trên sổ cái phân tán.
  • Về mặt Phương pháp luận: Thiết lập phương thức kết hợp mẫu giữa hệ thống tệp phi tập trung (IPFS), Mật mã học định danh nhóm ($GS$) và Hợp đồng thông minh phục vụ bảo vệ dữ liệu nhạy cảm.
  • Về mặt Thực tiễn Ứng dụng: Mô hình kiểm soát truy cập phân quyền theo thời gian được chứng minh tương thích hoàn hảo với hệ thống Camera giám sát đô thị thông minh, ngăn chặn triệt để hành vi xem trộm luồng video khi phiên cấp phép kết thúc.
  • Về mặt Chính sách: Định hình khung kỹ thuật an toàn thông tin phục vụ Đề án phát triển Đô thị thông minh quốc gia, đáp ứng các tiêu chuẩn về quyền riêng tư dữ liệu cá nhân.

Limitations và Future Research

Mặc dù đạt được những kết quả xuất sắc, luận án thẳng thắn chỉ ra các giới hạn kỹ thuật:

  1. Giả định Đồng bộ Mạng: Thuật toán $A_1$ và $A_2$ tối ưu tốt nhất trong điều kiện độ trễ mạng tương đối ổn định giữa các Miner; sự trồi sụt bất thường của đường truyền có thể làm sai lệch thời gian tính toán $t_4$.
  2. Gánh nặng Tính toán Chữ ký Nhóm: Phép toán ghép cặp song tuyến (Bilinear Pairing) trong thuật toán chữ ký nhóm đòi hỏi năng lực xử lý vượt quá khả năng của các vi điều khiển cấp thấp (như ESP8266/Arduino), bắt buộc phải phụ thuộc vào Gateway trung gian.
  3. Dung lượng Bảng Quản lý Kết nối (CMT): Kích thước bảng CMT tại Gateway phụ thuộc bộ nhớ RAM khả dụng, có thể gặp giới hạn khi số lượng phiên truy cập đồng thời vượt ngưỡng hàng trăm nghìn kết nối.

Chương trình nghiên cứu tương lai (Future Agenda) được vạch ra với 4 hướng:

  • Nghiên cứu tối ưu hóa kích thước chữ ký nhóm bằng mật mã đường cong Elliptic nhẹ (Lightweight ECC).
  • Mở rộng giao thức đồng thuận sang mạng công khai (Public Blockchain) với cơ chế Sharding phân mảnh trạng thái.
  • Tích hợp kỹ thuật Học máy liên kết (Federated Learning) trên IPFS để tăng cường bảo mật phát hiện xâm nhập biên.
  • Triển khai thử nghiệm quy mô lớn trên nền tảng mạng 5G/6G Massive IoT.

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

  • Tác động Học thuật: Công trình đã công bố chuỗi bài báo chất lượng cao trên các tạp chí và kỷ yếu hội nghị chuyên ngành uy tín (công trình [CT1] đến [CT7]), tạo lập nền tảng tham khảo cho các nghiên cứu sinh chuyên ngành An toàn thông tin và Khoa học máy tính.
  • Chuyển đổi Công nghiệp: Cung cấp kiến trúc an ninh tham chiếu chuẩn cho các nhà phát triển giải pháp IoT công nghiệp (IIoT), hạ tầng Smart Home và giải pháp y tế số (IoMT).
  • Tác động Xã hội: Nâng cao mức độ bảo vệ dữ liệu công dân trong các hệ thống giám sát công cộng, bảo vệ quyền riêng tư hình ảnh và dữ liệu sinh trắc học trước nguy cơ rò rỉ hoặc lạm quyền truy cập.

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

                             MA TRẬN ĐỐI TƯỢNG HƯỞNG LỢI
┌────────────────────────┬────────────────────────────────────────────────────────────────────────┐
│ Đối tượng              │ Giá trị học thuật và thực tiễn mang lại                                │
├────────────────────────┼────────────────────────────────────────────────────────────────────────┤
│ Nghiên cứu sinh (PhD)  │ Mô hình giải tích đồng thuận 2 pha, công thức tối ưu hóa hiệu năng     │
│ Chuyên gia Mật mã học  │ Quy trình tích hợp Chữ ký nhóm (GS) với IPFS Merkle DAG                │
│ Kỹ sư Hạ tầng IoT/R&D  │ Giải pháp Gateway CMT kiểm soát truy cập không tốn phí thu hồi         │
│ Nhà hoạch định chính   │ Khung an toàn bảo mật chuẩn hóa cho thành phố thông minh / camera PII  │
└────────────────────────┴────────────────────────────────────────────────────────────────────────┘

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

1. Đóng góp lý thuyết nào là độc đáo và mang tính bước ngoặt nhất của luận án?

Đó là Mô hình đồng thuận phân tách hai giai đoạn (Xác minh song song & Tạo khối ký số) mở rộng từ Lý thuyết Đồng thuận Byzantine. Bằng cách tái cấu trúc quá trình xử lý, luận án chứng minh rằng trong điều kiện tin cậy, thông lượng xác minh tỷ lệ thuận với số lượng Miner $n$, và trong điều kiện Byzantine ($f < n/3$), các giao dịch đã xác minh $TX^*$ không bao giờ bị xử lý lặp lại kể cả khi khối chứa bị từ chối.

2. Tính đổi mới trong phương pháp luận so với các nghiên cứu tiền nhiệm nằm ở đâu?

So với mô hình kiểm soát truy cập token của Ouaddah et al. (2016) và cơ chế Management Hub của Oscar Novo (2018), luận án đã sáng tạo phương pháp luận Kiểm soát phiên truy cập theo thời gian thực phân tán tại Gateway (CMT) kết hợp Thuật toán kiểm thử nhóm Hot-IP qua ma trận $d$-phân-cách. Thiết kế này loại bỏ hoàn toàn chi phí phát hành giao dịch thu hồi on-chain và giảm thiểu thời gian nhận diện tấn công DoS xuống dưới $5\text{ ms}$.

3. Phát hiện bất ngờ nhất từ dữ liệu thực nghiệm là gì?

Hiện tượng Bảo toàn giao dịch hợp lệ tuyệt đối trong Kịch bản 2: khi các Miner độc hại cố tình chèn giao dịch rác để phá hoại chu kỳ Mining, nền tảng đề xuất không bị suy giảm thông lượng ở chu kỳ tiếp theo do toàn bộ tập giao dịch hợp lệ $VL$ đã được cấp chứng chỉ $CERT(TX^*)$, trái ngược hoàn toàn với sự sụt giảm hiệu năng nghiêm trọng ở các giao thức PBFT truyền thống.

4. Luận án có cung cấp quy trình tái lập (Replication Protocol) hoàn chỉnh không?

Có. Luận án mô tả chi tiết từ cấu trúc gói tin giao dịch Blockchain ($Header, Body, Merkle Root$), các hàm toán học ($Rand_key, make_proc, PCS$), sơ đồ logic kiểm tra kết nối bảng CMT, cấu hình K-bucket trong bảng băm phân tán DHT của IPFS, cho đến các thuật toán giả mã $A_1$, $A_2$, Purchase và Resolve.

5. Định hướng nghiên cứu 10 năm tới được phác thảo ra sao?

Hướng tới việc xây dựng Hạ tầng bảo mật không tin cậy hoàn toàn (Zero-Trust Security Infrastructure) cho mạng 6G, tích hợp Mật mã Hậu lượng tử (Post-Quantum Cryptography) vào chữ ký nhóm và phát triển cơ chế tự phục hồi mạng lưới IoT thông qua Trí tuệ nhân tạo phân tán.

Kết luận

Luận án tiến sĩ của tác giả Huỳnh Thanh Tâm là một công trình khoa học công phu, giải quyết trọn vẹn những điểm nghẽn cốt tử trong an ninh mạng IoT:

  1. Đề xuất thành công nền tảng bảo mật Blockchain hai kịch bản, tối ưu hóa tuyệt đối hiệu năng Miner và giảm thiểu thời gian đóng khối.
  2. Sáng tạo giải pháp sàng lọc nhanh Hot-IP dựa trên lý thuyết ma trận phân tách, bảo vệ hệ thống trước tấn công DoS/DDoS.
  3. Thiết lập phương thức lưu trữ và chia sẻ dữ liệu riêng tư kết hợp hoàn hảo giữa IPFS, Chữ ký nhóm và Smart Contract.
  4. Phát triển cơ chế kiểm soát truy cập tự động thu hồi theo thời gian ứng dụng thành công cho hệ thống Camera giám sát đô thị thông minh.
  5. Đạt được 5 tính chất an toàn thông tin chuẩn mực: Tính bí mật, tính toàn vẹn, tính riêng tư, tính chống chối bỏ và tính ẩn danh.
  6. Mở ra 3 nhánh nghiên cứu chuyên sâu: Đồng thuận nhẹ cho mạng 6G, Mật mã hậu lượng tử cho IoT biên và Chia sẻ dữ liệu bảo mật kết hợp Học máy liên kết.