Score:2

จะพิสูจน์ความปลอดภัยได้อย่างไรหากวงจรถูกบดบังโดยIOï¼โดยที่อัลกอริทึมการสร้างคีย์ของการเข้ารหัสการทำงานถูกใช้ในวงจร

ธง uz

ฉันต้องการออกแบบโครงร่างโดยมีวงจร C0 ซึ่งถูกบดบังด้วยความสับสนที่แยกแยะไม่ออก (IO) ใน C0 คีย์หลักของการเข้ารหัสการทำงาน (FE) เป็นแบบเดินสาย ให้อินพุต z ถึง C0 เอาต์พุตคีย์ลับโดยใช้อัลกอริทึมการสร้างคีย์ของ FE C0 เป็นดังนี้:

C0(z)
{ เดินสาย: msk
  เอาต์พุต sk = FE.KeyGen(msk, z) 
}

จากนั้นให้ C' = IO(C0) แก่ผู้ใช้ ด้วย C' ผู้ใช้สามารถสร้างรหัสลับได้ด้วยตัวเอง

อย่างไรก็ตาม ฉันไม่ทราบวิธีการพิสูจน์ความปลอดภัย ด้วยความปลอดภัยจากการจำลอง FE.KeyGen จะถูกแทนที่ด้วยอัลกอริทึมที่สอดคล้องกัน S.KeyGen ของเครื่องจำลองเพื่อรับวงจรใหม่ C1:

C1(z)
{ เดินสาย: เซนต์
  เอาต์พุต sk = S.KeyGen(st, z) 
}

โดยที่ C' = IO(C1)

อย่างไรก็ตาม เนื่องจาก FE.KeyGen และ S.KeyGen ทั้งคู่มีความน่าจะเป็น จึงดูเหมือนว่ายากที่จะมั่นใจว่า C0(z) = C1(z) สำหรับ z ทั้งหมด

จะพิสูจน์ความปลอดภัยได้อย่างไร? หรือความน่าจะเป็นที่แยกไม่ออกทำให้งงงวย (pIO) ควรใช้?

โพสต์คำตอบ

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