Tổng quan luận án
Luận án tiến sĩ kỹ thuật chuyên ngành Hệ thống thông tin (mã số 9.04) của nghiên cứu sinh Huỳnh Thanh Tâm, được thực hiện tại Học viện Công nghệ Bưu chính Viễn thông dưới sự hướng dẫn của PGS.TS Nguyễn Đình Thúc và TS. Tân Hạnh (Hà Nội, 2022), mang tên: "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".
Tính cấp thiết của luận án xuất phát từ sự gia tăng nhanh chóng về số lượng và chủng loại thiết bị liên mạng vạn vật (Internet of Things - IoT). Báo cáo dự báo từ Tập đoàn Dữ liệu Quốc tế (IDC) ước tính đến năm 2025 có khoảng 41,6 tỉ thiết bị kết nối Internet và tạo ra tổng lượng dữ liệu đạt 79,4 Zettabytes. Phần lớn thiết bị IoT bị hạn chế về năng lực tính toán và dung lượng bộ nhớ lưu trữ, gây khó khăn cho việc triển khai các cơ chế bảo vệ trực tiếp trên từng thiết bị đơn lẻ. Các nền tảng bảo mật tập trung tồn tại các điểm nghẽn về nguy cơ thỏa hiệp dữ liệu tại máy chủ trung tâm, rủi ro gián đoạn dịch vụ khi xảy ra tấn công từ chối dịch vụ (DoS) và sự phức tạp trong việc quản lý mở rộng quy mô. Ngược lại, các nền tảng bảo mật phi tập trung dựa trên Blockchain tuy giải quyết được tính sẵn sàng nhưng bộc lộ hai khoảng trống nghiên cứu chính:
- Cơ chế xác minh giao dịch và đồng thuận dữ liệu trên sổ cái của các nút giữ sổ cái (Miner) phụ thuộc vào các giao thức truyền thống (PoW, PoS, PoA, PoAh, DPoS, PBFT, Tendermint) chưa tối ưu hóa hiệu năng xử lý trong hai tình huống vận hành: khi toàn bộ Miner hoàn toàn tin cậy (tốc độ xác minh và đóng khối không tăng khi bổ sung thêm Miner) và khi tồn tại Miner không tin cậy (dưới 1/3 tổng số Miner, dẫn đến lãng phí tài nguyên xác minh lại các giao dịch hợp lệ bị chèn lẫn vào khối không hợp lệ).
- Các nền tảng hiện hữu chủ yếu cung cấp đơn lẻ từng tính năng riêng biệt, thiếu một kiến trúc tích hợp đồng thời các chức năng thiết yếu gồm: kiểm soát truy cập phân quyền có thời hạn, lưu trữ an toàn và chia sẻ dữ liệu đảm bảo tính riêng tư, cùng cơ chế tự bảo vệ các Miner trước tấn công mạng.
Mục tiêu nghiên cứu của luận án được xác định rõ:
- Mục tiêu tổng quát: Đề xuất một nền tảng đảm bảo an toàn bảo mật dựa trên Blockchain cho IoT; ứng dụng công nghệ và công cụ toán học để xây dựng chức năng lưu trữ dữ liệu và chia sẻ dữ liệu đảm bảo tính riêng tư; đề xuất chức năng kiểm soát truy cập theo khoảng thời gian được cấp phép bởi chủ sở hữu thiết bị (thử nghiệm trên hệ thống Camera công cộng trong nhà thông minh/thành phố thông minh); đề xuất áp dụng giải pháp phát hiện nhanh các địa chỉ IP có tần suất gửi gói tin bất thường (Hot-IP) trên các Miner nhằm phòng ngừa tấn công từ chối dịch vụ.
- Các mục tiêu cụ thể:
- Nghiên cứu lý thuyết về công nghệ Blockchain, các loại mạng và giao thức đồng thuận; phân tích ưu nhược điểm của các nền tảng bảo mật dựa trên Blockchain cho IoT đã có, từ đó đề xuất nền tảng bảo mật tối ưu hơn.
- Nghiên cứu lý thuyết về hệ thống lưu trữ phân tán IPFS và phương thức chữ ký nhóm; thiết kế chức năng lưu trữ và chia sẻ dữ liệu đảm bảo tính riêng tư tích hợp trong nền tảng.
- Xây dựng giải pháp kiểm soát truy cập theo thời gian được cấp phép; áp dụng thực nghiệm kiểm soát truy cập cho hệ thống Camera công cộng trong hệ thống nhà thông minh/thành phố thông minh.
- Đề xuất giải pháp phát hiện nhanh các Hot-IP trên các Miner nhằm nhận diện sớm nguy cơ tấn công DoS từ các nút độc hại.
Đối tượng nghiên cứu của luận án bao gồm công nghệ Blockchain, các giao thức đồng thuận phân tán, các mô hình mạng Blockchain (Private, Consortium, Public), phương thức chữ ký nhóm, hệ thống tệp phân tán IPFS và các giải pháp an toàn thông tin cho IoT. Phạm vi nghiên cứu tập trung vào môi trường mạng IoT có các thiết bị kết nối dựa trên giao thức IP, tầng ứng dụng phục vụ tương tác với các dịch vụ bảo mật; bối cảnh phân tán dữ liệu thử nghiệm tại hệ thống Camera giám sát công cộng thuộc nhà thông minh/thành phố thông minh; công trình hoàn thành và bảo vệ năm 2022.
Tổng quan tài liệu và vị trí của luận án
Luận án thực hiện khảo sát các nhóm công trình nghiên cứu trong và ngoài nước liên quan đến ba trụ cột nội dung chính:
Về nền tảng bảo mật dựa trên Blockchain cho IoT: Luận án phân tích giải pháp FairAccess của nhóm nghiên cứu Ouaddah và cộng sự (2016) [46] về kiểm soát truy cập nhưng chỉ ra tác giả chưa mô tả chi tiết quy trình đồng thuận trên sổ cái giữa các Miner; nghiên cứu của Dorri và cộng sự (2017) [17] áp dụng PoS cho nhà thông minh nhưng tập trung xử lý tại một Miner duy nhất; giải pháp bảo đảm tính toàn vẹn dữ liệu đám mây của Liu và cộng sự (2017) [37] và mô hình chứng thực thiết bị của Panda và cộng sự (2019) [49] đều phụ thuộc Ethereum; nghiên cứu của Sheron và cộng sự (2020) [55] dùng giao thức PoW gây tiêu tốn năng lượng; mô hình giao tiếp Consortium Blockchain của Liang và cộng sự (2020) [30] sử dụng cơ chế đồng thuận kết hợp hai giai đoạn; nền tảng trao đổi dữ liệu của Singh và cộng sự (2019) [57] dùng hợp đồng thông minh nhưng không xác định rõ giao thức đồng thuận; giao thức Proof-of-Authentication (PoAh) do Puthal và cộng sự (2020) [53] đề xuất cho mạng IoT; nghiên cứu áp dụng PBFT cho truy xuất nguồn gốc nông sản của nhóm tác giả Việt Nam [58] và Tendermint cho Private Blockchain của He Yi và cộng sự (2020) [65]. Tại Việt Nam, các công trình của các nhóm tác giả [14], [18], [51] cũng bước đầu khai thác Ethereum, thuật toán mật mã và nền tảng B-DAC để bảo vệ dữ liệu IoT.
Về giải pháp lưu trữ và chia sẻ dữ liệu:
- Nhóm giải pháp lưu trữ tập trung: Luận án điểm lại mô hình chia sẻ bệnh án điện tử ba tầng của Qi Xia và cộng sự (2017) [63]; mô hình lưu trữ đám mây dùng Merkle Tree của Xueping Liang và cộng sự (2017) [36]; giải pháp BPDS của Liu và cộng sự (2018) [38]; kiến trúc của Zheng và cộng sự (2018) [69] kết hợp điện toán đám mây với máy học; giải pháp MedBlock của Fan và cộng sự (2018) [20]. Điểm hạn chế chung của nhóm này là người dùng chưa thể chủ động kiểm tra tính chính xác và tin cậy của dữ liệu trước khi mua hoặc gửi yêu cầu chia sẻ, đồng thời phụ thuộc vào các thực thể trung gian (như người xác minh, người giữ khóa).
- Nhóm giải pháp lưu trữ phi tập trung: Các công trình ứng dụng IPFS kết hợp hợp đồng thông minh gồm nghiên cứu của Shafagh và cộng sự [61]; Muqaddas Naz và cộng sự (2019) [43]; công trình mã hóa thuộc tính [62]; giải pháp PrivySharing của Makhdoom và cộng sự (2020) [40]; giải pháp dùng chữ ký vòng của nhóm tác giả [26]. Luận án nhận định các hệ thống này chưa cung cấp cơ chế để các bên tham gia kiểm chứng tính hợp lệ của dữ liệu trước khi gửi yêu cầu.
Về giải pháp kiểm soát truy cập: Bên cạnh FairAccess [46] sử dụng token tốn chi phí giao dịch, luận án phân tích giải pháp ControlChain của Pinno và cộng sự (2017) [52] chia nhỏ thành 4 chuỗi khối (Context, Relationships, Rules, Accountability); giải pháp nhà thông minh của Dorri và cộng sự [17]; hệ thống khóa cửa thông minh định vị GPS của Han và cộng sự (2018) [23]; kiến trúc Management Hub của Oscar Novo (2018) [44]; mô hình kiểm soát truy cập dựa trên thuộc tính của Ding và cộng sự (2018) [16]; chính sách động dùng học máy của Outchakoucht và cộng sự (2019) [48]; mô hình chứng thực token Ethereum [47]; và hệ thống quản trị định danh doanh nghiệp [45]. Luận án xác định khoảng trống: các giải pháp hiện hữu chưa cho phép phân quyền theo khoảng thời gian được định trước và chưa có cơ chế tự động hủy bỏ kết nối khi hết hạn mà không cần chủ sở hữu gửi thêm giao dịch thu hồi.
Vị trí của luận án: Luận án giải quyết đồng thời các khoảng trống trên bằng cách xây dựng một nền tảng đồng thuận hai giai đoạn linh hoạt theo hai kịch bản Miner tin cậy và không tin cậy; tích hợp lưu trữ off-chain bằng IPFS kết hợp chữ ký nhóm; và thiết lập cơ chế kiểm soát truy cập tự ngắt kết nối thông qua bảng quản lý kết nối tại Gateway.
Cơ sở lý thuyết và phương pháp nghiên cứu
Luận án xây dựng trên các nền tảng lý thuyết và công cụ toán học sau:
- Lý thuyết Blockchain và đồng thuận phân tán: Cấu trúc khối gồm phần Header (phiên bản, con trỏ băm liên kết khối trước, nhãn thời gian, số Nonce, Merkle Root) và phần Body chứa danh sách giao dịch; khối đầu tiên là Genesis. Bài toán các vị tướng Byzantine (Byzantine Broadcast) của Lamport, Shostak, Pease (1982) [32] và các định lý chứng minh tính bất khả thi nếu số nút độc hại vượt quá $n/3$ trong kênh xác thực theo cặp không có hạ tầng khóa công khai thiết lập trước (Fischer, Lynch, Paterson 1985; Pease, Shostak, Lamport 1980 [22], [50]). Giới hạn lý thuyết này được luận án sử dụng làm căn cứ cho kịch bản mạng Consortium có số Miner không tin cậy ít hơn $1/3$ tổng số Miner.
- Hệ thống tệp phân tán IPFS (InterPlanetary File System): Sử dụng giao thức lưu trữ nội dung định danh theo hàm băm mật mã, cấu trúc Merkle DAG, bảng băm phân tán (DHT) với thuật toán K-bucket, dịch vụ phân giải tên IPNS (InterPlanetary Naming System) và dịch vụ đồng bộ IPFS Clustering.
- Phương thức chữ ký nhóm (Group Signature - GS): Sử dụng các tham số hệ thống gồm khóa công khai của nhóm ($gpk$), khóa riêng của người quản lý nhóm ($gmk$), khóa riêng của người quản lý thu hồi ($grk$), vector các khóa riêng thành viên ($gsk$, với phần tử $gsk[i]$ cho thành viên thứ $i$). Kỹ thuật này cho phép thành viên ký ẩn danh đại diện cho nhóm, người ngoài chỉ kiểm tra tính hợp lệ bằng $gpk$ mà không xác định được danh tính cụ thể, trong khi người quản lý thu hồi có thể mở chữ ký để truy nguyên khi xảy ra tranh chấp.
- Cơ sở toán học phát hiện Hot-IP: Ứng dụng lý thuyết ma trận $d$-phân-cách kích thước $t$ hàng, vector bộ đếm $c_{t \times 1}$, ngưỡng tần suất cao $\delta$ và khoảng thời gian giám sát $\Delta$ nhằm nhận diện các địa chỉ IP phát tán lưu lượng độc hại với độ phức tạp tính toán thấp.
Phương pháp nghiên cứu:
- Phương pháp phân tích, tổng hợp và đánh giá lý thuyết: Hệ thống hóa tài liệu, xác định các điểm nghẽn về mặt hiệu năng tính toán và tính năng bảo mật.
- Phương pháp mô hình hóa và thiết kế giải pháp: Xây dựng các thuật toán xác minh giao dịch hai giai đoạn ($A_1, A_2$), quy trình lưu trữ dữ liệu, quy trình mua bán dữ liệu (Purchase, Resolve) và quy trình kiểm soát truy cập tại Gateway.
- Phương pháp thực nghiệm kỹ thuật và đo đạc định lượng: Thiết lập mô hình mạng thử nghiệm, đo đạc thời gian đóng khối trung bình (Mining time), số lượng giao dịch xác minh trên giây trong các điều kiện thay đổi số lượng Miner và thay đổi tải giao dịch; kiểm thử chức năng truyền phát hình ảnh từ thiết bị Camera trong môi trường phòng thí nghiệm.
Nguồn dữ liệu/tư liệu thực nghiệm:
- Dữ liệu đo đạc thời gian xác minh và thời gian tạo khối được sinh ra từ các kịch bản thực nghiệm mô phỏng trên mạng máy tính với số lượng Miner biến thiên từ 4 đến 16 nút.
- Gói tin mạng IP thu thập trong các khoảng thời gian $\Delta$ để tính toán ma trận thử nghiệm Hot-IP.
- Luồng dữ liệu video và gói tin điều khiển kết nối từ thiết bị ghi hình (Camera) kết nối qua mạng IP tới Gateway.
Nội dung chính theo từng chương
Chương 1: Tổng quan về nền tảng bảo mật dựa trên Blockchain cho IoT
Chương 1 thiết lập bức tranh tổng thể về vai trò của công nghệ Blockchain đối với bảo mật liên mạng vạn vật. Tác giả trình bày chi tiết sự khác biệt giữa hai kiến trúc triển khai: kiến trúc tập trung (phù hợp mạng nhỏ, độ trễ thấp nhưng tồn tại điểm lỗi đơn lẻ) và kiến trúc phi tập trung (đảm bảo tính sẵn sàng, mở rộng quy mô tốt). Nội dung phân tích các loại hình mạng Blockchain gồm Public, Private và Consortium, chỉ rõ Private Blockchain thích hợp cho một tổ chức quản trị còn Consortium Blockchain phù hợp cho liên minh nhiều đơn vị cùng vận hành.
Tác giả phân tích cơ chế vận hành cùng nhược điểm của các giao thức đồng thuận phổ biến:
- Proof-of-Work (PoW): Chi phí năng lượng lớn, các Miner phải giải bài toán tìm số Nonce thỏa mãn $H(Nonce || Khối_mới) \le Giá_trị_mục_tiêu$, dễ bị chi phối khi một thực thể nắm giữ trên 51% sức mạnh tính toán.
- Proof-of-Stake (PoS), Proof-of-Activity (PoA), Proof-of-Authentication (PoAh), Delegated Proof-of-Stake (DPoS), Practical Byzantine Fault Tolerance (PBFT) và Tendermint. Trong đó, PBFT vận hành qua ba giai đoạn (Pre-prepared, Prepared, Commit), đòi hỏi nhận đủ ít nhất $2/3$ số phiếu và cam kết từ các nút trong mạng.
Chương này cũng phân loại các hình thức tấn công bảo mật trong môi trường Blockchain gồm: tấn công 51%, tấn công lặp chi (Double Spending), tấn công Eclipse (kiểm soát kết nối của nút nạn nhân), tấn công đào trộm (Selfish Mining) và tấn công từ chối dịch vụ (DoS). Từ việc tổng hợp các hạn chế của các công trình đi trước, tác giả định hình hướng nghiên cứu tập trung vào việc tối ưu hóa hiệu năng đồng thuận cho Miner và mở rộng các tính năng ứng dụng thực tế.
Chương 2: Nền tảng bảo mật dựa trên Blockchain cho IoT
Chương 2 mô tả chi tiết kiến trúc, quy trình xác minh giao dịch và đồng thuận dữ liệu trên sổ cái của nền tảng bảo mật đề xuất. Quy trình đồng thuận được phân tách thành hai giai đoạn độc lập: Giai đoạn xác minh (Verification Phase) và Giai đoạn tạo khối (Block Creation Phase), được thiết kế cho hai trường hợp cụ thể:
- Trường hợp 1: Tất cả Miner trong mạng đều hoàn toàn tin cậy (áp dụng trong Private Blockchain). Giao thức chia đều các giao dịch trong danh sách chờ ($WL$) cho các Miner xác minh song song. Khi số lượng Miner ($n$) tăng lên, khối lượng công việc xác minh trên mỗi Miner giảm xuống, giúp rút ngắn thời gian tạo khối và tăng tổng số lượng giao dịch được xác minh.
- Trường hợp 2: Mạng tồn tại một số Miner không tin cậy nhưng số lượng ít hơn $1/3$ tổng số Miner (áp dụng trong Consortium Blockchain). Quy trình thiết kế đảm bảo các giao dịch hợp lệ sau khi được xác minh ($TX^*$) sẽ đưa vào danh sách $VL$ và chỉ cần xác minh duy nhất một lần. Nếu một Miner không tin cậy đề xuất khối có chứa giao dịch sai lệch, các Miner tin cậy sẽ bác bỏ khối đó mà không phải xác minh lại các giao dịch hợp lệ đã được kiểm tra trước đó, giải quyết tình trạng lãng phí tài nguyên của các thuật toán truyền thống.
Kết quả đánh giá hiệu năng được tác giả so sánh trực tiếp giữa nền tảng đề xuất với các thuật toán đối sánh ($A_1$ cho trường hợp 1 và $A_2$ cho trường hợp 2). Luận án tổng hợp số liệu đo đạc thực nghiệm qua các bảng dữ liệu sau:
Bảng 2.1: Kết quả thực nghiệm về thời gian Mining một khối mới (đơn vị: giây)
| Số lượng Miner |
Thuật toán $A_1$ (cũ) |
Nền tảng đề xuất (Trường hợp 1) |
Thuật toán $A_2$ (cũ) |
Nền tảng đề xuất (Trường hợp 2) |
| 4 Miner |
12,45 |
8,30 |
18,60 |
14,20 |
| 8 Miner |
12,40 |
4,65 |
18,50 |
9,80 |
| 12 Miner |
12,50 |
3,40 |
18,55 |
7,10 |
| 16 Miner |
12,48 |
2,75 |
18,62 |
5,40 |
Bảng 2.2: Kết quả thực nghiệm về số lượng giao dịch được xác minh trên một đơn vị thời gian (giao dịch/giây)
| Số lượng Miner |
Thuật toán $A_1$ (cũ) |
Nền tảng đề xuất (Trường hợp 1) |
Thuật toán $A_2$ (cũ) |
Nền tảng đề xuất (Trường hợp 2) |
| 4 Miner |
80,3 |
120,5 |
53,7 |
70,4 |
| 8 Miner |
80,6 |
215,0 |
54,0 |
102,0 |
| 12 Miner |
80,0 |
294,1 |
53,9 |
140,8 |
| 16 Miner |
80,1 |
363,6 |
53,7 |
185,2 |
Bên cạnh tối ưu hóa đồng thuận, chương này đề xuất giải pháp phát hiện nhanh Hot-IP trên các Miner. Bằng cách sử dụng ma trận $d$-phân-cách kích thước $t$ hàng nhân với vector lưu lượng các địa chỉ IP đến trong khoảng thời gian $\Delta$, giải pháp xác định chính xác các nguồn IP vượt ngưỡng tần suất $\delta$, cho phép Miner nhanh chóng áp dụng bộ lọc từ chối mà không làm tiêu hao năng lực xử lý của hệ thống.
Chương 3: Lưu trữ và chia sẻ dữ liệu đảm bảo tính riêng tư
Chương 3 giải quyết bài toán dung lượng khối hạn chế trong Blockchain bằng kiến trúc kết hợp hệ thống lưu trữ phi tập trung IPFS và phương thức chữ ký nhóm. Mô hình hệ thống gồm 4 thực thể chính:
- Chủ sở hữu dữ liệu (Data Owner - DO)
- Nhà cung cấp dữ liệu (Data Provider - DP)
- Hệ thống lưu trữ phi tập trung (Decentralized Storage - DS / IPFS)
- Người sử dụng dữ liệu (Data User - DU)
Quy trình vận hành gồm ba giai đoạn:
- Tạo dữ liệu: Dữ liệu thô $x$ từ thiết bị IoT được đưa qua hàm chuẩn hóa $make_proc(x)$ để tạo dữ liệu có nghĩa $MD$. Đơn vị thẩm định/cấp phát cấp chứng chỉ $CERT$ xác thực tính đúng đắn của dữ liệu.
- Lưu trữ dữ liệu: Dữ liệu $MD$ được mã hóa bằng thuật toán mã hóa khóa bí mật $E_K(MD)$ tạo thành bản mã $EMD$. Bản mã này được tải lên IPFS để nhận địa chỉ truy cập $EMD_Link$. Khóa bí mật $K$ được mã hóa công khai. Trên sổ cái Blockchain, một giao dịch lưu trữ chỉ ghi nhận các siêu dữ liệu quản lý gồm: $EMD_Link$, chứng chỉ $CERT$, mã định danh nhà cung cấp $IdDP$, và thông tin chữ ký nhóm mà không chứa toàn bộ nội dung dữ liệu thô.
- Chia sẻ dữ liệu: Được tự động hóa qua hợp đồng thông minh với hai thuật toán Purchase (DU gửi giao dịch yêu cầu mua dữ liệu, cam kết tài chính và gửi khóa công khai) và Resolve (hệ thống kiểm tra điều kiện, giải mã và chuyển giao khóa giải mã cho DU).
Đánh giá tính an toàn bảo mật xác nhận giải pháp đạt được 5 tính chất:
- Tính bí mật: Nội dung $MD$ luôn được mã hóa trong suốt quá trình lưu trữ trên IPFS và truyền tải qua mạng.
- Tính toàn vẹn: Dữ liệu trên IPFS được kiểm soát bằng địa chỉ băm nội dung, bất kỳ sửa đổi nào cũng làm thay đổi địa chỉ truy cập.
- Tính riêng tư: Mọi thông tin nhạy cảm của người sở hữu đều được giấu kín.
- Tính chống chối bỏ: Giao dịch được xác nhận thông qua khóa ký mật mã trên Blockchain.
- Tính ẩn danh: Ứng dụng chữ ký nhóm $GS$ giúp người dùng DU và DO thực hiện giao dịch mà không bị lộ danh tính thực, ngoại trừ quyền can thiệp mở khóa của người quản lý thu hồi ($RM$) khi phát sinh tranh chấp.
Chương 4: Giải pháp kiểm soát truy cập dựa trên thời gian được cấp phép cho IoT
Chương 4 tập trung vào chức năng kiểm soát truy cập phân quyền có thời hạn cho thiết bị IoT, được triển khai thử nghiệm trên hệ thống ghi hình Camera thuộc mạng nhà thông minh/thành phố thông minh.
Kiến trúc kiểm soát truy cập bao gồm các thành phần: thiết bị IoT (Camera), cổng kết nối trung gian (Gateway), chủ sở hữu thiết bị (DO), người yêu cầu truy cập (DU) và mạng Blockchain. Điểm mấu chốt của giải pháp là việc thiết lập Bảng quản lý kết nối (Connection Management Table - CMT) đặt trực tiếp trên Gateway. Bảng CMT lưu giữ thông tin gồm: định danh kết nối, địa chỉ IP của DU, định danh thiết bị IoT, thời điểm bắt đầu cấp phép và khoảng thời gian cho phép truy cập ($\tau$).
Quy trình quản lý gồm các bước:
- Đăng ký thiết bị: DO thực hiện giao dịch đăng ký thông tin thiết bị IoT lên sổ cái Blockchain.
- Quản lý truy cập: Khi DU gửi giao dịch yêu cầu truy xuất hình ảnh từ Camera, DO xem xét và thực hiện giao dịch cấp phép, trong đó quy định rõ khoảng thời gian $\tau$.
- Kiểm soát kết nối và tự động thu hồi: Gateway liên tục đối chiếu luồng truyền thông với bảng CMT. Trong khoảng thời gian hợp lệ $\tau$, các gói tin yêu cầu luồng video được chuyển tiếp tới Camera. Ngay khi đồng hồ thời gian vượt quá $\tau$, Gateway tự động xóa bản ghi kết nối tương ứng khỏi bảng CMT và từ chối các gói tin tiếp theo. Quá trình ngắt kết nối diễn ra tự động tại Gateway mà DO không cần tạo hay quảng bá thêm bất kỳ giao dịch thu hồi quyền truy cập nào lên mạng Blockchain, giúp loại bỏ độ trễ và chi phí tài nguyên xử lý giao dịch phụ trợ.
Kết quả và những đóng góp mới
Luận án đã đạt được các kết quả cụ thể và đóng góp mới vào lĩnh vực an toàn thông tin và hệ thống thông tin cho IoT như sau:
Về lý luận và mô hình kỹ thuật:
- Đề xuất một nền tảng an toàn bảo mật mới dựa trên Blockchain với quy trình đồng thuận hai giai đoạn (xác minh và tạo khối) phân hóa linh hoạt theo hai kịch bản: mạng gồm toàn bộ Miner tin cậy và mạng có tỷ lệ Miner không tin cậy dưới $1/3$. Mô hình giải quyết triệt để vấn đề nghẽn cổ chai hiệu năng khi tăng quy mô nút mạng ở trường hợp 1 và xóa bỏ hiện tượng xác minh lặp lại các giao dịch hợp lệ khi gặp khối lỗi ở trường hợp 2.
- Xây dựng mô hình lưu trữ và chia sẻ dữ liệu kết hợp giữa Blockchain, IPFS và kỹ thuật chữ ký nhóm. Đóng góp lý luận ở việc thiết lập cơ chế xác thực chứng chỉ dữ liệu off-chain, cho phép người dùng kiểm chứng tính tin cậy của dữ liệu trước khi thực hiện giao dịch mua bán, đảm bảo tính bí mật, toàn vẹn, riêng tư, chống chối bỏ và ẩn danh.
- Thiết lập giải pháp kiểm soát truy cập phân quyền có thời hạn cho IoT dựa trên cơ chế tự động hủy kết nối thông qua bảng quản lý kết nối (CMT) tại Gateway, loại bỏ nhu cầu phát hành giao dịch thu hồi quyền từ chủ sở hữu.
- Đề xuất phương án áp dụng ma trận $d$-phân-cách để phát hiện nhanh các Hot-IP trên Miner, tăng cường khả năng tự bảo vệ của các nút nắm giữ sổ cái trước nguy cơ tấn công từ chối dịch vụ.
Về mặt thực tiễn và ứng dụng:
- Các kết quả đo đạc thực nghiệm chứng minh nền tảng rút ngắn thời gian tạo khối và tăng tuyến tính số lượng giao dịch được xác minh theo số lượng Miner tham gia mạng.
- Giải pháp kiểm soát truy cập và chia sẻ dữ liệu được chứng minh tính khả thi khi tích hợp thực nghiệm với các hệ thống Camera giám sát kết nối IP trong mô hình đô thị thông minh và nhà thông minh.
- Các kết quả nghiên cứu đã được công bố trong các bài báo khoa học thuộc danh mục công trình của tác giả gồm [CT1], [CT2], [CT3], [CT4], [CT5] và [CT7].
Kiến nghị và đề xuất:
- Kiến nghị triển khai mô hình Private Blockchain cho các hạ tầng IoT thuộc quyền quản lý của một cơ quan đơn lẻ để tối đa hóa tốc độ xử lý giao dịch.
- Đối với hệ thống IoT liên ngành hoặc liên cơ quan, đề xuất áp dụng mô hình Consortium Blockchain với giới hạn nghiêm ngặt số lượng nút ngoài không tin cậy dưới mức $1/3$ tổng số Miner, kết hợp cơ chế kiểm soát truy cập tại các trạm Gateway cục bộ.
Hạn chế và hướng nghiên cứu tiếp
Hạn chế của luận án:
- Phạm vi nghiên cứu giới hạn ở các thiết bị IoT có hỗ trợ giao thức kết nối nền tảng IP; chưa giải quyết triệt để các thiết bị có tài nguyên siêu hạn chế sử dụng các giao thức mạng cảm biến chuyên dụng không định tuyến IP.
- Giả định bảo mật trong trường hợp 2 bắt buộc số lượng Miner không tin cậy phải nhỏ hơn $1/3$ tổng số Miner; hệ thống chưa bảo đảm tính đồng thuận nếu tỷ lệ nút thỏa hiệp vượt quá ngưỡng này.
- Thử nghiệm kiểm soát truy cập chủ yếu đánh giá trên luồng dữ liệu hình ảnh của hệ thống Camera công cộng, chưa bao quát toàn bộ các kịch bản tương tác phức tạp của mạng công nghiệp hoặc y tế thông minh.
Hướng nghiên cứu tiếp:
- Mở rộng nghiên cứu áp dụng nền tảng bảo mật cho các dạng thiết bị IoT đa dạng hơn, bao gồm các thiết bị cảm biến công suất cực thấp và mạng không dây năng lượng thấp.
- Tiếp tục tối ưu hóa các thuật toán phát hiện Hot-IP với các ma trận có kích thước thích ứng linh hoạt hơn theo sự biến thiên của lưu lượng mạng.
- Triển khai thử nghiệm nền tảng trong các môi trường quy mô lớn thực tế của thành phố thông minh để đánh giá tính ổn định dài hạn và khả năng chống chịu trước các cuộc tấn công mạng hỗn hợp.
Giá trị tham khảo
Nội dung và kết quả nghiên cứu của luận án mang lại giá trị tham khảo rõ ràng cho các nhóm đối tượng:
- Đối với nghiên cứu sinh và học viên cao học chuyên ngành Hệ thống thông tin, Mạng máy tính và An toàn thông tin: Cung cấp khung phương pháp luận chi tiết về việc kết hợp Blockchain với công nghệ lưu trữ ngoài chuỗi (off-chain storage bằng IPFS) và công cụ mật mã học (chữ ký nhóm). Các thuật toán xác minh hai giai đoạn là tài liệu tham khảo bổ ích cho các nghiên cứu về tối ưu hóa giao thức đồng thuận.
- Đối với giảng viên và các nhà nghiên cứu: Cung cấp hệ thống tổng quan tài liệu có trích dẫn học thuật đầy đủ về các xu hướng bảo mật IoT, các giao thức đồng thuận từ cổ điển (PoW, PBFT) đến cải tiến (PoAh, Tendermint), cùng các phép chứng minh liên quan đến giới hạn Byzantine.
- Đối với kỹ sư hệ thống và chuyên gia an toàn thông tin: Phần thiết kế Bảng quản lý kết nối (CMT) tại Chương 4 cung cấp mô hình thực thi kiểm soát truy cập trực tiếp có thể áp dụng cho các thiết bị Gateway trong các dự án nhà thông minh, tòa nhà thông minh và hệ sinh thái đô thị thông minh.
Câu hỏi thường gặp
1. Luận án giải quyết vấn đề hiệu năng của Miner trong trường hợp các Miner hoàn toàn tin cậy bằng phương thức nào?
Trong trường hợp 1 (các Miner hoàn toàn tin cậy), luận án phân tách quy trình đồng thuận thành hai giai đoạn: giai đoạn xác minh và giai đoạn tạo khối. Danh sách các giao dịch chờ xử lý được phân bổ cho các Miner xác minh song song. Khi số lượng Miner trong mạng tăng lên, khối lượng giao dịch mỗi Miner cần xử lý giảm xuống tương ứng, giúp giảm thời gian tạo khối trung bình (ví dụ: giảm từ 8,30 giây xuống 2,75 giây khi tăng từ 4 lên 16 Miner) và tăng số lượng giao dịch được xác minh trên một đơn vị thời gian (tăng từ 120,5 lên 363,6 giao dịch/giây), khắc phục hạn chế giữ nguyên tốc độ của các thuật toán truyền thống.
2. Tại sao luận án lựa chọn ngưỡng dưới 1/3 số Miner không tin cậy cho kịch bản mạng Consortium Blockchain?
Cơ sở lựa chọn ngưỡng dưới $1/3$ bắt nguồn từ bài toán Byzantine Broadcast do Lamport và cộng sự đặt ra (1982) cùng các công trình toán học của Fischer, Lynch, Paterson và Pease (1980, 1985). Các nghiên cứu này chứng minh rằng trong một mô hình mạng phân tán xác thực theo cặp không có hạ tầng khóa công khai thiết lập trước, sự đồng thuận giữa các nút hoạt động chính xác là không thể đạt được nếu số lượng nút độc hại đạt từ $n/3$ trở lên. Do đó, luận án thiết lập điều kiện số Miner không tin cậy phải ít hơn $1/3$ tổng số Miner để bảo đảm tính đúng đắn của quy trình xác minh và đồng thuận trên sổ cái.
3. Cơ chế kiểm soát truy cập theo thời gian được cấp phép vận hành như thế nào để loại bỏ việc gửi giao dịch thu hồi quyền?
Cơ chế này sử dụng Bảng quản lý kết nối (CMT) được cài đặt trực tiếp trên Gateway. Khi chủ sở hữu cấp quyền cho người dùng với khoảng thời gian $\tau$ thông qua giao dịch Blockchain, Gateway sẽ tạo một bản ghi trên bảng CMT ghi nhận nhãn thời gian và thời lượng $\tau$. Gateway căn cứ vào bảng CMT để cho phép chuyển tiếp gói tin đến thiết bị IoT. Khi hết khoảng thời gian $\tau$, Gateway tự động hủy bản ghi tương ứng và ngắt kết nối mà không cần chủ sở hữu thiết bị phải khởi tạo và quảng bá thêm một giao dịch thu hồi quyền lên sổ cái Blockchain.
4. Phương thức lưu trữ và chia sẻ dữ liệu trong luận án giải quyết hạn chế về kích thước khối của Blockchain ra sao?
Nhằm tránh tình trạng phình to kích thước khối gây trễ mạng và tiêu hao tài nguyên tính toán của Miner, luận án phân tách dữ liệu thành hai phần: dữ liệu số có giá trị ($MD$) sau khi mã hóa ($EMD$) được lưu trữ off-chain trên hệ thống tệp phân tán IPFS; trong khi đó, sổ cái Blockchain chỉ lưu trữ các siêu dữ liệu quản lý có kích thước nhỏ gồm địa chỉ băm truy cập trên IPFS ($EMD_Link$), chứng chỉ thẩm định ($CERT$), định danh nhà cung cấp dữ liệu ($IdDP$) và chữ ký số.
5. Giải pháp phát hiện nhanh Hot-IP trên Miner nhằm mục đích gì và sử dụng công cụ toán học nào?
Giải pháp phát hiện nhanh Hot-IP nhằm bảo vệ các nút Miner trước nguy cơ bị tấn công từ chối dịch vụ (DoS) do các nút độc hại gửi lượng lớn giao dịch rác. Về mặt toán học, giải pháp sử dụng cấu trúc ma trận $d$-phân-cách kích thước $t$ hàng kết hợp với vector bộ đếm lưu lượng $c_{t \times 1}$ để kiểm tra tần suất xuất hiện của các địa chỉ IP trong khoảng thời gian $\Delta$. Nếu tần suất vượt ngưỡng $\delta$, địa chỉ IP đó được định danh là Hot-IP và bị chặn sớm với độ phức tạp tính toán thấp.
Kết luận
Luận án của nghiên cứu sinh Huỳnh Thanh Tâm đã xây dựng hoàn chỉnh một 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, giải quyết thỏa đáng vấn đề hiệu năng đồng thuận của các Miner qua cơ chế xử lý hai giai đoạn linh hoạt theo hai kịch bản tin cậy và không tin cậy. Công trình tích hợp đồng bộ các giải pháp lưu trữ off-chain bằng IPFS kết hợp chữ ký nhóm, cơ chế kiểm soát truy cập tự ngắt kết nối tại Gateway theo thời hạn cấp phép, và kỹ thuật lọc Hot-IP phòng chống DoS. Các kết quả thực nghiệm định lượng về thời gian đóng khối, thông lượng giao dịch và kiểm thử hệ thống Camera giám sát đã minh chứng tính khả thi và độ tin cậy của nền tảng trong môi trường công nghệ thông tin và truyền thông hiện đại.
