Score:0

ความเข้าใจผิดบางประการเกี่ยวกับ Security Proof กับ Oracle

ธง cn

ฉันมีคำถามเกี่ยวกับหลักฐานการรักษาความปลอดภัย สมมติว่าฉันพิสูจน์ความสัมพันธ์ต่อไปนี้ นั่นคือฉันพิสูจน์แล้วว่า $Adv_A \le Adv_A^{O} \le Adv_B$โดยที่ A,B คือโครงร่างการเข้ารหัสบางส่วน และ O คือออราเคิล ฉันยังคิดว่า oracle O มีคุณสมบัติที่แข็งแกร่งมาก ตัวอย่างเช่น O สามารถแก้ DLP ในเวลาพหุนาม

ในทางกลับกันมีผู้โจมตี $\mathcal{A}$ ซึ่งสามารถทำลายแผน A ได้ นั่นคือ $Adv_A$ ไม่มีนัยสำคัญในพารามิเตอร์ความปลอดภัย

แม้ว่า $Adv_B$ ก็ไม่สำคัญเช่นกัน แต่เราไม่มี oracle O ในการตั้งค่านี้ วิธีทำลายโครงร่าง B โดยใช้ $\mathcal{A}$?

Score:0
ธง cn

คุณต้องดูรายละเอียดเพิ่มเติมในการพิสูจน์อสมการ $Adv^{O}_A \leq Adv_B$.

หลักฐานจะให้วิธีการสร้างอย่างชัดเจน $\คณิตศาสตร์แคล{B}$ จาก $\mathcal{A}^O$. ควรเขียนวิธีการจำลองการทดลองด้วย $A$ และออราเคิลที่ทรงพลัง $O$โดยเพียงมีปฏิสัมพันธ์กับการทดลองกับ $B$. และวิธีการใช้เอาต์พุตของ $\คณิตศาสตร์แคล{A}$ เพื่อเอาชนะเกมต่อ $B$.

filter hash avatar
cn flag
คุณหมายความว่ามันขึ้นอยู่กับวิธีการสร้างเกม? ฉันไม่มีตัวอย่างที่เป็นรูปธรรม ฉันแค่อยากรู้เกี่ยวกับกรณีนี้
Ievgeni avatar
cn flag
ไม่ มันขึ้นอยู่กับหลักฐานของคุณเกี่ยวกับงานอสมการ
filter hash avatar
cn flag
ขอบคุณ. อย่างที่ฉันเข้าใจ บางครั้ง B เสีย และบางครั้ง B ก็ยังปลอดภัย มีตัวอย่างหรือไม่?
Ievgeni avatar
cn flag
ไม่ ถ้า A เสีย B ก็จะเสียเช่นกัน แต่วิธีการทำลาย B ขึ้นอยู่กับการพิสูจน์ความไม่เท่าเทียมกัน (และวิธีทำลาย A)
filter hash avatar
cn flag
ขอบคุณ. ฉันจะหาตัวอย่าง

โพสต์คำตอบ

คนส่วนใหญ่ไม่เข้าใจว่าการถามคำถามมากมายจะปลดล็อกการเรียนรู้และปรับปรุงความสัมพันธ์ระหว่างบุคคล ตัวอย่างเช่น ในการศึกษาของ Alison แม้ว่าผู้คนจะจำได้อย่างแม่นยำว่ามีคำถามกี่ข้อที่ถูกถามในการสนทนา แต่พวกเขาไม่เข้าใจความเชื่อมโยงระหว่างคำถามและความชอบ จากการศึกษาทั้ง 4 เรื่องที่ผู้เข้าร่วมมีส่วนร่วมในการสนทนาด้วยตนเองหรืออ่านบันทึกการสนทนาของผู้อื่น ผู้คนมักไม่ตระหนักว่าการถามคำถามจะมีอิทธิพลหรือมีอิทธิพลต่อระดับมิตรภาพระหว่างผู้สนทนา