Tổng quan về luận án

Trong bối cảnh an ninh mạng ngày càng trở thành ưu tiên chiến lược quốc gia, luận án tiến sĩ toán học của Triệu Quang Phong (2023), thực hiện tại Viện Khoa học và Công nghệ Quân sự – Bộ Quốc phòng Việt Nam, đặt ra và giải quyết một trong những vấn đề cốt lõi của mật mã học hiện đại: xây dựng các lược đồ chữ ký số có an toàn chứng minh được (provable security) và thiết kế các giao thức trao đổi khóa có xác thực dựa trên nền tảng đó.

Research gap trung tâm được xác định rõ ràng: mặc dù ECDSA đã được Brown [25] chứng minh an toàn trong mô hình nhóm tổng quát (Generic Group Model), nhưng theo tuyên bố của chính tác giả luận án, "độ an toàn chứng minh được đối với GOST R 34.10-2012 vẫn là một vấn đề mở và chưa được chỉ ra trong bất cứ công trình nào". Khoảng trống này tạo thành điểm xuất phát cho toàn bộ hướng nghiên cứu.

Luận án đặt ra bốn mục tiêu nghiên cứu cụ thể, vận hành theo cấu trúc tuyến tính từ phân tích lý thuyết đến xây dựng và kiểm chứng: (1) phân tích thành phần mật mã và phương pháp chứng minh an toàn cho lược đồ chữ ký số; (2) nghiên cứu mô hình chứng minh an toàn cho giao thức trao đổi khóa; (3) đề xuất lược đồ chữ ký số mới đạt hiệu quả tính toán và an toàn chứng minh được; (4) xây dựng giao thức trao đổi khóa có xác thực đạt hiệu năng và các thuộc tính an toàn cơ bản gồm PFS, KCI-resistance và UKS-resistance.

Khung lý thuyết của nghiên cứu tích hợp ba hệ thống lý thuyết lớn: (i) lý thuyết EUF-CMA (Existential Unforgeability under Chosen Message Attack) của Goldwasser–Micali–Rivest [42]; (ii) nền tảng toán học của đường cong elliptic (Elliptic Curve Cryptography); (iii) họ giao thức SIGMA của Krawczyk [28], [29], [54] với cơ chế "SIGn-and-MAc". Nghiên cứu thuộc phạm vi Cơ sở toán học cho tin học, mã ngành 9 46 01 10, và có ý nghĩa trực tiếp với hạ tầng mật mã phục vụ an ninh – quốc phòng và Chính phủ điện tử tại Việt Nam.

Literature Review và Positioning

Các luồng nghiên cứu chính

Luồng thứ nhất về an toàn lý thuyết cho chữ ký số được khai mở bởi Goldwasser, Micali và Rivest (1984) [42] với bài báo kinh điển "A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks", đặt nền móng cho khái niệm EUF-CMA. Công trình này phân loại bốn mức nguy cơ giả mạo: phá vỡ hoàn toàn (total break), giả mạo vạn năng (universal forgery), giả mạo lựa chọn (selective forgery) và giả mạo tồn tại (existential forgery); đồng thời xác lập rằng kẻ tấn công mạnh nhất là kẻ thực hiện "adaptively chosen-message attack".

Luồng thứ hai tập trung vào các mô hình chứng minh an toàn. Fiat và Shamir [36] đề xuất mô hình bộ tiên tri ngẫu nhiên (Random Oracle Model – ROM); Brown [25] phát triển mô hình nhóm tổng quát (Generic Group Model – GGM) để chứng minh ECDSA; Varnovskii [76] đề xuất mô hình với thiết bị bảo vệ (Tamper-Proof Device Model) cho chữ ký kiểu GOST; Fersch và cộng sự [35] giới thiệu mô hình bộ tiên tri ngẫu nhiên song ánh (Bijective Random Oracle Model) cho DSA/ECDSA. Mỗi mô hình mang ưu và nhược điểm riêng: ROM quá lý tưởng hóa hàm băm; GGM lý tưởng hóa các phép toán nhóm; mô hình của Varnovskii yêu cầu thiết bị bảo vệ vật lý và dựa trên giả thiết nửa logarit rời rạc – một giả thiết mà "cho đến nay chưa có công trình nào phân tích một cách rõ ràng" [76].

