Tổng quan nghiên cứu

Trong kỷ nguyên bùng nổ của công nghệ thông tin và truyền thông số, hơn 85% các giao dịch trực tuyến toàn cầu đòi hỏi cơ chế bảo mật nghiêm ngặt nhằm chống lại các nguy cơ xâm phạm dữ liệu nhạy cảm trên đường truyền. Mật mã hóa khóa đối xứng mang lại hiệu suất xử lý vượt trội khi có tốc độ thực thi nhanh hơn từ 30 đến 100 lần so với mật mã khóa công khai, nhưng việc phân phối khóa bí mật dùng chung lại là khâu trọng yếu và dễ bị tổn thương nhất. Kể từ khi Whitfield Diffie và Martin Hellman công bố giao thức trao đổi khóa bất đối xứng vào năm 1976, bài toán thiết lập khóa trên kênh truyền không an toàn đã tìm thấy nền móng giải quyết mang tính bước ngoặt, song giao thức gốc vẫn tồn tại điểm yếu chí tử trước các cuộc tấn công chủ động do thiếu cơ chế xác thực danh tính thực thể.

Đề tài luận văn thạc sĩ chuyên ngành Kỹ thuật Điện tử tại Trường Đại học Sư phạm Kỹ thuật Thành phố Hồ Chí Minh, hoàn thành vào tháng 4 năm 2014 dưới sự hướng dẫn khoa học của Phó Giáo sư Tiến sĩ Phạm Hồng Liên, tập trung giải quyết bài toán cốt lõi về xác thực và an toàn khóa phiên. Mục tiêu trọng tâm của nghiên cứu là phân tích sâu sắc các biến thể trao đổi khóa kinh điển, từ đó đề xuất giao thức cải tiến mang tên ASSRDH-DSA trên cơ sở tích hợp chữ ký số DSA vào giao thức Diffie-Hellman. Công trình nghiên cứu này giải quyết thành công điểm yếu lộ trạng thái phiên tồn tại trong giao thức của Liu và Li năm 2010, nâng cao 100% khả năng chống lại tấn công nghe lén chủ động và tăng cường số lượng khóa phiên sinh ra mà vẫn duy trì độ phức tạp tính toán ở mức tối ưu.

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 đại số trừu tượng và lý thuyết số hiện đại, trọng tâm là bài toán logarit rời rạc trên trường hữu hạn Zp với số nguyên tố lớn p có kích thước từ 512 bit đến 1024 bit. Mô hình nghiên cứu tích hợp hai trụ cột mật mã học: cơ chế thỏa thuận khóa Diffie-Hellman và giải thuật chữ ký số DSA theo tiêu chuẩn FIPS 186 do Viện Tiêu chuẩn và Công nghệ Quốc gia Hoa Kỳ ban hành. Khung lý thuyết khai thác triệt để 5 khái niệm nền tảng bao gồm: hệ thống mã hóa khóa đối xứng và bất đối xứng, bài toán phân tích thừa số nguyên tố, hàm băm một chiều an toàn như chuẩn SHA-1 dung lượng 160 bit và SHA-256 dung lượng 256 bit, cùng các cấp độ xác thực khóa ẩn và xác thực khóa hiện. Giải thuật ký số Elgamal và DSA đóng vai trò cốt lõi trong việc xác thực thực thể nguồn, đảm bảo tính toàn vẹn 100% của bản tin và ngăn chặn triệt để hành vi chối bỏ trách nhiệm trong môi trường mạng công cộng.

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

Tác giả kết hợp chặt chẽ giữa phương pháp phân tích toán học lý thuyết và phương pháp mô phỏng thực nghiệm phần mềm. Về mặt lý thuyết, phương pháp chọn mẫu có chủ đích được áp dụng trên tập mẫu gồm 5 lược đồ trao đổi khóa tiêu biểu trong lịch sử phát triển mật mã học từ năm 1994 đến năm 2010, bao gồm các công trình nghiên cứu của Arazi, Lein Harn, Phan, và Liu - Li. Lý do lựa chọn 5 giao thức này là vì chúng đại diện cho các bước tiến hóa quan trọng nhất trong nỗ lực kết hợp chữ ký số với Diffie-Hellman nhằm giải quyết bài toán người đứng giữa. Về mặt thực nghiệm, quá trình mô phỏng được lập trình và cài đặt trên môi trường Visual Studio 2010 với chu trình 4 bước trao đổi gói tin chi tiết, giúp trực quan hóa và kiểm chứng tính đúng đắn của thuật toán. Toàn bộ tiến trình nghiên cứu được triển khai xuyên suốt khóa đào tạo cao học từ năm 2011 đến tháng 4 năm 2014, mang lại các kết quả có độ tin cậy và giá trị khoa học cao.

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

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

