ฉันไม่ค่อยเข้าใจกรอบการทำงานของ UC เมื่อพิจารณาถึงโปรโตคอลที่ต้องพิสูจน์ ตอนนี้ฉันเพิ่งรู้ อันดับแรกเราควรเขียนฟังก์ชันการทำงานในอุดมคติ จากนั้นจึงเขียนโปรโตคอลที่เป็นรูปธรรม จากนั้นจึงพิสูจน์ความปลอดภัยของโปรโตคอลว่าตระหนักถึงฟังก์ชันการทำงานในอุดมคติโดยการสร้างตัวจำลองหลายๆ ตัว ฉันขอถามได้ไหมว่าจริงหรือไม่ที่เราสามารถบอกได้ว่าโปรโตคอลนั้นปลอดภัย UC จากการทำงานในอุดมคติหรือไม่
นอกจากนี้ ในหน้า 76 ของบทช่วยสอนของ Canetti สำหรับเฟรมเวิร์ก UC: https://www.cs.tau.ac.il/~canetti/materials/sp09-sem-lec9.pdfเขาโจมตีโปรโตคอลคอมโพสิตที่ไม่ปลอดภัย คำถามของฉันคือจะแก้ไขโปรโตคอลแบบผสมนี้ให้เป็น UC-secure ได้อย่างไร
ฉันขอถามได้ไหมว่าจริงหรือไม่ที่เราสามารถบอกได้ว่าโปรโตคอลนั้นปลอดภัย UC จากการทำงานในอุดมคติหรือไม่
ฉันคิดว่าคำถามถูกวางในทิศทางที่ผิด หลักการเบื้องหลังความปลอดภัยของ UC คือฟังก์ชันการทำงานในอุดมคติคือ ตามคำนิยาม ฟังก์ชั่นที่ต้องการ ฟังก์ชันการทำงานนั้นไม่ปลอดภัยหรือไม่ปลอดภัย แต่เป็นเพียงแบบจำลองของงานที่ต้องการ
ในทางกลับกัน โปรโตคอลถือว่าปลอดภัย หากคุณสามารถจำลองสิ่งนั้นได้ ของปลอม การเรียกใช้โปรโตคอล (การถอดเสียง) ที่ดูแยกไม่ออกจากการถอดเสียงการรันโปรโตคอลจริง ความยากของโปรแกรมจำลองคือการสร้างข้อความโปรโตคอลที่สอดคล้องกับข้อมูลที่ได้รับจากและกำหนดให้กับการทำงานในอุดมคติ
คำถามของฉันคือจะแก้ไขโปรโตคอลแบบผสมนี้ให้เป็น UC-secure ได้อย่างไร
โดยทั่วไปแล้ว คุณจะต้องระบุว่าข้อมูลใดที่รั่วไหลออกจากโปรโตคอล ซึ่งไม่รั่วไหลจากฟังก์ชันในอุดมคติที่คุณพยายามรับรู้ ขออภัย เราไม่พบคำจำกัดความของฟังก์ชันการแลกเปลี่ยนคีย์ที่โปรโตคอลนี้พยายามเข้าใจในข้อมูลอ้างอิงของคุณ ดังนั้น คุณต้องระบุว่าคุณกำลังพยายามสร้างแบบจำลองด้วยโปรโตคอลใดกันแน่ตั้งแต่แรก
คนส่วนใหญ่ไม่เข้าใจว่าการถามคำถามมากมายจะปลดล็อกการเรียนรู้และปรับปรุงความสัมพันธ์ระหว่างบุคคล ตัวอย่างเช่น ในการศึกษาของ Alison แม้ว่าผู้คนจะจำได้อย่างแม่นยำว่ามีคำถามกี่ข้อที่ถูกถามในการสนทนา แต่พวกเขาไม่เข้าใจความเชื่อมโยงระหว่างคำถามและความชอบ จากการศึกษาทั้ง 4 เรื่องที่ผู้เข้าร่วมมีส่วนร่วมในการสนทนาด้วยตนเองหรืออ่านบันทึกการสนทนาของผู้อื่น ผู้คนมักไม่ตระหนักว่าการถามคำถามจะมีอิทธิพลหรือมีอิทธิพลต่อระดับมิตรภาพระหว่างผู้สนทนา
