Tổng quan nghiên cứu

Hệ thống Giao thông Thông minh (ITS) đang trở thành trụ cột công nghệ trong cuộc cách mạng đô thị thông minh toàn cầu. Với quy mô thị trường ước tính đạt 23 tỷ USD và được dự báo sẽ mở rộng lên mức 100 tỷ USD vào năm 2030, trong đó khu vực Bắc Mỹ chiếm khoảng 40% thị phần, ITS mang lại bước tiến vượt bậc trong việc giảm thiểu tai nạn giao thông và tối ưu hóa lưu lượng di chuyển. Cấu phần cốt lõi của ITS là Mạng tùy biến xe cộ (VANET), cho phép các phương tiện giao tiếp trực tiếp thông qua cơ chế V2V (Vehicle-to-Vehicle) và V2I (Vehicle-to-Infrastructure) thông qua thiết bị truyền thông gắn trên xe (OBU) và thiết bị bên đường (RSU).

Tuy nhiên, việc quảng bá dữ liệu an toàn giao thông trên mạng diện rộng tiềm ẩn rủi ro xâm phạm quyền riêng tư nghiêm trọng. Khi thông tin định danh và tọa độ vị trí được truyền dưới dạng văn bản rõ, kẻ tấn công có thể dễ dàng theo dõi hành trình của người điều khiển phương tiện. Các giải pháp truyền thống sử dụng Cơ quan Đáng tin cậy (TA) để phân phối định danh giả (pseudonym) đang bộc lộ điểm yếu chết người trước tam giác thách thức: Quyền riêng tư (Privacy), Khả năng kết nối (Connectivity) và Nút thắt cổ chai (Bottleneck). Tại các vùng nông thôn hẻo lánh, tỷ lệ gián đoạn kết nối với máy chủ TA có thể làm tê liệt khả năng xác thực. Ngược lại, tại các đô thị đông đúc với mật độ hàng nghìn xe kết nối cùng lúc, TA dễ dàng rơi vào trạng thái quá tải nghiêm trọng.

Nghiên cứu này được thực hiện nhằm đề xuất giải pháp Tự xác thực (Self-Authentication) kết hợp công nghệ Blockchain và Chữ ký số BLS trên đường cong BLS12-381. Đề tài được triển khai trong phạm vi thời gian từ tháng 02/2023 đến tháng 06/2023 tại Trường Đại học Bách Khoa – Đại học Quốc gia Thành phố Hồ Chí Minh. Mục tiêu then chốt của công trình là triệt tiêu 100% sự phụ thuộc liên tục vào TA trong suốt quá trình vận hành thông điệp, giảm tải băng thông mạng, đồng thời bảo vệ toàn vẹn quyền riêng tư có điều kiện cho người tham gia giao thông.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết áp dụng

Nghiên cứu xây dựng trên nền tảng kết hợp giữa Mật mã học nâng cao và Kiến trúc sổ cái phân tán, bao gồm các lý thuyết và mô hình then chốt:

  • Mật mã đường cong Elliptic (ECC) và Bài toán Lôgarit rời rạc (ECDLP): Ứng dụng phương trình dạng rút gọn Weierstrass trên trường hữu hạn nguyên tố. ECC cung cấp độ an toàn cao với độ dài khóa ngắn hơn đáng kể so với mật mã khóa công khai truyền thống.
  • Mật mã dựa trên Ánh xạ Song tuyến tính (Pairing-Based Cryptography - PBC): Sử dụng ánh xạ song tuyến tính từ hai nhóm cộng sang một nhóm nhân nhằm xây dựng các cơ chế xác thực đa bên và bài toán nhóm Gap Diffie-Hellman (GDH).
  • Lược đồ chữ ký số BLS (Boneh-Lynn-Shacham) và BGLS (Aggregate Signatures): Cho phép rút ngắn chiều dài chữ ký xuống chỉ còn khoảng 160-bit (tương đương 50% độ dài chữ ký số DSA tiêu chuẩn 320-bit) và cho phép gộp hàng loạt chữ ký từ nhiều phương tiện khác nhau thành một chữ ký duy nhất để xác thực song song.
  • Đường cong ghép cặp BLS12-381: Cung cấp mức an toàn tương đương 128-bit bảo mật với bậc nhúng bằng 12. Cấu trúc này ứng dụng kỹ thuật nén điểm giúp giảm kích thước tọa độ trên nhóm G1 từ 96 bytes xuống 48 bytes và nhóm G2 từ 192 bytes xuống 96 bytes, kết hợp hàm băm trực tiếp lên đường cong thông qua thuật toán Simplified SWU map.
  • Hợp đồng thông minh (Smart Contract) trên nền tảng Blockchain: Đóng vai trò là tầng thực thi logic phi tập trung, tự động hóa việc lưu trữ ánh xạ định danh giả và cập nhật Danh sách thu hồi (Revocation List - RL).

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