Thứ nhất, nghiên cứu đã chỉ ra giao thức Arazi tồn tại lỗ hổng trước tấn công khóa biết, trong khi lược đồ của Lein Harn năm 2004 tuy khắc phục được tấn công khóa chia sẻ không biết nhưng lại thiếu hụt 2 tính năng chuẩn an toàn là tính an toàn phía trước và khả năng làm mới khóa.

Thứ hai, giao thức cải tiến của Liu và Li năm 2010 dù đáp ứng được yêu cầu làm mới khóa nhưng vẫn chưa thể khắc phục được nguy cơ lộ trạng thái khóa phiên, khiến 100% dữ liệu trao đổi trong phiên gặp rủi ro nếu các thông tin trạng thái tạm thời bị kẻ tấn công đánh cắp.

Thứ ba, tác giả đã xây dựng thành công giao thức mới ASSRDH-DSA với cơ chế phòng thủ vượt trội trước nguy cơ lộ trạng thái khóa phiên.

Thứ tư, giao thức cải tiến giúp gia tăng số lượng khóa phiên độc lập được sinh ra trong mỗi chu kỳ giao dịch, nâng cao hiệu quả bảo mật lên khoảng 50% so với các lược đồ truyền thống mà không làm tăng độ phức tạp tính toán, duy trì chi phí thực thi ở mức xấp xỉ O căn bậc hai của n tương đương với giao thức của Liu và Li.

Thảo luận kết quả

Kết quả đánh giá được thể hiện tường minh qua Bảng 3.1 và Bảng 3.2 trong công trình nghiên cứu, so sánh và đối sánh chi tiết 6 thuộc tính an toàn thiết yếu giữa các giao thức mật mã qua từng thời kỳ. Dữ liệu từ bảng tổng hợp chứng minh giao thức ASSRDH-DSA vượt trội hoàn toàn khi thỏa mãn đầy đủ các tiêu chuẩn: an toàn khóa biết, chống tấn công khóa chia sẻ không biết, chống tấn công lặp lại khóa, an toàn phía trước, khả năng làm mới khóa và chống lộ trạng thái phiên. Nguyên nhân đạt được sự vượt trội này là nhờ việc cấu trúc lại quy trình trao đổi 4 tham số ngẫu nhiên kết hợp với thuật toán băm mật mã an toàn SHA-256, vô hiệu hóa hoàn toàn khả năng can thiệp của kẻ tấn công chủ động. Trên mô hình trực quan ở Hình 3.5, sơ đồ 4 bước tương tác giữa hai bên tham gia truyền thông cho thấy các gói tin được ký số DSA với tham số p 1024 bit và q 160 bit luôn đảm bảo sự chính xác tuyệt đối, không gây quá tải tài nguyên hệ thống mạng.

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

Thứ nhất, tích hợp giao thức trao đổi khóa ASSRDH-DSA vào các hạ tầng bảo mật mạng truyền dẫn và cổng thanh toán điện tử trong lộ trình 6 đến 12 tháng tới do các kỹ sư an ninh mạng và chuyên gia viễn thông chủ trì, nhằm giảm thiểu 100% rủi ro từ các cuộc tấn công nghe lén và tráo đổi khóa của kẻ đứng giữa.

Thứ hai, nâng cấp chuẩn thuật toán băm từ SHA-1 lên các phiên bản SHA-256 và SHA-512 theo đúng khuyến nghị của Viện Tiêu chuẩn và Công nghệ Quốc gia Hoa Kỳ NIST, mục tiêu hoàn thành trước năm 2015 do các nhà phát triển phần mềm hệ thống thực hiện nhằm gia tăng không gian khóa chống vét cạn lên 256 bit.

Thứ ba, chuẩn hóa quy trình phân phối chứng thư số và quản lý cặp khóa công khai với kích thước tham số p tối thiểu 2048 bit tại các trung tâm chứng thực khóa CA, tiến hành kiểm tra định kỳ 6 tháng một lần do các quản trị viên an toàn thông tin chịu trách nhiệm.

Thứ tư, phát triển bộ thư viện mã nguồn mở đóng gói giao thức trên các nền tảng công nghệ mới trong khung thời gian 18 tháng, hướng tới việc giảm 30% thời gian kiểm thử và triển khai các giải pháp trao đổi khóa bảo mật cho cộng đồng doanh nghiệp công nghệ thông tin.

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

Thứ nhất, học viên cao học và nghiên cứu sinh chuyên ngành An toàn thông tin, Kỹ thuật Viễn thông và Khoa học máy tính; tài liệu cung cấp hơn 70 trang khảo cứu chuyên sâu về lý thuyết số, đại số trừu tượng và các biến thể Diffie-Hellman phục vụ quá trình nghiên cứu học thuật.

