ฉันไม่มีคำถามเฉพาะเจาะจงมากนัก แต่การลดทอนเป็นชุดที่อ่อนแอกว่าของฉัน และฉันสงสัยว่ามีรูปแบบ MAC ที่ปลอดภัยหรือไม่ และ MAC ที่ได้รับมาซึ่งใช้ MAC แต่แก้ไขด้วยวิธีใดวิธีหนึ่ง คุณจะพิสูจน์ได้อย่างไร MAC นั้นปลอดภัยผ่านการลดขนาดหรือไม่ ฉันรู้วิธีการลด PRG และ PRF แต่ไม่แน่ใจว่าจะใช้กับ MAC อย่างไร ฉันไม่มีตัวอย่างที่ชัดเจน แต่คำแนะนำของกระบวนการทั่วไปจะเป็นประโยชน์ ขอบคุณ!
ตัวอย่างง่ายๆ มีดังนี้ สมมติว่าคุณมีรูปแบบ MAC ที่ปลอดภัย $M=(K,T,V)$ ด้วยอัลกอริทึม keygen การติดแท็กและการตรวจสอบ จากนั้นกำหนดโครงร่างใหม่ $M'=(K,T',V')$ กับ $T'(k,m)=T(k,m)\|s$ สำหรับสตริงคงที่ $s$ และ $V'$ ตรวจสอบด้วยการปฏิเสธสำหรับการมีอยู่ของ $s$ ก่อนกลับอะไรก็ตาม $วี$ จะกลับมาในอินพุตที่สั้นลง
การลดความปลอดภัยสำหรับ $M'$ โดยปกติแล้วจะเป็นดังนี้: คุณได้รับศัตรู $\คณิตศาสตร์ A$ ต่อต้านการรักษาความปลอดภัย sEUF-CMA ของ $M'$ และจำเป็นต้องสร้าง $\คณิตศาสตร์แคล R$ เรียกใช้การทดสอบ sEUF-CMA เพื่อหยุดการทำงาน $M$ โดยใช้ $\คณิตศาสตร์ A$ เป็นกิจวัตรย่อย
สำหรับข้อความค้นหาของ MAC จาก $\คณิตศาสตร์ A$ จากนั้นคุณจะเดินหน้าและถอยหลัง คุณจะเพิ่ม $s$ ที่ส่วนท้ายของแท็ก
สำหรับการตรวจสอบการสืบค้นจาก $\คณิตศาสตร์ A$ จากนั้นคุณตรวจสอบว่า $s$ อยู่ที่ส่วนท้ายของแท็ก และหากไม่มี ให้ตอบกลับทันทีด้วยการปฏิเสธ และมิฉะนั้นก็ส่งต่อคู่แท็ก-ข้อความที่ถูกถอดซึ่งส่งต่อผลลัพธ์ด้วย
ถ้าสุดท้ายแล้ว $\คณิตศาสตร์ A$ ชนะ จำเป็นต้องส่งคำถามยืนยันที่ถูกต้องให้คุณ ซึ่งผ่านการยืนยันที่ส่งต่อ ซึ่งหมายถึงฝ่ายตรงข้ามที่ลดลงด้วย $\คณิตศาสตร์แคล R$ ได้รับรางวัล
คนส่วนใหญ่ไม่เข้าใจว่าการถามคำถามมากมายจะปลดล็อกการเรียนรู้และปรับปรุงความสัมพันธ์ระหว่างบุคคล ตัวอย่างเช่น ในการศึกษาของ Alison แม้ว่าผู้คนจะจำได้อย่างแม่นยำว่ามีคำถามกี่ข้อที่ถูกถามในการสนทนา แต่พวกเขาไม่เข้าใจความเชื่อมโยงระหว่างคำถามและความชอบ จากการศึกษาทั้ง 4 เรื่องที่ผู้เข้าร่วมมีส่วนร่วมในการสนทนาด้วยตนเองหรืออ่านบันทึกการสนทนาของผู้อื่น ผู้คนมักไม่ตระหนักว่าการถามคำถามจะมีอิทธิพลหรือมีอิทธิพลต่อระดับมิตรภาพระหว่างผู้สนทนา