Nghiên cứu áp dụng quy trình thực nghiệm và phân tích mô phỏng định lượng có hệ thống:

  • Nguồn dữ liệu và môi trường thử nghiệm: Dữ liệu mô phỏng được tạo lập dựa trên các kịch bản trao đổi thông điệp an toàn giao thông chuẩn của mạng VANET. Hệ thống được triển khai thử nghiệm trên môi trường máy trạm cục bộ kết hợp với mạng thử nghiệm Blockchain Ethereum và các giải pháp tương thích EVM.
  • Phương pháp chọn mẫu và phân tích: Tác giả xây dựng mẫu kiểm thử với hơn 1.000 giao dịch trao đổi thông điệp giả lập giữa các OBU và RSU trong các điều kiện mạng khác nhau (bình thường và mất kết nối Internet). Phương pháp phân tích định lượng tập trung vào ba chỉ số cốt lõi: thời gian trễ xử lý mật mã (tạo khóa, ký thông điệp, xác thực đơn, xác thực gộp), chi phí tiêu hao nhiên liệu tính toán (Gas fee) trên chuỗi khối, và dung lượng bộ nhớ tiêu thụ trên thiết bị nhúng.
  • Tiến độ nghiên cứu: Toàn bộ quá trình nghiên cứu lý thuyết, thiết kế toán học, lập trình hợp đồng thông minh và đo đạc hiệu năng được hoàn thành trong chu kỳ 18 tuần liên tục (từ ngày 06/02/2023 đến ngày 10/06/2023).

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

Quá trình kiểm thử và đánh giá mô hình tự xác thực đề xuất đã ghi nhận những phát hiện mang tính đột phá về mặt hiệu năng và an ninh mạng:

  • Triệt tiêu tần suất giao tiếp liên tục với TA: Trong mô hình PKI truyền thống, mỗi phương tiện ước tính phải tiêu tốn khoảng 43.800 cặp khóa và chứng chỉ mỗi năm (tính trên mức trung bình lái xe 2 giờ/ngày). Trong khi đó, giải pháp tự xác thực đề xuất chỉ yêu cầu phương tiện kết nối duy nhất 1 lần đến TA trong giai đoạn đăng ký ban đầu. Sau bước này, phương tiện hoàn toàn tự sinh định danh giả và tự ký xác thực thông điệp một cách độc lập.
  • Tối ưu hóa dung lượng dữ liệu truyền thông: Nhờ ứng dụng kỹ thuật nén điểm trên đường cong BLS12-381, kích thước chữ ký và khóa công khai được cắt giảm tới 50% dung lượng lưu trữ (điểm G1 đạt 48 bytes và điểm G2 đạt 96 bytes). Điều này giúp giảm đáng kể hiện tượng nghẽn băng thông truyền thông không dây tầm ngắn (DSRC/C-V2X).
  • Gia tăng tốc độ xác thực thông qua chữ ký gộp BGLS: Thử nghiệm đo lường cho thấy thời gian xác thực đồng thời một tập hợp 100 thông điệp cảnh báo giao thông được rút ngắn xuống dưới 15 mili-giây, giảm hơn 60% tổng thời gian xử lý so với phương pháp xác thực tuần tự từng chữ ký trong mô hình Chữ ký nhóm (Group Signatures).
  • Tự động hóa cập nhật Danh sách thu hồi (RL) với chi phí thấp: Việc đưa logic quản lý định danh vào Hợp đồng thông minh giúp thời gian phát hiện và cô lập các phương tiện độc hại giảm xuống mức gần thời gian thực, đồng thời chi phí thực thi giao dịch trên mạng Blockchain được tối ưu hóa ở mức tối thiểu.

Thảo luận kết quả

Hiệu quả vượt bậc của mô hình tự xác thực xuất phát từ việc giải quyết triệt để điểm nghẽn tập trung của các kiến trúc tiền nhiệm. Khi xem xét dữ liệu so sánh tại Bảng 3.1 và biểu đồ hiệu năng kiểm thử tại Hình 3.18, Hình 3.19 của luận văn, sự khác biệt giữa các phương pháp thể hiện rất rõ ràng:

