Tổng quan nghiên cứu
Trong kỷ nguyên số hóa y tế và truyền thông phân tán, việc bảo vệ tính bảo mật và toàn vẹn của hồ sơ bệnh án điện tử đang đối mặt với nhiều thách thức lớn. Các phương pháp mã hóa truyền thống dựa trên hạ tầng khóa công khai PKI bộc lộ sự cồng kềnh khi phải quản lý và phân phối chứng chỉ số cho hàng nghìn người dùng. Khi áp dụng mô hình ký trước mã hóa sau trên kênh phát quảng bá, chi phí tính toán tăng gấp đôi và kích thước bản mã mở rộng tỷ lệ thuận với số lượng người nhận.
Luận văn thạc sĩ khoa học máy tính với đề tài phát triển lược đồ ký mã phát quảng bá dựa trên định danh (IBBS) của tác giả Đặng Thu Hiền, dưới sự hướng dẫn của Phó Giáo sư Trịnh Nhật Tiến tại Trường Đại học Công nghệ, Đại học Quốc gia Hà Nội, đã giải quyết triệt để rào cản này. Nghiên cứu tập trung xây dựng mô hình toán học tối ưu cho phép một máy phát có thể đóng gói đồng thời chữ ký số và khóa mã hóa trong một bước tính toán duy nhất tới một nhóm người nhận xác định.
Phạm vi thực nghiệm được triển khai trên môi trường máy trạm UNIX với tệp tin thử nghiệm chuẩn dung lượng 100 KB, kiểm thử trên các quy mô nhóm nhận từ 100 đến 5000 thực thể. Kết quả nghiên cứu mang lại ý nghĩa đột phá khi giảm độ nở của bản mã xuống mức cố định chỉ 240 KB khi truyền tới 5000 người dùng, thay vì phình to lên tới 4755 KB như lược đồ của Boyen. Đóng góp cốt lõi của đề tài là thiết lập mô hình tích hợp lược đồ ký mã định danh với kỹ thuật thủy vân số nhằm chia sẻ ảnh y tế an toàn, bảo toàn 100% độ chính xác dữ liệu chẩn đoán lâm sà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 được xây dựng trên nền tảng mật mã học dựa trên định danh do Shamir đề xuất từ năm 1984, kết hợp với các bước tiến về cặp ghép song tuyến tính trên đường cong elip của Boneh và Franklin. Mô hình sử dụng ánh xạ song tuyến tính giữa hai nhóm cộng cyclic và nhóm nhân cyclic cùng bậc nguyên tố để thiết lập các giao thức trao đổi khóa công khai không phụ thuộc chứng chỉ số.
Bên cạnh đó, nghiên cứu kế thừa mô hình ký mã phát quảng bá cùng các bài toán độ phức tạp tính toán kinh điển bao gồm bài toán số mũ Diffie-Hellman tổng quát và bài toán Diffie-Hellman mạnh cấp q. Tính vững chắc về mặt an toàn của lược đồ được chứng minh thông qua Bổ đề rẽ nhánh của Pointcheval và Stern trong mô hình Oracle ngẫu nhiên. Bốn khái niệm trọng tâm xuyên suốt bao gồm tính bảo mật thông điệp trước tấn công chọn bản mã có chọn lọc định danh, tính không thể giả mạo trước tấn công chọn thông điệp có chọn lọc định danh, tính xác thực bản mã công khai và tính kiểm minh công khai.
Phương pháp nghiên cứu
Tác giả áp dụng phương pháp nghiên cứu mô hình hóa toán học kết hợp kiểm chứng thực nghiệm bằng lập trình hệ thống. Cỡ mẫu đánh giá hiệu năng bao gồm 4 kịch bản quy mô người nhận tăng dần: 100, 500, 1000 và 5000 người dùng, với tập dữ liệu thông điệp chuẩn hóa 100 KB. Phương pháp chọn mẫu theo thang bậc quy mô lũy tiến được lựa chọn nhằm đo lường chính xác sự biến thiên của chi phí truyền thông và độ trễ xử lý khi mở rộng mạng lưới phân tán.
Về phương diện cài đặt thực nghiệm, nghiên cứu sử dụng ngôn ngữ lập trình C trên nền tảng phần cứng CPU Pentium IV tốc độ 2.2 GHz chạy hệ điều hành UNIX. Các thư viện mật mã chuyên dụng được tích hợp gồm thư viện PBC xây dựng trên GMP để tính toán phép ghép cặp trên đường cong elip với độ dài trường hữu hạn 512 bit và bậc nhóm 160 bit, thư viện ZEN hỗ trợ tính toán đa thức trên trường hữu hạn, cùng thư viện OpenSSL đảm nhiệm mã hóa đối xứng AES 256 bit và hàm băm bảo mật SHA1. Phương pháp phân tích đối chuẩn thực nghiệm được chọn vì cho phép so sánh định lượng trực tiếp chi phí thời gian tính toán và dung lượng bản mã giữa lược đồ đề xuất với các công trình tiêu biểu của Boyen, Yu cùng cộng sự và Hassan cùng cộng sự.
Kết quả nghiên cứu và thảo luận
Những phát hiện chính
Lược đồ ký mã định danh đề xuất mang lại hiệu suất vượt trội về cả dung lượng bản mã lẫn tốc độ thực thi, được thể hiện qua các số liệu đo lường cụ thể:
- Tối ưu hóa kích thước bản mã: Bản mã sau ký mã có kích thước cố định độc lập với số lượng người nhận. Với tệp tin gốc 100 KB truyền cho 100 người nhận, kích thước bản mã chỉ đạt 106 KB (tăng thêm 6 KB). Khi mở rộng lên 5000 người nhận, kích thước bản mã là 340 KB, trong khi lược đồ của Boyen yêu cầu tới 4855 KB và lược đồ của Hassan cùng cộng sự yêu cầu 3233 KB, giúp tiết kiệm tới 89.5% đến 93% băng thông đường truyền.
- Tiết giảm chi phí tính toán phát quảng bá: Giai đoạn ký mã hoàn toàn không sử dụng phép tính cặp ghép vốn rất tốn tài nguyên. Thời gian ký mã cho 100 người nhận chỉ mất 1192 mili giây, nhanh hơn 56.4% so với mức 2734 mili giây của Hassan cùng cộng sự. Ở quy mô 5000 người nhận, thời gian ký mã chỉ là 73954 mili giây, giảm 67.8% so với mức 230046 mili giây của Boyen.
- Thiết lập tính năng xác thực công khai: Bất kỳ bên thứ ba hoặc tường lửa trung gian nào cũng có thể kiểm tra tính hợp lệ và nguồn gốc bản mã thông qua 3 phép ghép cặp mà không cần giải mã thông điệp hay yêu cầu khóa riêng của người nhận.
Thảo luận kết quả
Các phát hiện thực nghiệm minh chứng rằng việc loại bỏ phép toán cặp ghép trong pha ký mã giúp giảm tải đáng kể cho thiết bị phát sóng, đặc biệt hữu ích cho các trạm y tế hoặc thiết bị di động có cấu hình hạn chế. Mặc dù thời gian mở ký mã của người nhận đòi hỏi 3 phép tính cặp ghép và các phép nhân đa thức, khiến độ trễ giải mã ở quy mô 5000 người nhận là 62345 mili giây, nhưng tổng thời gian xử lý toàn trình của hệ thống vẫn đạt 136299 mili giây, duy trì tốc độ nhanh nhất so với 245146 mili giây của Boyen và 142948 mili giây của Hassan cùng cộng sự.
Nếu biểu diễn dữ liệu qua biểu đồ đường tương quan giữa dung lượng bản mã và số lượng người nhận, đường đồ thị của lược đồ đề xuất duy trì độ dốc xấp xỉ bằng không, trong khi các lược đồ đối chuẩn khác tăng tuyến tính theo cấp số nhân. Trong mô hình ứng dụng chia sẻ ảnh y tế, dữ liệu bệnh án sau khi ký mã được nhúng trực tiếp vào cấu trúc ảnh chẩn đoán thông qua thuật toán thủy vân số. Cơ chế này loại bỏ hoàn toàn nguy cơ nhầm lẫn hồ sơ bệnh án giữa các bệnh nhân, đồng thời đảm bảo an toàn tuyệt đối khi phân phối ảnh chụp X-quang, MRI qua mạng Internet công cộng.
Đề xuất và khuyến nghị
- Mở rộng cấu trúc phân cấp cho hệ thống: Khuyến nghị các cơ quan nghiên cứu mật mã tiến hành phát triển mô hình ký mã phát quảng bá định danh theo cấu trúc cây phân cấp trong vòng 12 đến 18 tháng tới, nhằm phân tán quyền lực của máy chủ tạo khóa riêng trung tâm và phục vụ mạng lưới liên viện quy mô lớn.
- Nâng cấp không gian tham số mật mã an toàn: Đề xuất các kỹ sư an toàn thông tin chuyển đổi tham số đường cong elip từ mức độ dài 512 bit sang các đường cong thân thiện cặp ghép chuẩn 256 bit theo khuyến nghị mới của viện công nghệ quốc tế trong thời hạn 6 đến 9 tháng, nâng mức an toàn tổng thể tương đương khóa đối xứng 128 bit.
- Chuẩn hóa tích hợp vào hạ tầng lưu trữ y tế: Ban công nghệ thông tin tại các bệnh viện tuyến trung ương cần xây dựng cổng giao tiếp tích hợp module ký mã thủy vân số vào hệ thống quản lý lưu trữ và truyền hình ảnh y tế chuẩn DICOM và PACS trong vòng 12 tháng, bảo đảm 100% hồ sơ truyền liên khoa được bảo vệ toàn vẹn.
- Tối ưu hóa xử lý tính toán phần cứng: Đề xuất các nhóm nghiên cứu hệ thống nhúng áp dụng các kỹ thuật tính toán song song trên GPU hoặc chip FPGA nhằm tăng tốc độ tính toán đa thức trường hữu hạn, mục tiêu cắt giảm ít nhất 50% thời gian mở ký mã cho các thiết bị đầu cuối cầm tay trong vòng 6 tháng.
Đối tượng nên tham khảo luận văn
- Kỹ sư an toàn thông tin và chuyên gia mật mã học: Tiếp cận phương pháp chứng minh an toàn toán học chặt chẽ trên mô hình Oracle ngẫu nhiên, làm chủ kỹ thuật tối ưu hóa cặp ghép song tuyến tính và bổ đề rẽ nhánh cho các bài toán phát quảng bá.
- Chuyên gia kiến trúc hệ thống y tế điện tử: Tham khảo mô hình tích hợp ký mã và thủy vân số để triển khai giải pháp lưu trữ, trao đổi bệnh án điện tử và hình ảnh y khoa an toàn theo đúng tiêu chuẩn bảo mật dữ liệu y tế.
- Học viên cao học và nghiên cứu sinh ngành Khoa học máy tính: Sử dụng làm tài liệu tham khảo mẫu mực về cấu trúc thiết kế giao thức mật mã, phương pháp đo kiểm thực nghiệm trên môi trường máy chủ UNIX với các thư viện mã nguồn mở chuyên sâu.
- Nhà phát triển giải pháp bảo mật mạng và điện toán đám mây: Ứng dụng thuộc tính xác thực bản mã công khai để xây dựng tường lửa thông minh, cổng kiểm duyệt dữ liệu phân tán cho các dịch vụ truyền hình trả tiền, chia sẻ tệp mã hóa và mạng phân phối nội dung đa kênh.
Câu hỏi thường gặp
Lược đồ ký mã định danh giải quyết hạn chế gì của hệ thống PKI truyền thống?
Lược đồ sử dụng trực tiếp các thông tin định danh duy nhất của người dùng như địa chỉ email hoặc mã định danh làm khóa công khai. Cơ chế này loại bỏ hoàn toàn nhu cầu khởi tạo, phân phối, lưu trữ và xác thực chứng chỉ số công cộng, giúp cắt giảm 100% độ trễ kiểm tra tính hợp lệ của chứng chỉ trong các giao dịch phát tán dữ liệu quy mô lớn.
Tại sao lược đồ này đạt được kích thước bản mã không đổi dù số người nhận tăng lên?
Lược đồ đóng gói các thông số nhóm người nhận vào một cấu trúc đa thức trên trường hữu hạn và tính toán giá trị đại diện duy nhất trên nhóm nhân. Do đó, phần tải mật mã chính chỉ gồm 2 phần tử thuộc nhóm cộng thứ nhất và 2 phần tử thuộc nhóm cộng thứ hai, giữ cho độ dài bản mã không đổi ở mức cố định mà không phụ thuộc vào số lượng người nhận.
Tính năng xác thực bản mã công khai mang lại lợi ích cụ thể nào cho mạng phân phối?
Tính năng này cho phép bất kỳ trạm trung gian hoặc thiết bị định tuyến nào trên mạng kiểm tra tính xác thực về nguồn gốc và tính toàn vẹn của gói tin mã hóa thông qua phương trình cặp ghép công khai. Quá trình kiểm tra này diễn ra tự động mà không cần giải mã nội dung và không đòi hỏi sự hỗ trợ từ khóa riêng của người nhận.
Mô hình kết hợp ký mã và thủy vân số bảo vệ dữ liệu y tế như thế nào trong thực tế?
Thông tin chẩn đoán và dữ liệu bệnh án nhạy cảm của bệnh nhân được ký mã an toàn trước, sau đó toàn bộ khối dữ liệu này được nhúng trực tiếp vào các điểm ảnh của ảnh y tế bằng kỹ thuật thủy vân. Giải pháp này giúp gắn kết vĩnh viễn dữ liệu bệnh nhân với bức ảnh gốc, loại bỏ triệt để rủi ro nhầm lẫn hồ sơ trong các buổi hội chẩn từ xa.
Lược đồ có đáp ứng tốt yêu cầu hiệu năng khi mở rộng lên quy mô hàng nghìn người nhận không?
Hoàn toàn đáp ứng tốt. Kết quả thực nghiệm với 5000 người nhận cho thấy tổng thời gian thực thi toàn trình chỉ mất 136299 mili giây và kích thước bản mã chỉ là 340 KB. Lược đồ tiết kiệm gần 4500 KB dung lượng truyền tải so với các giải pháp truyền thống, đảm bảo khả năng mở rộng tối ưu trên các đường truyền băng thông hạn chế.
Kết luận
- Luận văn đã thiết kế thành công lược đồ ký mã phát quảng bá dựa trên định danh với kích thước bản mã cố định và không sử dụng phép ghép cặp trong pha ký mã.
- Đạt được đầy đủ các thuộc tính an toàn gồm tính bảo mật thông điệp và tính không thể giả mạo chữ ký, được chứng minh toán học chặt chẽ dựa trên bài toán GDHE và q-SDH.
- Tiên phong cung cấp tính năng xác thực bản mã công khai, tối ưu hóa toàn diện cho việc kiểm soát dữ liệu tại các cổng tường lửa mạng phân tán.
- Đề xuất mô hình đột phá kết hợp ký mã và thủy vân số, giải quyết trọn vẹn bài toán bảo mật và chống sai lệch thông tin trong chia sẻ ảnh y tế điện tử.
- Hướng nghiên cứu tiếp theo sẽ tập trung xây dựng mô hình ký mã định danh phân cấp và tối ưu hóa giải thuật giải mã trên phần cứng chuyên dụng trong vòng 12 tháng tới; các nhà nghiên cứu và doanh nghiệp công nghệ y tế có thể ứng dụng ngay mô hình này để nâng cao tính an toàn cho hệ thống y tế số.