Luồng thứ ba về giao thức trao đổi khóa có xác thực bắt đầu từ Diffie và cộng sự [33] với họ STS, tiếp nối bởi Blake-Wilson và Menezes [20] phát hiện tấn công UKS trực tuyến trên STS-MAC thông qua tính chất DSKS (Duplicate Signature Key Selection), và Canetti–Krawczyk [15, 27] chuẩn hóa mô hình an toàn CK. Krawczyk [54, 55] sau đó xây dựng họ SIGMA và chứng minh an toàn của HMQV trong biến thể mô hình CK.

Mâu thuẫn và tranh luận trong văn liệu

Một mâu thuẫn quan trọng được luận án khai thác: Stern và cộng sự [73] chỉ ra hai lỗi cấu trúc của ECDSA – "lỗi chữ ký kép" và "tính dễ uốn" – xuất phát từ tính chất đối xứng của hàm chuyển (conversion function) thỏa mãn f(-P) = f(P). Điều này mâu thuẫn với kết luận an toàn của Brown [25] trong GGM, cho thấy GGM có giới hạn phạm vi áp dụng. Một mâu thuẫn thứ hai là biện pháp của Blake-Wilson và Menezes [20] – đưa định danh vào trong chữ ký để ngăn tấn công UKS trực tuyến – bị Kim [12] chứng minh là vô hiệu khi dùng lược đồ chữ ký El Gamal.

Vị thế của nghiên cứu trong văn liệu quốc tế

So sánh với nghiên cứu quốc tế, luận án này định vị tại giao điểm của ba hướng chưa được giải quyết đồng thời: chứng minh an toàn cho GOST R 34.10-2012, khắc phục các yếu điểm cấu trúc của lược đồ kiểu ECDSA, và thiết kế giao thức trao đổi khóa vừa hiệu năng vừa đạt các thuộc tính an toàn toàn diện. Trong khi các nghiên cứu của Fersch và cộng sự [35] chỉ hứa hẹn mở rộng sang GOST mà chưa thực hiện được, luận án này thực thi bước đó thông qua hai biến thể GOST-I và GOST-II có chứng minh an toàn đầy đủ.

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

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

Đóng góp 1 – Phân tích và hệ thống hóa điều kiện bước lặp. Nghiên cứu tiến hành khảo sát bốn lược đồ chữ ký số trên đường cong elliptic (ECDSA, GOST R 34.10-2012, ECGDSA, EC-Schnorr) và trình bày kết quả có hệ thống trong Bảng 1. Đặc biệt, luận án chỉ ra một tấn công giả mạo vạn năng mới trên ECDSA khi điều kiện r ≠ 0 bị bỏ qua – khác với tấn công của Blake và cộng sự [21] ở chỗ tham số miền không do kẻ tấn công lựa chọn. Cụ thể: "Nhận thấy rằng, nếu một chữ ký số ECDSA dạng (0, s) được chấp nhận là hợp lệ trên một thông điệp nào đó, thì chúng ta sẽ luôn tạo ra được một chữ ký số hợp lệ (0, s') trên một thông điệp bất kỳ, mà dẫn đến ECDSA bị giả mạo vạn năng".

Đóng góp 2 – Chứng minh GOST R 34.10-2012 kháng hai lỗi của ECDSA. Nghiên cứu chứng minh hình thức rằng dưới giả thiết hàm băm có tính đều, GOST R 34.10-2012 kháng cả lỗi chữ ký kép (xác suất xảy ra cỡ 1/q – không đáng kể với q cỡ 256 hoặc 512 bit) lẫn tính dễ uốn (dẫn đến bài toán logarit rời rạc). Đây là một kết quả an toàn tích cực quan trọng chưa được ghi nhận trong các tài liệu trước đó.

Đóng góp 3 – Tổng quát hóa tấn công UKS cho lớp TEGTSS-II. Luận án tổng quát hóa kết quả của Kim [12] – vốn chỉ xét El Gamal – sang toàn bộ lớp chữ ký số kiểu TEGTSS-II (Mệnh đề 1.3). Kết quả này có hệ quả quan trọng: cấu trúc "SIG-into-MAC" không đảm bảo an toàn cho giao thức trao đổi khóa, bất kể lược đồ chữ ký cụ thể là gì.

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