Thứ hai, kỹ sư an ninh mạng và chuyên viên phát triển giải pháp bảo mật tại các ngân hàng và tổ chức tài chính; sử dụng mô hình mô phỏng trên Visual Studio 2010 để ứng dụng thiết lập các kênh truyền dữ liệu an toàn đạt tiêu chuẩn mật mã quốc tế.

Thứ ba, giảng viên đại học và các chuyên gia nghiên cứu mật mã học; sử dụng hệ thống phân tích đối sánh 5 giao thức kinh điển làm giáo trình giảng dạy chuyên đề an toàn dữ liệu và chữ ký số.

Thứ tư, kiến trúc sư bảo mật hệ thống thông tin tại các doanh nghiệp viễn thông; tham khảo giải pháp tối ưu hóa khóa phiên để triển khai các giao thức truyền thông bảo mật cho mạng lưới quy mô trên 10.000 thiết bị kết nối.

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

Giao thức Diffie-Hellman nguyên bản gặp phải nhược điểm lớn nào?

Giao thức Diffie-Hellman công bố năm 1976 giải quyết xuất sắc bài toán chia sẻ khóa trên kênh truyền công cộng nhưng không tích hợp cơ chế xác thực danh tính. Kẻ tấn công đứng giữa có thể dễ dàng chặn bắt gói tin, tráo đổi giá trị khóa công khai và giải mã toàn bộ dữ liệu trao đổi mà hai bên không hề hay biết.

Điểm cải tiến mang tính đột phá của giao thức ASSRDH-DSA là gì?

Giao thức ASSRDH-DSA khắc phục triệt để lỗ hổng lộ trạng thái phiên từng tồn tại trong lược đồ Liu và Li năm 2010. Bằng cách kết hợp linh hoạt giữa trao đổi khóa Diffie-Hellman và chữ ký số DSA 160 bit, giao thức đảm bảo đồng thời 6 tính năng an toàn chuẩn mà không làm phát sinh thêm chi phí tính toán.

Tại sao chuẩn băm SHA-1 không còn được khuyến khích sử dụng?

Sau khi các nhà nghiên cứu công bố phương pháp tấn công đụng độ vào năm 2005, thuật toán băm SHA-1 với độ dài 160 bit không còn đảm bảo tính an toàn trước các kỹ thuật thám mã hiện đại. Các hệ thống bảo mật hiện nay đều được định hướng chuyển dịch sang các hàm băm mạnh mẽ hơn như SHA-256 hoặc SHA-512.

Mật mã khóa đối xứng và bất đối xứng phối hợp với nhau như thế nào?

Mật mã khóa đối xứng có tốc độ xử lý nhanh hơn từ 30 đến 100 lần so với mật mã khóa bất đối xứng. Do đó, trong thực tế các bên liên lạc sử dụng mật mã bất đối xứng để xác thực và trao đổi một khóa phiên bí mật, sau đó sử dụng khóa phiên đối xứng này để mã hóa toàn bộ dữ liệu truyền tải nhằm tối ưu hiệu năng.

Giao thức cải tiến trong luận văn được mô phỏng trên môi trường nào?

Tác giả đã lập trình mô phỏng toàn diện cơ chế hoạt động của giao thức trên nền tảng Visual Studio 2010. Quá trình kiểm nghiệm chu trình 4 bước gửi nhận dữ liệu và tính toán đại số với modulo p 1024 bit đã chứng minh tính khả thi, tính chính xác và độ ổn định cao của giải pháp đề xuất.

Kết luận

  • Luận văn hệ thống hóa toàn diện cơ sở toán học mật mã và phân tích sâu sắc 5 giao thức trao đổi khóa kinh điển giai đoạn từ năm 1976 đến 2010.
  • Đề xuất thành công giao thức cải tiến ASSRDH-DSA kết hợp giữa Diffie-Hellman và DSA, khắc phục hoàn toàn lỗ hổng lộ trạng thái phiên.
  • Tăng cường số lượng khóa phiên và nâng cao hiệu quả bảo vệ dữ liệu lên khoảng 50% nhưng vẫn duy trì độ phức tạp tính toán tối ưu ở mức O căn bậc hai của n.
  • Xây dựng chương trình mô phỏng 4 bước vận hành trực quan và chính xác trên môi trường lập trình Visual Studio 2010.
  • Đóng góp nguồn tài liệu tham khảo giá trị với hơn 70 trang nội dung học thuật cho ngành mật mã và an toàn thông tin tại Việt Nam.

Trong giai đoạn 2015 - 2020, hướng mở rộng tiếp theo của đề tài là triển khai giao thức trên hệ mật đường cong Elliptic ECC nhằm rút ngắn kích thước khóa xuống 256 bit mà vẫn duy trì độ an toàn tương đương. Hãy khám phá và ứng dụng ngay các phát kiến từ luận văn để nâng cấp hệ thống an ninh thông tin của tổ chức lên chuẩn mực bảo mật mới.