Mô hình PKI và Hệ thống dựa trên bút danh (Pseudonym-Identity) cổ điển luôn gặp trở ngại về khả năng mở rộng. Khi lưu lượng xe tăng đột biến tại các giao lộ trung tâm, việc kiểm tra đường dẫn chứng chỉ và truy vấn danh sách thu hồi trực tiếp từ TA tạo ra độ trễ mạng lớn, làm tăng nguy cơ va chạm giao thông do cảnh báo an toàn bị chậm trễ. Trong khi đó, lược đồ chữ ký nhóm tuy che giấu danh tính tốt nhưng chi phí tính toán các phép toán ghép cặp lại quá nặng đối với bộ vi xử lý của thiết bị OBU.

Giải pháp đề xuất đã khắc phục toàn diện những hạn chế trên bằng cách phân tách rõ ràng hai luồng nhiệm vụ: tầng mật mã cục bộ chịu trách nhiệm sinh định danh giả và ký thông điệp bằng chữ ký BLS ngắn gọn; tầng Blockchain đóng vai trò lưu trữ bất biến và đồng bộ hóa trạng thái an toàn mạng. Đặc biệt, ngay cả trong điều kiện phương tiện di chuyển vào khu vực không có sóng Internet (No-Internet condition), các phương tiện lân cận vẫn có thể xác thực tính hợp lệ của thông điệp V2V mà không cần bất kỳ tín hiệu xác nhận nào từ máy chủ trung tâm.

Đề xuất và khuyến nghị

Dựa trên các kết quả thực nghiệm vững chắc của đề tài, nghiên cứu đưa ra 4 nhóm giải pháp và khuyến nghị hành động cụ thể nhằm thúc đẩy ứng dụng thực tế:

  • Tích hợp chuẩn mật mã BLS12-381 vào phần cứng thiết bị OBU và RSU: Khuyến nghị các nhà sản xuất linh kiện ô tô và thiết bị IoT giao thông nhúng sẵn các thư viện mật mã tối ưu hóa như Blst hoặc Herumi vào vi điều khiển. Mục tiêu kỹ thuật là đưa thời gian thực thi phép toán ghép cặp xuống dưới 5 mili-giây trên phần cứng giới hạn tài nguyên trước năm 2025.
  • Triển khai kiến trúc Blockchain Layer 2 hoặc Sidechain chuyên dụng: Để đáp ứng hàng triệu giao dịch mỗi ngày từ hệ thống giao thông quốc gia, các cơ quan quản lý cần xây dựng mạng Blockchain chuyên biệt cho ITS với cơ chế đồng thuận tốc độ cao, đảm bảo chi phí gas duy trì dưới 0.001 USD cho mỗi lượt cập nhật danh sách thu hồi. Lộ trình triển khai thử nghiệm diện rộng dự kiến trong khoảng 12 đến 18 tháng.
  • Thiết lập quy trình tự động hóa đồng bộ Danh sách thu hồi (RL) liên vùng: Đề xuất Trung tâm điều hành giao thông đô thị áp dụng Smart Contract để phân phối danh sách phương tiện vi phạm tới các RSU biên, giúp cập nhật trạng thái thu hồi trên toàn mạng lưới trong vòng dưới 3 giây ngay khi phát hiện hành vi giả mạo.
  • Hoàn thiện khung tiêu chuẩn kỹ thuật quốc gia về bảo mật V2X: Khuyến nghị Bộ Giao thông Vận tải phối hợp cùng Bộ Thông tin và Truyền thông ban hành bộ tiêu chuẩn kỹ thuật bắt buộc về bảo vệ quyền riêng tư người dùng trong hệ thống giao thông thông minh, lấy tiêu chuẩn an toàn 128-bit của đường cong BLS12-381 làm thước đo kỹ thuật chuẩn quốc gia trước năm 2026.

Đối tượng nên tham khảo luận văn

Luận văn mang lại giá trị học thuật và ứng dụng thực tiễn sâu sắc cho 4 nhóm đối tượng trọng tâm:

  • Kỹ sư phát triển hệ thống nhúng và IoT ô tô: Cung cấp tài liệu kỹ thuật chi tiết về cách thức triển khai thuật toán mật mã nén điểm, tối ưu hóa bộ nhớ OBU và xử lý giao tiếp V2V tầm ngắn với độ trễ siêu thấp.
  • Chuyên gia an toàn thông tin và kiến trúc sư giải pháp Blockchain: Nắm bắt phương pháp kết hợp giữa Hợp đồng thông minh và chữ ký số gộp BGLS để xây dựng các hệ thống tự xác thực phi tập trung, giải quyết bài toán chống giả mạo danh tính trong môi trường phân tán.
  • Các nhà quản lý và hoạch định chính sách hạ tầng đô thị thông minh: Có được cái nhìn toàn diện về bức tranh an ninh mạng trong ITS, từ đó xây dựng kế hoạch đầu tư trang thiết bị RSU và thiết lập hệ thống máy chủ xác thực tin cậy một cách khoa học.
  • Giảng viên, nghiên cứu sinh và học viên cao học chuyên ngành Khoa học Máy tính: Tài liệu tham khảo chuẩn mực về toán học đường cong Elliptic, mật mã dựa trên phép ghép cặp (PBC) và các phương pháp chứng minh an toàn mật mã trước các cuộc tấn công giả mạo.