Khung phân tích của luận án tích hợp ba lý thuyết: (1) lý thuyết EUF-CMA (Goldwasser–Micali–Rivest [42]); (2) lý thuyết TEGTSS/ECTEGTSS (Pointcheval và cộng sự [24]) với cơ chế mô phỏng quá trình ký cho phép quy về EUF-NMA; (3) lý thuyết mô hình CK và biến thể "đối tác định rõ sau" (Canetti–Krawczyk [15, 27]). Sự kết hợp này tạo ra một pipeline chứng minh an toàn nhất quán: từ lược đồ chữ ký an toàn EUF-CMA trong ROM đến giao thức trao đổi khóa an toàn trong mô hình CK. Điều kiện biên (boundary conditions) được xác định rõ: các kết quả an toàn phụ thuộc vào độ khó của bài toán logarit rời rạc trên đường cong elliptic và tính ngẫu nhiên của hàm băm trong mô hình ROM.

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

Thiết kế nghiên cứu

Nghiên cứu áp dụng triết học thực chứng toán học (mathematical positivism) kết hợp với phương pháp lập luận hình thức (formal reasoning). Thiết kế nghiên cứu là hỗn hợp lý thuyết – thực nghiệm (mixed theoretical-experimental): phần lý thuyết sử dụng phương pháp phân tích và tổng hợp lý thuyết cùng lập luận toán học hình thức; phần thực nghiệm đánh giá hiệu năng thông qua cài đặt phần mềm và đo lường thực tế.

Phạm vi nghiên cứu bao gồm bốn lớp lược đồ chữ ký số (ECDSA, GOST R 34.10-2012, TEGTSS, ECTEGTSS) và hai họ giao thức trao đổi khóa (STS, SIGMA). Đây không phải nghiên cứu có mẫu khảo sát người dùng mà là nghiên cứu lý thuyết – phân tích và xây dựng nguyên thủy mật mã.

Quy trình nghiên cứu rigorous

Giai đoạn 1 – Khảo sát và đánh giá: Phân tích điều kiện bước lặp và tính dễ uốn trên ECDSA, GOST R 34.10-2012, ECGDSA, EC-Schnorr (kết quả tóm tắt trong Bảng 1.1). Khảo sát tính chất an toàn của các giao thức STS-ENC, STS-MAC, ISO-STS-MAC trên năm tiêu chí: xác thực khóa ẩn, chứng thực khóa hiện, kháng UKS, PFS, kháng KCI (Bảng 1.2).

Giai đoạn 2 – Đề xuất lược đồ chữ ký số: Xây dựng hai biến thể GOST-I và GOST-II từ GOST R 34.10-2012, chứng minh an toàn EUF-CMA, đánh giá hiệu năng lý thuyết (Bảng 2.3) và thực nghiệm (Bảng 2.4). Đề xuất hai lược đồ chữ ký bó (batch signature) SBS-01 và SBS-02 dựa trên cây băm Merkle, so sánh hiệu năng với phiên bản thường (Bảng 2.5 và Bảng 2.6).

Giai đoạn 3 – Đề xuất giao thức trao đổi khóa: Xây dựng M-SIGMA và M1-SIGMA là hai biến thể của SIGMA, chứng minh hai tính chất P1 (an toàn trong mô hình AM) và P2 (an toàn khi kết hợp bộ xác thực MT), cài đặt phiên bản elliptic hóa trên nhóm điểm đường cong elliptic, so sánh hiệu năng (Bảng 3.7).

Triangulation và Validity

Triangulation lý thuyết đạt được thông qua việc kiểm chứng mỗi lược đồ/giao thức đề xuất dưới nhiều mô hình an toàn (ROM, GGM, mô hình CK). Construct validity được đảm bảo bằng cách sử dụng định nghĩa hình thức chuẩn của Goldwasser–Micali–Rivest [42] làm chuẩn đo lường. External validity được mở rộng thông qua cài đặt hiệu quả trên nhóm điểm đường cong elliptic, phù hợp với hạ tầng mật mã hiện đại (IPsec, SSL, TLS).

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

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

Phát hiện 1 – GOST-I và GOST-II đạt an toàn EUF-CMA. Hai biến thể được đề xuất là các lược đồ đầu tiên có nguồn gốc GOST R 34.10-2012 được chứng minh đạt an toàn EUF-CMA trong mô hình bộ tiên tri ngẫu nhiên. So sánh lý thuyết (Bảng 2.3) cho thấy GOST-I và GOST-II có hiệu năng tương đương GOST R 34.10-2012 gốc về số phép tính nhân điểm đường cong elliptic. Kết quả thực nghiệm (Bảng 2.4) xác nhận không có sự suy giảm hiệu năng đáng kể.

