Bài viết phân tích và chứng minh tính đúng đắn, chối từ thuyết phục và an toàn IND-CPA của một phương pháp mã hóa có thể chối từ với quá trình truyền tin mật dựa trên giao thức ba bước Shamir sử dụng thuật toán mã hóa lũy thừa modulo Pohlig-Hellman. | Nguyễn Đức Tâm TÍNH AN TOÀN IND-CPA CỦA PHƯƠNG PHÁP MÃ HÓA CÓ THỂ CHỐI TỪ DỰA TRÊN GIAO THỨC BA BƯỚC SHAMIR Nguyễn Đức Tâm Học viện Kỹ thuật mật mã Ban Cơ yếu Chính phủ Tóm tắt Nội dung bài báo phân tích và chứng minh các tấn công cưỡng ép chủ động cần bổ sung vào trong tính đúng đắn chối từ thuyết phục và an toàn IND-CPA các giao thức MHCTCT thủ tục xác thực bên gửi và bên của một phương pháp mã hóa có thể chối từ với quá trình nhận 10 . truyền tin mật dựa trên giao thức ba bước Shamir sử dụng Trong bài báo 11 đã đề xuất phương pháp mã hóa thuật toán mã hóa lũy thừa modulo Pohlig-Hellman. có thể chối từ sử dụng thuật toán lũy thừa modulo Pohlig- Phương pháp mã hóa có thể chối từ này đã được đề xuất Hellman có tính chất giao hoán trong đó thuật toán mới trong bài báo 11 nhưng chưa được chứng minh các tính được mô tả tổng quát về phương pháp còn các tính chất chất cơ bản của một giao thức mã hóa có thể chối chưa được chứng minh. Bài báo này sẽ đi mô tả chi tiết quá trình thực hiện Từ khóa Mã hóa có thể chối từ mã hóa xác suất mã giao thức mã hóa giải mã và thực hiện chối từ khi bị tấn hóa giả xác suất mã hóa giao hoán giao thức ba bước công cưỡng ép đồng thời phân tích và chứng minh tính Shamir thuật toán Pohlig-Hellman đúng đắn tính chối từ thuyết phục và an toàn IND-CPA của phương pháp được đề xuất trong 11 . Trong nội dung I. PHẦN MỞ ĐẦU bài báo Phần II mô tả mô hình truyền tin và ngữ cảnh tấn công. Phần III giới thiệu một số thuật toán sử dụng trong Các kỹ thuật mã hóa thông thường hiện nay nhằm phương pháp đề xuất. Phần IV mô tả lại chi tiết giao thức bảo vệ tính bí mật an toàn xác thực của thông tin khi lưu thực hiện phương pháp mã hóa có thể chối từ trong bài trữ và truyền thông chống lại các tấn công nhằm thu tin báo 11 . Phần V là một số định nghĩa quan trọng về độ thám mã. Mã hóa có thể chối từ MHCTCT là một kỹ an toàn không phân biệt tính toán. Phần VI chứng minh thuật mật mã với một cách tiếp cận kỹ thuật khác biệt với tính đúng đắn chối