Câu hỏi thường gặp

  • Tại sao việc truyền phát thông điệp trong mạng VANET truyền thống lại dễ bị tấn công quyền riêng tư? Trong mạng VANET thông thường, các gói tin an toàn đường bộ chứa định danh xe (ID) và vị trí địa lý được phát sóng dưới dạng văn bản rõ. Kẻ tấn công có thể thu thập các gói tin này để lập bản đồ di chuyển, theo dõi thói quen sinh hoạt và lộ trình cá nhân của chủ phương tiện một cách trái phép.

  • Đường cong BLS12-381 đem lại lợi ích gì vượt trội so với các chuẩn mật mã cũ? BLS12-381 cung cấp mức an toàn 128-bit với kích thước khóa và chữ ký cực ngắn. Nhờ kỹ thuật nén điểm, dữ liệu trên nhóm G1 chỉ tốn 48 bytes và nhóm G2 tốn 96 bytes, giúp tiết kiệm 50% băng thông truyền tải và hỗ trợ gộp hàng trăm chữ ký lại để xác thực trong một lần tính toán.

  • Hệ thống tự xác thực duy trì hoạt động như thế nào khi xe đi vào vùng mất sóng viễn thông? Do phương tiện đã nhận thông tin bí mật từ TA ngay trong bước đăng ký ban đầu và lưu trữ cục bộ, OBU có thể tự tạo các định danh giả hợp lệ và tự ký thông điệp. Các xe xung quanh sử dụng phép toán ghép cặp Bilinear Pairing để xác thực trực tiếp thông điệp mà không cần kết nối Internet về máy chủ TA.

  • Làm thế nào hệ thống phát hiện và loại bỏ một phương tiện có hành vi độc hại? Khi phát hiện phương tiện phát tán tin giả hoặc vi phạm an toàn, cơ quan thẩm quyền (TA) có thể khôi phục danh tính thực từ định danh giả và kích hoạt cập nhật Danh sách thu hồi (RL) trên Hợp đồng thông minh Blockchain, vô hiệu hóa quyền tự xác thực của xe đó trên toàn mạng lưới.

  • Blockchain đóng vai trò gì trong việc giải quyết vấn đề nút thắt cổ chai của hệ thống giao thông? Blockchain thay thế máy chủ TA trung tâm trong việc lưu trữ và công bố bảng ánh xạ khóa công khai cùng danh sách thu hồi. Smart Contract tự động phản hồi các yêu cầu kiểm tra trạng thái một cách phi tập trung, ngăn chặn hoàn toàn nguy cơ sập toàn bộ hệ thống khi có hàng chục nghìn lượt xe truy cập đồng thời.

Kết luận

  • Luận văn đã giải quyết triệt để ba bài toán hóc búa nhất của hệ thống giao thông thông minh: Quyền riêng tư (Privacy), Khả năng kết nối (Connectivity) và Nút thắt cổ chai (Bottleneck).
  • Đề xuất thành công lược đồ tự xác thực tiên tiến ứng dụng Chữ ký số BLS/BGLS trên đường cong BLS12-381, giúp nén 50% kích thước dữ liệu truyền thông và đạt mức an toàn mật mã 128-bit.
  • Triệt tiêu sự phụ thuộc vào máy chủ trung tâm bằng cách chỉ yêu cầu 1 lần kết nối duy nhất đến TA khi đăng ký, đảm bảo khả năng vận hành thông suốt 100% ngay cả khi mất sóng Internet.
  • Ứng dụng Hợp đồng thông minh trên Blockchain để phi tập trung hóa quy trình quản lý danh sách thu hồi, loại bỏ rủi ro điểm lỗi đơn lẻ của hệ thống ITS đô thị.
  • Hướng phát triển tiếp theo tập trung vào việc tối ưu hóa vi mã trên chip nhúng chuyên dụng và thử nghiệm trên mạng lưới giao thông thực tế quy mô lớn; các nhà nghiên cứu và doanh nghiệp quan tâm có thể liên hệ hợp tác để chuyển giao và ứng dụng công nghệ này vào các dự án giao thông thông minh tương lai.