Phát hiện 2 – Lỗi phát biểu trong điều kiện 1-1 của TEGTSS-II. Luận án chỉ ra rằng điều kiện 1-1 trong công trình của Pointcheval và cộng sự [24] "được phát biểu chưa đủ". Cụ thể, trong trường hợp |H1| ≤ |H2|, theo nguyên tắc Dirichlet, tồn tại ít nhất hai bộ (e, f) và (e', f') thỏa mãn (h1(e, f), h2(e, f)) = (h1(e', f'), h2(e', f')). Điều kiện chính xác phải là điều kiện "gần 1-1" (nearly bijective): "ngoại trừ xác suất không đáng kể, thì với r và s cho trước chỉ tồn tại duy nhất một cặp (e, f)".

Phát hiện 3 – SBS-01 và SBS-02 giảm chi phí xác minh nhiều chữ ký đồng thời. Hai lược đồ chữ ký bó dựa trên cây băm Merkle cho phép xác minh một tập nhiều thông điệp với chi phí thấp hơn đáng kể so với xác minh tuần tự từng chữ ký. Bảng 2.5 thể hiện so sánh thực nghiệm hiệu năng với phiên bản thường.

Phát hiện 4 – M-SIGMA và M1-SIGMA vượt trội về hiệu năng so với SIGMA gốc. Bảng 3.7 so sánh hiệu năng cho thấy M-SIGMA và M1-SIGMA đạt được đầy đủ các thuộc tính an toàn (PFS, KCI-resistance, UKS-resistance, xác thực khóa ẩn, chứng thực khóa hiện) trong khi duy trì hiệu năng tính toán cạnh tranh. Các giao thức này được phân tích an toàn tường minh trong mô hình CK với đối tác định rõ sau.

Phát hiện 5 – Giao thức Lemograss-3 tồn tại lỗ hổng. Trong quá trình xem xét cài đặt thực tế, luận án phát hiện và mô tả tấn công trên giao thức Lemograss-3 đã được chuẩn hóa, đồng thời đề xuất cài đặt sửa đổi để khắc phục.

Implications đa chiều

Về lý thuyết: Kết quả của luận án đóng góp vào hai lý thuyết lớn: (1) lý thuyết an toàn chứng minh được cho lược đồ chữ ký số kiểu GOST – lấp đầy khoảng trống mà Varnovskii [76] thừa nhận còn bỏ ngỏ; (2) lý thuyết thiết kế giao thức trao đổi khóa dựa trên cơ chế SIGn-and-MAc, với bằng chứng rằng tích hợp SIG-into-MAC là không đủ.

Về phương pháp luận: Cách tiếp cận quy về EUF-NMA thông qua bộ mô phỏng (simulator) của quá trình ký – dựa trên [24], [67], [68] – được áp dụng một cách nhất quán và có thể tái sử dụng cho các lược đồ tương tự.

Về thực tiễn: Kết quả có thể ứng dụng trực tiếp trong hạ tầng mật mã phục vụ IPsec, SSL/TLS, hệ thống Chính phủ điện tử Việt Nam, và các ứng dụng blockchain hoặc e-voting yêu cầu chữ ký số xác thực cao.

Về chính sách: Các lược đồ GOST-I, GOST-II có thể được xem xét trong tiến trình chuẩn hóa mật mã quốc gia Việt Nam, đặc biệt trong bối cảnh Ban Cơ yếu Chính phủ đang phát triển hạ tầng khóa công khai (PKI) quốc gia.

Limitations và Future Research

Hạn chế 1 – Phụ thuộc mô hình lý tưởng hóa. Các chứng minh an toàn cho GOST-I, GOST-II và SBS-01, SBS-02 dựa trên mô hình bộ tiên tri ngẫu nhiên, trong đó hàm băm được lý tưởng hóa. Trong thực tế, hàm băm SHA-256 hay SHA-512 không hoàn toàn là hàm ngẫu nhiên, nên có khoảng cách giữa an toàn lý thuyết và an toàn triển khai.

Hạn chế 2 – Độ an toàn GOST R 34.10-2012 nguyên bản vẫn là vấn đề mở. Luận án xây dựng GOST-I và GOST-II là các biến thể có an toàn chứng minh được, nhưng chưa giải quyết câu hỏi liệu bản thân GOST R 34.10-2012 gốc có thể được chứng minh an toàn hay không.

