ในการพิสูจน์ความปลอดภัยตามเกมสำหรับโปรโตคอลการแลกเปลี่ยนคีย์ มีแบบสอบถามทดสอบ การทดสอบ(ยู) ข้อความค้นหาโดยทั่วไปจะมีให้สำหรับฝ่ายตรงข้ามหากอินสแตนซ์ถูกโจมตีเท่านั้น ยู มีความสด (U หมายถึงผู้เข้าร่วมหรือออราเคิล)
สด: ก่อนที่เซสชันจะหมดอายุ ไม่มีข้อความค้นหา SSReveal(U), SKReveal(U) หรือ Corrupt(U) ที่ฝ่ายตรงข้ามถาม ทั้งคู่ ยู และเซสชันการจับคู่จะไม่ถูกเปิดเผยในเครื่อง เซสชันดังกล่าวเรียกว่าสด
SSเปิดเผย(U): ข้อความค้นหานี้ช่วยให้ฝ่ายตรงข้ามเรียนรู้ข้อมูลสถานะเฉพาะเซสชันที่ U ถือครองอยู่
SKReveal(U): ข้อความค้นหานี้ช่วยให้ฝ่ายตรงข้ามเรียนรู้คีย์เซสชันที่ U ถืออยู่
คอรัปชั่น(U): ข้อความค้นหานี้ช่วยให้ผู้ไม่หวังดีเรียนรู้รหัสส่วนตัวระยะยาวของ U
คำถามของฉันคือ: ถ้า Test(U) สามารถออกให้กับเซสชันใหม่ได้เท่านั้น นั่นหมายความว่า "การแอบอ้างเป็นผู้เข้าร่วมโปรโตคอล (เช่น U) จะไม่เกิดขึ้น" เป็นพื้นฐานของการถามคำถามนี้หรือไม่ หากเป็นเช่นนั้น เราจำเป็นต้องพิสูจน์ความถูกต้องร่วมกันก่อนที่จะถามคำถาม Test(U) หรือไม่
ขอขอบคุณ.
หาก Test(U) สามารถออกให้กับเซสชันใหม่ได้เท่านั้น นั่นหมายความว่า "การเลียนแบบผู้เข้าร่วมโปรโตคอล (เช่น U) จะไม่เกิดขึ้น" เป็นหลักฐานในการถามคำถามนี้หรือไม่
ฉันไม่ค่อยเข้าใจถ้อยคำของคำถามของคุณ แต่ $\mathsf{Test}(U)$ ไม่สมเหตุสมผลถ้า $U$ เป็นผู้ใช้ ในการรักษาความปลอดภัยการแลกเปลี่ยนคีย์ (AKE) ที่รับรองความถูกต้อง คุณเรียก $\mathsf{ทดสอบ}$ ต่อต้านก การประชุม ไม่ใช่ผู้ใช้ เช่น ตัวอย่างเฉพาะของโปรโตคอลการแลกเปลี่ยนคีย์ระหว่างผู้ใช้สองคน ผู้ใช้ที่เกี่ยวข้องกับเซสชันที่กำลังทดสอบไม่สามารถเสียหายได้ เพราะนั่นจะขัดแย้งกับความใหม่ของเซสชัน หากผู้ไม่หวังดีไม่ทราบคีย์ระยะยาว พวกเขาไม่ควรปลอมตัวเป็นผู้ใช้ (หากโครงร่างมีความปลอดภัย)
คนส่วนใหญ่ไม่เข้าใจว่าการถามคำถามมากมายจะปลดล็อกการเรียนรู้และปรับปรุงความสัมพันธ์ระหว่างบุคคล ตัวอย่างเช่น ในการศึกษาของ Alison แม้ว่าผู้คนจะจำได้อย่างแม่นยำว่ามีคำถามกี่ข้อที่ถูกถามในการสนทนา แต่พวกเขาไม่เข้าใจความเชื่อมโยงระหว่างคำถามและความชอบ จากการศึกษาทั้ง 4 เรื่องที่ผู้เข้าร่วมมีส่วนร่วมในการสนทนาด้วยตนเองหรืออ่านบันทึกการสนทนาของผู้อื่น ผู้คนมักไม่ตระหนักว่าการถามคำถามจะมีอิทธิพลหรือมีอิทธิพลต่อระดับมิตรภาพระหว่างผู้สนทนา
