ฉันกำลังดู MAC ที่กำหนดไว้ดังนี้: $$\text{Mac}_k(m)=\langle r,f_k(r\oplus m)\range $$ ที่ไหน $r$ ได้รับการสุ่มเลือกอย่างสม่ำเสมอ (แต่ละครั้ง) และ $f_k$ เป็น PRF Vrfy เป็นแบบมาตรฐาน ฉันพยายามหักล้างว่าปลอดภัย (คำจำกัดความที่ปลอดภัยด้านล่าง)
เกม Mac-Forge กำหนดไว้ที่นี่:

และนอกจากนี้ยังมี:

ตอนนี้ การปลอมแปลงจะทำงานดังนี้: ผู้โจมตีเลือกสองข้อความ $m_1,m_2$ กับ $m_1\neq m_2$. จากนั้นเขาก็โทรหาออราเคิลพร้อมข้อความทั้งสอง (แยกกัน) และติดต่อกลับ $(m_1,t_1),(m_2,t_2)$. จากนั้นเขากลับมา: $$(r_1\oplus r_2\oplus m_1, \langle r_2, t_1\rangle) $$ แท็กนี้ใช้ได้เว้นแต่ $r_1\oบวก r_2\oบวก m_1$ เท่ากับ $m_1$ หรือ $m_2$. กรณีแรกเกิดขึ้นเมื่อ $r_1\oบวก r_2=0^n$ ซึ่งเกิดขึ้นด้วยความน่าจะเป็น $1/2^n$. กรณีที่สองเกิดขึ้นด้วยความน่าจะเป็น $1/2^n$ ด้วยเหตุผลเดียวกัน ใช้สหภาพผูกพัน: $$\Pr[r_1\oplus r_2 = 0^n \vee r_1\oplus r_2 = m_1\oplus m_2]\le \frac{2}{2^n}=\frac{1}{2^{n-1 }}$$ ดังนั้น: $$\Pr[\text{Mac-forge}_{\mathcal{A},\pi}(n)=1]> 1-\frac{1}{2^{n-1}}$$ ซึ่งไม่มีนัยสำคัญ