Hạn chế 3 – Chưa đánh giá an toàn lượng tử. Các lược đồ đề xuất đều dựa trên bài toán logarit rời rạc trên đường cong elliptic – bài toán này sẽ bị phá vỡ bởi máy tính lượng tử đủ mạnh (thuật toán Shor). Luận án chưa xem xét khả năng chống lại các tấn công hậu lượng tử.

Hạn chế 4 – Giả thiết nửa logarit rời rạc chưa được phân tích. Mô hình Varnovskii [76] dựa trên giả thiết nửa logarit rời rạc, mà chính tác giả Varnovskii thừa nhận chưa được phân tích rõ ràng; luận án này cũng chưa làm rõ thêm về giả thiết đó.

Hướng nghiên cứu tương lai: (1) Chứng minh (hoặc bác bỏ) an toàn của GOST R 34.10-2012 nguyên bản trong mô hình mới; (2) Mở rộng khung phân tích sang mật mã hậu lượng tử (post-quantum cryptography) dựa trên lattice hoặc hash-based signatures; (3) Phát triển phiên bản lượng tử hóa của M-SIGMA và M1-SIGMA; (4) Nghiên cứu sâu hơn về giả thiết nửa logarit rời rạc và mối quan hệ của nó với logarit rời rạc; (5) Triển khai thực nghiệm quy mô lớn trên hạ tầng PKI thực tế để đánh giá tính khả dụng.

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

Tác động học thuật: Luận án giải quyết một bài toán mở được Varnovskii [76] tuyên bố vào thời điểm công bố, đặt nền tảng để mở ra hướng nghiên cứu về an toàn chứng minh được cho các chuẩn mật mã phương Đông (GOST, SM2 của Trung Quốc, KCDSA của Hàn Quốc). Kết quả tổng quát hóa tấn công UKS sang lớp TEGTSS-II có tiềm năng được tham chiếu rộng trong các nghiên cứu thiết kế giao thức trao đổi khóa.

Tác động công nghiệp: Các lược đồ GOST-I, GOST-II và giao thức M-SIGMA, M1-SIGMA có thể ứng dụng trong các hệ thống bảo mật thông tin quân sự, hệ thống định danh điện tử, nền tảng blockchain quốc gia và hạ tầng chứng thư số (digital certificate) cho các cơ quan nhà nước.

Tác động chính sách: Kết quả nghiên cứu cung cấp cơ sở khoa học cho Ban Cơ yếu Chính phủ trong việc lựa chọn và chuẩn hóa các thuật toán mật mã phù hợp với đặc thù an ninh quốc gia Việt Nam, thay thế hoặc bổ sung cho các chuẩn quốc tế (ECDSA, RSA) trong các ứng dụng đòi hỏi mức độ bảo mật cao nhất.

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

Nhà nghiên cứu tiến sĩ nghiên cứu mật mã học lý thuyết sẽ hưởng lợi từ framework chứng minh an toàn hệ thống và có thể mở rộng sang các chuẩn chữ ký số khác như SM2 (Trung Quốc) hoặc KCDSA (Hàn Quốc). Luận án cung cấp một mô hình nghiên cứu mẫu mực cho hướng an toàn chứng minh được tại Việt Nam – lĩnh vực mà theo tác giả "chưa được khai thác nhiều ở các công trình trong nước".

Nhà khoa học cấp cao trong lĩnh vực mật mã học và an toàn thông tin sẽ tìm thấy các đóng góp lý thuyết mới về điều kiện 1-1 của TEGTSS-II, kết quả kháng lỗi của GOST R 34.10-2012, và framework thiết kế giao thức trao đổi khóa theo cơ chế bộ xác thực MT.

Kỹ sư R&D an toàn thông tin tại các doanh nghiệp công nghệ có thể sử dụng trực tiếp các lược đồ SBS-01, SBS-02 để tối ưu hiệu năng xác minh chữ ký trong các hệ thống cần xử lý đồng thời nhiều giao dịch (blockchain, voting system, PKI).

Nhà hoạch định chính sách tại Ban Cơ yếu Chính phủ, Bộ Thông tin và Truyền thông, và Bộ Quốc phòng có thể sử dụng kết quả để đưa ra quyết định lựa chọn thuật toán mật mã quốc gia với cơ sở toán học vững chắc.

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

1. Đóng góp lý thuyết độc đáo nhất? Việc tổng quát hóa tấn công UKS trực tuyến sang toàn bộ lớp chữ ký kiểu TEGTSS-II (Mệnh đề 1.3) là đóng góp có tính tổng quát cao nhất. Kết quả này mở rộng công trình của Kim [12] từ El Gamal đơn lẻ sang một lớp rộng các lược đồ, bác bỏ niềm tin rằng việc đưa định danh vào chữ ký có thể khắc phục tấn công UKS.

