Điều kiện tương đương để bảo mật hoàn hảo hệ thống mật mã đối xứng

Tôi đã đọc về tính bí mật hoàn hảo trong các hệ thống tiền điện tử và tôi đã xem qua hai định nghĩa hóa ra lại tương đương nhau.

Đầu tiên là bí mật của Shannon:

Một hệ thống mật mã $(\cal K, \cal M$, $\text{Gen, Enc, Dec})$ được cho là có bí mật Shannon nếu cho tất cả các bản phân phối $\cal D$ trên $\cal M$ và cho tất cả $m\in\cal M, c\in \cal C$ $Pr_K[M=m| C=c]=Pr_K[M=m]$

ở đâu $K,M,C$ là các biến ngẫu nhiên có phân phối được cho bởi phân phối trên $\cal M, \cal K$.

Thứ hai là Bí mật tuyệt đối:

Một hệ thống mật mã $(\cal K, \cal M$, $\text{Gen, Enc, Dec})$ được cho là có bí mật hoàn hảo nếu cho tất cả $m_1,m_2\in\cal M, c\in \cal C$ $Pr_K[Enc(K,m_1)=c]=Pr_K[Enc(K,m_2)=c]$

Câu hỏi của tôi là nếu điều đó cũng tương đương với những điều sau:

cho tất cả $c_1,c_2 \in \cal C, m\in \cal M$:

$Pr_K[Dec(K,c_1)=m]=Pr_K[Dec(K,c_2)=m]$

Cảm ơn trước.