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 Shami