2. Innovation về phương pháp luận? Luận án sử dụng kỹ thuật mô phỏng (simulation) quá trình ký – dựa trên [24], [67], [68] – để quy an toàn EUF-CMA về EUF-NMA, đây là cách tiếp cận hiệu quả hơn so với các chứng minh trực tiếp trong GGM của Brown [25] và phù hợp với thực tế hơn mô hình thiết bị bảo vệ của Varnovskii [76].

3. Phát hiện đáng ngạc nhiên nhất? Việc phát biểu trong [24] về điều kiện 1-1 của TEGTSS-II là không đầy đủ – một công trình nền tảng của lĩnh vực – là kết quả đáng ngạc nhiên nhất, có hệ quả trực tiếp đến tính đúng đắn của các lược đồ được xây dựng trên nền TEGTSS-II.

4. Giao thức tái lập có được cung cấp không? Phụ lục luận án trình bày các tham số cụ thể được sử dụng trong thực nghiệm đánh giá hiệu năng (bao gồm tham số đường cong elliptic và cấu hình thử nghiệm), đủ để tái lập kết quả thực nghiệm.

5. Agenda nghiên cứu 10 năm? Năm hướng mở được xác định: an toàn GOST gốc, mật mã hậu lượng tử, giả thiết nửa logarit rời rạc, mở rộng sang SM2/KCDSA, và triển khai PKI quy mô lớn – tạo thành một lộ trình nghiên cứu có thể kéo dài ít nhất một thập kỷ.

Kết luận

Luận án của Triệu Quang Phong (2023) tạo ra sáu đóng góp cụ thể và có thể kiểm chứng:

  1. Phân tích hệ thống điều kiện bước lặp trên bốn lược đồ chữ ký số (ECDSA, GOST R 34.10-2012, ECGDSA, EC-Schnorr), phát hiện tấn công giả mạo vạn năng mới không phụ thuộc tham số miền do kẻ tấn công kiểm soát.
  2. Chứng minh hình thức GOST R 34.10-2012 kháng hai lỗi cấu trúc của ECDSA (lỗi chữ ký kép và tính dễ uốn), đặt nền móng cho các biến thể an toàn.
  3. Đề xuất GOST-I và GOST-II – hai lược đồ chữ ký số đầu tiên có nguồn gốc GOST đạt an toàn EUF-CMA chứng minh được trong mô hình bộ tiên tri ngẫu nhiên, đồng thời duy trì hiệu năng tương đương chuẩn gốc.
  4. Xây dựng SBS-01 và SBS-02 – hai lược đồ chữ ký bó (batch signature) an toàn dựa trên cây băm Merkle, tối ưu cho các ứng dụng cần xác minh đồng thời nhiều thông điệp.
  5. Đề xuất M-SIGMA và M1-SIGMA – hai giao thức trao đổi khóa có xác thực đạt đầy đủ các thuộc tính PFS, KCI-resistance và UKS-resistance, với phiên bản elliptic hóa hiệu quả trên nhóm điểm đường cong elliptic.
  6. Tổng quát hóa tấn công UKS sang lớp TEGTSS-II và sửa lỗi phát biểu điều kiện 1-1 trong [24], đóng góp trực tiếp vào sự chính xác của lý thuyết nền tảng.

Paradigm advancement rõ ràng: nghiên cứu chuyển dịch hướng thiết kế mật mã tại Việt Nam từ tiếp cận "an toàn dựa trên thực nghiệm" sang "an toàn chứng minh được trong mô hình lý thuyết" – một chuyển dịch phương pháp luận có tầm ảnh hưởng lâu dài. Ba luồng nghiên cứu mới được mở ra: an toàn chứng minh được cho chuẩn mật mã phương Đông, thiết kế giao thức trao đổi khóa hậu lượng tử, và xây dựng bộ xác thực hiệu quả cho hạ tầng PKI quốc gia. Ở phạm vi quốc tế, kết quả này có tính tương đồng và đối thoại trực tiếp với các nghiên cứu của Fersch và cộng sự [35] về DSA/ECDSA, và với hướng nghiên cứu chuẩn hóa SM2 của Trung Quốc – nơi vấn đề an toàn chứng minh được cũng đang được tích cực giải quyết.