$\underset{\mathcal{K}}{\text{Pr}}[\text{Enc}(K, m_0) = c]$ (และเช่นเดียวกัน $\underset{\mathcal{K}}{\text{Pr}}[\text{Enc}(K, m_1) = c]$) หมายถึง ความน่าจะเป็นที่ $\text{Enc}(k, m_0) = c$ที่คุณเลือกคีย์ $k\in \mathcal{K}$ สุ่ม. สังเกตว่าที่นี่ค่า $m_0$ และ $ค$ เป็น แก้ไขแล้วดังนั้นสิ่งที่เราต้องการทราบคือสำหรับการแก้ไขเหล่านี้ $m_0$ และ $ค$ความน่าจะเป็นที่คีย์สุ่มสม่ำเสมอคืออะไร $k$ ผลลัพธ์ในการเข้ารหัส $m_0$ ถึง $ค$.
ตามที่ @fgrieu ชี้ให้เห็นในความคิดเห็น ความน่าจะเป็นของเหตุการณ์ที่ไม่ต่อเนื่องนั้นเป็นเพียงจำนวนของกรณี "ที่น่าพอใจ" หารด้วยจำนวนกรณีทั้งหมด ดังนั้นที่นี่จะเป็น
$$\underset{\mathcal{K}}{\text{Pr}}[\text{Enc}(K, m_0) = c] = \frac{|\{k\in\mathcal{K} : \text {Enc}(k, m_0) = c\}|}{|\mathcal{K}|}.$$
ป.ล.: บางครั้งเรายังเพิ่ม การสุ่มของอัลกอริทึมการเข้ารหัส ลงในสมการ สิ่งนี้ไม่เกี่ยวข้องกับการสนทนานี้ แต่หมายความว่าคุณพิจารณาอัลกอริทึมการเข้ารหัสของแบบฟอร์ม $\text{Enc}(k, m, r)$, ที่ไหน $r\in\{0,1\}^\ell$ (สำหรับบางคน $\ell$) ถูกเลือกแบบสุ่มอย่างสม่ำเสมอ จากนั้นคุณก็เพิ่ม $r$ เป็นตัวห้อยในความน่าจะเป็น